diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-08 20:39:12 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-08 20:39:12 +0000 |
commit | 0e1168af7a33263c73e1c51055c8980153d8d3b7 (patch) | |
tree | 6b4fd96c3a3f4680e77c7fde2b20c5c1abfd896d /src/parser/parser.cpp | |
parent | a85aa996535fb86009c1869f0daa1c27c980a566 (diff) |
check in automake/libtool/autoconf-generated files; add better file not found handling
Diffstat (limited to 'src/parser/parser.cpp')
-rw-r--r-- | src/parser/parser.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 4c7e28dc0..298669b80 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -81,6 +81,9 @@ SmtParser::SmtParser(ExprManager* em, istream& input) : SmtParser::SmtParser(ExprManager*em, const char* file_name) : Parser(em), d_input(file_name) { + if(!d_input) { + throw ParserException(string("File not found or inaccessible: ") + file_name); + } d_antlr_lexer = new AntlrSmtLexer(d_input); d_antlr_lexer->setFilename(file_name); d_antlr_parser = new AntlrSmtParser(*d_antlr_lexer); @@ -132,6 +135,9 @@ CvcParser::CvcParser(ExprManager* em, istream& input) : CvcParser::CvcParser(ExprManager*em, const char* file_name) : Parser(em), d_input(file_name) { + if(!d_input) { + throw ParserException(string("File not found or inaccessible: ") + file_name); + } d_antlr_lexer = new AntlrCvcLexer(d_input); d_antlr_lexer->setFilename(file_name); d_antlr_parser = new AntlrCvcParser(*d_antlr_lexer); |