Saving state between lines in interactive mode (Fixes: #223)

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);