diff options
Diffstat (limited to 'src/parser/input.h')
| -rw-r--r-- | src/parser/input.h | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/parser/input.h b/src/parser/input.h index 0e924364d..f109036ed 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -95,16 +95,19 @@ public: static Input* newStringInput(ExprManager* exprManager, InputLanguage lang, const std::string& input, const std::string& name); /** - * Check if we are done -- either the end of input has been reached, or some - * error has been encountered. - * @return true if parser is done - */ + * Check if we are done -- either the end of input has been reached, or some + * error has been encountered. + * @return true if parser is done + */ bool done() const; /** Enable semantic checks during parsing. */ void enableChecks(); - /** Disable semantic checks during parsing. Disabling checks may lead to crashes on bad inputs. */ + /** + * Disable semantic checks during parsing. Disabling checks may lead + * to crashes on bad inputs. + */ void disableChecks(); /** |