diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-03 14:22:08 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-03 14:22:08 -0700 |
commit | d6596e7449b89f013c5d0edf463bb475e53fd45d (patch) | |
tree | 9855bcff9d4dce2194f57d8e269ff8cb011d13c7 /src/parser/antlr_input.cpp | |
parent | 09f05443d60b0edf61d29acd5ca17d35b932a5cc (diff) | |
parent | af67146760804bd18cb85414c17021131d03dcf1 (diff) |
Merge branch 'master' into fix_warnsfix_warns
Diffstat (limited to 'src/parser/antlr_input.cpp')
-rw-r--r-- | src/parser/antlr_input.cpp | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp index a4bab5a8d..1e5d62ef8 100644 --- a/src/parser/antlr_input.cpp +++ b/src/parser/antlr_input.cpp @@ -254,12 +254,6 @@ AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre input = new Smt1Input(inputStream); break; - case LANG_SMTLIB_V2_0: - case LANG_SMTLIB_V2_5: - case LANG_SMTLIB_V2_6: - input = new Smt2Input(inputStream, lang); - break; - case LANG_SYGUS: input = new SygusInput(inputStream); break; @@ -269,9 +263,17 @@ AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre break; default: - std::stringstream ss; - ss << "internal error: unhandled language " << lang << " in AntlrInput::newInput"; - throw InputStreamException(ss.str()); + if (language::isInputLang_smt2(lang)) + { + input = new Smt2Input(inputStream, lang); + } + else + { + std::stringstream ss; + ss << "internal error: unhandled language " << lang + << " in AntlrInput::newInput"; + throw InputStreamException(ss.str()); + } } return input; |