diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-01 12:08:02 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-01 12:08:02 -0700 |
commit | 149134dfdb5a435ae4d1bea1a93ae3bde28fd646 (patch) | |
tree | 691f3ef98a01160363069badd046577289046228 /src/main/interactive_shell.h | |
parent | c85d906d4fc8da9e31d96804ccbf6d52ec22cdd5 (diff) |
InteractiveShell: Remove redundant options argument. (#2244)
Diffstat (limited to 'src/main/interactive_shell.h')
-rw-r--r-- | src/main/interactive_shell.h | 43 |
1 files changed, 21 insertions, 22 deletions
diff --git a/src/main/interactive_shell.h b/src/main/interactive_shell.h index b512fe5f0..203dfb766 100644 --- a/src/main/interactive_shell.h +++ b/src/main/interactive_shell.h @@ -2,7 +2,7 @@ /*! \file interactive_shell.h ** \verbatim ** Top contributors (to current version): - ** Morgan Deters, Christopher L. Conway, Tim King + ** Morgan Deters, Christopher L. Conway, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. @@ -32,11 +32,12 @@ namespace parser { class Parser; }/* CVC4::parser namespace */ -class CVC4_PUBLIC InteractiveShell { +class CVC4_PUBLIC InteractiveShell +{ + const Options& d_options; std::istream& d_in; std::ostream& d_out; parser::Parser* d_parser; - const Options& d_options; bool d_quit; bool d_usingReadline; @@ -46,25 +47,23 @@ class CVC4_PUBLIC InteractiveShell { static const unsigned s_historyLimit = 500; public: - InteractiveShell(ExprManager& exprManager, const Options& options); - - /** - * Close out the interactive session. - */ - ~InteractiveShell(); - - /** - * Read a command from the interactive shell. This will read as - * many lines as necessary to parse a well-formed command. - */ - Command* readCommand(); - - /** - * Return the internal parser being used. - */ - parser::Parser* getParser() { - return d_parser; - } + InteractiveShell(ExprManager& exprManager); + + /** + * Close out the interactive session. + */ + ~InteractiveShell(); + + /** + * Read a command from the interactive shell. This will read as + * many lines as necessary to parse a well-formed command. + */ + Command* readCommand(); + + /** + * Return the internal parser being used. + */ + parser::Parser* getParser() { return d_parser; } };/* class InteractiveShell */ |