diff options
Diffstat (limited to 'src/parser/input.h')
| -rw-r--r-- | src/parser/input.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/parser/input.h b/src/parser/input.h index 8fa51a095..92b039eda 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -167,6 +167,11 @@ protected: throw (ParserException, TypeCheckingException, AssertionException) = 0; /** + * Issue a warning to the user, with source file, line, and column info. + */ + virtual void warning(const std::string& msg) = 0; + + /** * Throws a <code>ParserException</code> with the given message. */ virtual void parseError(const std::string& msg) |