diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-07-06 15:52:10 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-07-06 15:52:10 +0000 |
commit | d6b40829e8d92a7a298d0c0023d944131a8285cf (patch) | |
tree | 64fb36a7623cb2416d7129a3249d5875ce4f68ec /src/parser/parser_options.h | |
parent | b9f36ae0027e52da925416630ccad5d4b84779e9 (diff) |
merge from CC work: pieces of the parser need to be declared to throw AssertionException, and language enum should have stream insertion op
Diffstat (limited to 'src/parser/parser_options.h')
-rw-r--r-- | src/parser/parser_options.h | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/parser/parser_options.h b/src/parser/parser_options.h index 85994c52c..b3fd203e2 100644 --- a/src/parser/parser_options.h +++ b/src/parser/parser_options.h @@ -21,6 +21,8 @@ #ifndef __CVC4__PARSER__PARSER_OPTIONS_H #define __CVC4__PARSER__PARSER_OPTIONS_H +#include <iostream> + namespace CVC4 { namespace parser { @@ -36,6 +38,27 @@ enum InputLanguage { LANG_AUTO };/* enum InputLanguage */ +inline std::ostream& operator<<(std::ostream& out, InputLanguage lang) { + switch(lang) { + case LANG_SMTLIB: + out << "LANG_SMTLIB"; + break; + case LANG_SMTLIB_V2: + out << "LANG_SMTLIB_V2"; + break; + case LANG_CVC4: + out << "LANG_CVC4"; + break; + case LANG_AUTO: + out << "LANG_AUTO"; + break; + default: + out << "undefined_language"; + } + + return out; +} + }/* CVC4::parser namespace */ }/* CVC4 namespace */ |