projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
93a1625
)
exception fix
author
Morgan Deters
<mdeters@gmail.com>
Thu, 8 Nov 2012 21:08:58 +0000
(21:08 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Thu, 8 Nov 2012 21:08:58 +0000
(21:08 +0000)
src/parser/antlr_input.cpp
patch
|
blob
|
history
diff --git
a/src/parser/antlr_input.cpp
b/src/parser/antlr_input.cpp
index db7964b3732f14b27d4703e6ab140312ccf9c873..8987a75722fcf6d7e533d3e002aab75cfef61382 100644
(file)
--- a/
src/parser/antlr_input.cpp
+++ b/
src/parser/antlr_input.cpp
@@
-206,7
+206,7
@@
AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre
default:
std::stringstream ss;
ss << "internal error: unhandled language " << lang << " in AntlrInput::newInput";
default:
std::stringstream ss;
ss << "internal error: unhandled language " << lang << " in AntlrInput::newInput";
- throw
Parser
Exception(ss.str());
+ throw
InputStream
Exception(ss.str());
}
return input;
}
return input;
@@
-302,13
+302,13
@@
void AntlrInput::setAntlr3Lexer(pANTLR3_LEXER pLexer) {
/* 2*lookahead should be sufficient, but we give ourselves some breathing room. */
pTokenFactory = BoundedTokenFactoryNew(d_antlr3InputStream, 2*d_lookahead);
if( pTokenFactory == NULL ) {
/* 2*lookahead should be sufficient, but we give ourselves some breathing room. */
pTokenFactory = BoundedTokenFactoryNew(d_antlr3InputStream, 2*d_lookahead);
if( pTokenFactory == NULL ) {
- throw
Parser
Exception("Couldn't create token factory.");
+ throw
InputStream
Exception("Couldn't create token factory.");
}
d_lexer->rec->state->tokFactory = pTokenFactory;
pBOUNDED_TOKEN_BUFFER buffer = BoundedTokenBufferSourceNew(d_lookahead, d_lexer->rec->state->tokSource);
if( buffer == NULL ) {
}
d_lexer->rec->state->tokFactory = pTokenFactory;
pBOUNDED_TOKEN_BUFFER buffer = BoundedTokenBufferSourceNew(d_lookahead, d_lexer->rec->state->tokSource);
if( buffer == NULL ) {
- throw
Parser
Exception("Couldn't create token buffer.");
+ throw
InputStream
Exception("Couldn't create token buffer.");
}
d_tokenBuffer = buffer;
}
d_tokenBuffer = buffer;