diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-08-27 11:23:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-27 18:23:15 +0000 |
| commit | 3183ca6685f6b0dcca538efb72e6840a56479b60 (patch) | |
| tree | e6c51d6175d4a56c7849aa4f965ed49b743f0607 /src/parser/input.cpp | |
| parent | a698b522d619c800a3401c7294cf1c6c663d7acc (diff) | |
Handle languages as strings in driver (#7074)
This PR moves the first chunk of code in the driver to use the proper options API for the language options. It is now handled as a string.
Diffstat (limited to 'src/parser/input.cpp')
| -rw-r--r-- | src/parser/input.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/input.cpp b/src/parser/input.cpp index 9d4c65eae..c8c005b36 100644 --- a/src/parser/input.cpp +++ b/src/parser/input.cpp @@ -51,7 +51,7 @@ InputStream *Input::getInputStream() { return d_inputStream; } -Input* Input::newFileInput(Language lang, +Input* Input::newFileInput(const std::string& lang, const std::string& filename, bool useMmap) { @@ -60,7 +60,7 @@ Input* Input::newFileInput(Language lang, return AntlrInput::newInput(lang, *inputStream); } -Input* Input::newStreamInput(Language lang, +Input* Input::newStreamInput(const std::string& lang, std::istream& input, const std::string& name) { @@ -69,7 +69,7 @@ Input* Input::newStreamInput(Language lang, return AntlrInput::newInput(lang, *inputStream); } -Input* Input::newStringInput(Language lang, +Input* Input::newStringInput(const std::string& lang, const std::string& str, const std::string& name) { |