diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-05-14 16:17:54 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-14 23:17:54 +0000 |
commit | f1a65bef2675495f09603901a7166f20221b0449 (patch) | |
tree | a1ee3c1dda6638beddf7e3509a052aa06398793c /src/parser/tptp | |
parent | 2769173850f78749a870ed051a894317141594fc (diff) |
Decouple parser creation from input selection (#6533)
This commit decouples the creation of a `Parser` instance from creating
an `Input` and setting the `Input` on the parser. This is a first step
in refactoring the parser infrastructure. A future PR will split the
parser class into three classes: `Parser`, `ParserState`, and
`InputParser`. The `Parser` and `InputParser` classes will be the
public-facing classes. The new `Parser` class will have methods to
create `InputParser`s from files, streams, and strings. `InputParser`s
will have methods to get commands/exprs from a given input. The
`ParserState` class will keep track of the state of the parser and will
be the internal interface for the parsers. The current `Parser` class is
used both publicly and internally, which is messy.
Diffstat (limited to 'src/parser/tptp')
-rw-r--r-- | src/parser/tptp/tptp.cpp | 5 | ||||
-rw-r--r-- | src/parser/tptp/tptp.h | 1 |
2 files changed, 1 insertions, 5 deletions
diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp index 01b4c1165..156f2e1e6 100644 --- a/src/parser/tptp/tptp.cpp +++ b/src/parser/tptp/tptp.cpp @@ -34,12 +34,9 @@ namespace parser { Tptp::Tptp(api::Solver* solver, SymbolManager* sm, - Input* input, bool strictMode, bool parseOnly) - : Parser(solver, sm, input, strictMode, parseOnly), - d_cnf(false), - d_fof(false) + : Parser(solver, sm, strictMode, parseOnly), d_cnf(false), d_fof(false) { addTheory(Tptp::THEORY_CORE); diff --git a/src/parser/tptp/tptp.h b/src/parser/tptp/tptp.h index 0be74c79d..964c0bdfb 100644 --- a/src/parser/tptp/tptp.h +++ b/src/parser/tptp/tptp.h @@ -90,7 +90,6 @@ class Tptp : public Parser { protected: Tptp(api::Solver* solver, SymbolManager* sm, - Input* input, bool strictMode = false, bool parseOnly = false); |