diff options
Diffstat (limited to 'src/util/language.h')
-rw-r--r-- | src/util/language.h | 41 |
1 files changed, 6 insertions, 35 deletions
diff --git a/src/util/language.h b/src/util/language.h index 814f8dcd1..dbda6a315 100644 --- a/src/util/language.h +++ b/src/util/language.h @@ -31,7 +31,7 @@ namespace language { namespace input { -enum Language { +enum CVC4_PUBLIC Language { // SPECIAL "NON-LANGUAGE" LANGUAGES HAVE ENUM VALUE < 0 /** Auto-detect the language */ @@ -58,6 +58,7 @@ enum Language { LANG_MAX };/* enum Language */ +inline std::ostream& operator<<(std::ostream& out, Language lang) CVC4_PUBLIC; inline std::ostream& operator<<(std::ostream& out, Language lang) { switch(lang) { case LANG_AUTO: @@ -82,7 +83,7 @@ inline std::ostream& operator<<(std::ostream& out, Language lang) { namespace output { -enum Language { +enum CVC4_PUBLIC Language { // SPECIAL "NON-LANGUAGE" LANGUAGES HAVE ENUM VALUE < 0 // COMMON INPUT AND OUTPUT LANGUAGES HAVE ENUM VALUES IN [0,9] @@ -109,6 +110,7 @@ enum Language { LANG_MAX };/* enum Language */ +inline std::ostream& operator<<(std::ostream& out, Language lang) CVC4_PUBLIC; inline std::ostream& operator<<(std::ostream& out, Language lang) { switch(lang) { case LANG_SMTLIB: @@ -138,39 +140,8 @@ typedef language::output::Language OutputLanguage; namespace language { -inline InputLanguage toInputLanguage(OutputLanguage language) { - switch(language) { - case output::LANG_SMTLIB: - case output::LANG_SMTLIB_V2: - case output::LANG_CVC4: - // these entries directly correspond (by design) - return InputLanguage(int(language)); - - default: { - std::stringstream ss; - ss << "Cannot map output language `" << language - << "' to an input language."; - throw CVC4::Exception(ss.str()); - } - }/* switch(language) */ -}/* toInputLanguage() */ - -inline OutputLanguage toOutputLanguage(InputLanguage language) { - switch(language) { - case input::LANG_SMTLIB: - case input::LANG_SMTLIB_V2: - case input::LANG_CVC4: - // these entries directly correspond (by design) - return OutputLanguage(int(language)); - - default: { - std::stringstream ss; - ss << "Cannot map input language `" << language - << "' to an output language."; - throw CVC4::Exception(ss.str()); - } - }/* switch(language) */ -}/* toOutputLanguage() */ +InputLanguage toInputLanguage(OutputLanguage language) CVC4_PUBLIC; +OutputLanguage toOutputLanguage(InputLanguage language) CVC4_PUBLIC; }/* CVC4::language namespace */ }/* CVC4 namespace */ |