diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-15 13:04:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-15 20:04:55 +0000 |
commit | 77bca094a140b35341257f125a55212ff0108250 (patch) | |
tree | 1d3369b9be5fc4c3e8cb279ae5ea662e59cbcb3e /src/parser/antlr_input_imports.cpp | |
parent | 63647b1d79df6f287ea6599958b16fce44b8271d (diff) |
Rename occurrences of CVC4 to CVC5. (#6351)
This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.
Diffstat (limited to 'src/parser/antlr_input_imports.cpp')
-rw-r--r-- | src/parser/antlr_input_imports.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/parser/antlr_input_imports.cpp b/src/parser/antlr_input_imports.cpp index 738f4c6e2..c04349491 100644 --- a/src/parser/antlr_input_imports.cpp +++ b/src/parser/antlr_input_imports.cpp @@ -18,7 +18,7 @@ /* * The functions in this file are based on implementations in libantlr3c, - * with only minor CVC4-specific changes. + * with only minor cvc5-specific changes. */ // [The "BSD licence"] @@ -79,7 +79,7 @@ namespace parser { /// /// If you override, make sure to update errorCount if you care about that. /// -/* *** CVC4 NOTE *** +/* *** cvc5 NOTE *** * This function is has been modified in not-completely-trivial ways from its * libantlr3c implementation to support more informative error messages and to * invoke the error reporting mechanism of the Input class instead of the @@ -90,7 +90,7 @@ void AntlrInput::reportError(pANTLR3_BASE_RECOGNIZER recognizer) { pANTLR3_UINT8 * tokenNames = recognizer->state->tokenNames; stringstream ss; - // Dig the CVC4 objects out of the ANTLR3 mess + // Dig the cvc5 objects out of the ANTLR3 mess pANTLR3_PARSER antlr3Parser = (pANTLR3_PARSER)(recognizer->super); Assert(antlr3Parser != NULL); Parser *parser = (Parser*)(antlr3Parser->super); @@ -285,7 +285,7 @@ void AntlrInput::reportError(pANTLR3_BASE_RECOGNIZER recognizer) { /// /// \see nextToken /// -/* *** CVC4 NOTE *** +/* *** cvc5 NOTE *** * This is copied, largely unmodified, from antlr3lexer.c * */ @@ -346,7 +346,7 @@ AntlrInput::nextTokenStr (pANTLR3_TOKEN_SOURCE toksource) // Recognition exception, report it and try to recover. // lexer->rec->state->failed = ANTLR3_TRUE; - // *** CVC4 EDIT: Just call the AntlrInput error routine + // *** cvc5 EDIT: Just call the AntlrInput error routine lexerError(lexer->rec); lexer->recover(lexer); } @@ -356,7 +356,7 @@ AntlrInput::nextTokenStr (pANTLR3_TOKEN_SOURCE toksource) { // Emit the real token, which adds it in to the token stream basically // - // *** CVC4 Edit: call emit on the lexer object + // *** cvc5 Edit: call emit on the lexer object lexer->emit(lexer); } else if (lexer->rec->state->token == &(toksource->skipToken)) @@ -375,7 +375,7 @@ AntlrInput::nextTokenStr (pANTLR3_TOKEN_SOURCE toksource) } } -/* *** CVC4 NOTE *** +/* *** cvc5 NOTE *** * This is copied, totaly unmodified, from antlr3lexer.c * in order to use nextTokenStr previously defined. * |