Adding Parser::setInput and using it in InteractiveShell (Fixes: #225)

Removing ParserBuilder::withStateFrom

1 files changed, 0 insertions, 22 deletions

diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h
index 44cb8285e..f1fd26ec1 100644
--- a/src/parser/parser_builder.h
+++ b/src/parser/parser_builder.h
@@ -34,20 +34,6 @@ class ExprManager;
 
 namespace parser {
 
-/*
-class InputBuilder {
-protected:
-  InputLanguage d_lang;
-  std::string d_name;
-public:
-  InputBuilder(InputLanguage lang, const std::string& name) :
-    d_lang(lang),
-    d_name(name) {
-  }
-  virtual Input& build() = 0;
-};
-*/
-
 class Parser;
 
 /**
@@ -80,9 +66,6 @@ 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;
 
@@ -131,11 +114,6 @@ 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);