diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-22 22:50:44 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-22 22:50:44 +0000 |
commit | dfa8ba577b55318919caae4cd3d03c26eee39944 (patch) | |
tree | 89beafa1e4cb2be12a86dd3994c9926e6955f3ab /src/parser/parser_builder.h | |
parent | 3870dd8a11c1153e2db24ffe1b384b84129c2df4 (diff) |
Saving state between lines in interactive mode (Fixes: #223)
Diffstat (limited to 'src/parser/parser_builder.h')
-rw-r--r-- | src/parser/parser_builder.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h index 4e8c06f78..44cb8285e 100644 --- a/src/parser/parser_builder.h +++ b/src/parser/parser_builder.h @@ -80,6 +80,9 @@ class CVC4_PUBLIC ParserBuilder { /** The expression manager */ ExprManager& d_exprManager; + /** Parser to derive the initial state from. */ + const Parser* d_parserToUseForState; + /** Should semantic checks be enabled during parsing? */ bool d_checksEnabled; @@ -128,6 +131,11 @@ public: /** Derive settings from the given options. */ ParserBuilder& withOptions(const Options& options); + /** Copy the state (e.g., variable and type declaration) from + * an existing parser. If <code>parser</code> is <code>NULL</code>, + * the default initial state will be used. */ + ParserBuilder& withStateFrom(const Parser* parser); + /** Should the parser use strict mode? (Default: no) */ ParserBuilder& withStrictMode(bool flag = true); |