diff options
Diffstat (limited to 'src/parser/antlr_line_buffered_input.cpp')
-rw-r--r-- | src/parser/antlr_line_buffered_input.cpp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/parser/antlr_line_buffered_input.cpp b/src/parser/antlr_line_buffered_input.cpp index 37c38e83b..66ebff7b3 100644 --- a/src/parser/antlr_line_buffered_input.cpp +++ b/src/parser/antlr_line_buffered_input.cpp @@ -38,7 +38,7 @@ #include "base/check.h" #include "base/output.h" -namespace CVC4 { +namespace CVC5 { namespace parser { static pANTLR3_INPUT_STREAM antlr3CreateLineBufferedStream( @@ -218,8 +218,8 @@ setupInputStream(pANTLR3_INPUT_STREAM input) static ANTLR3_UCHAR bufferedInputLA(pANTLR3_INT_STREAM is, ANTLR3_INT32 la) { pANTLR3_INPUT_STREAM input = ((pANTLR3_INPUT_STREAM)(is->super)); - CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input = - (CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input; + CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input = + (CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input; uint8_t* result = line_buffered_input->line_buffer->getPtrWithOffset( input->line, input->charPositionInLine, la - 1); return (result != NULL) ? *result : ANTLR3_CHARSTREAM_EOF; @@ -255,8 +255,8 @@ static void bufferedInputRewind(pANTLR3_INT_STREAM is, ANTLR3_MARKER mark) { static void bufferedInputConsume(pANTLR3_INT_STREAM is) { pANTLR3_INPUT_STREAM input = ((pANTLR3_INPUT_STREAM)(is->super)); - CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input = - (CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input; + CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input = + (CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input; uint8_t* current = line_buffered_input->line_buffer->getPtr( input->line, input->charPositionInLine); @@ -285,7 +285,7 @@ static void bufferedInputSeek(pANTLR3_INT_STREAM is, ANTLR3_MARKER seekPoint) { pANTLR3_INPUT_STREAM input = ((pANTLR3_INPUT_STREAM)(is->super)); // Check that we are not seeking backwards. - Assert(!((CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input) + Assert(!((CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input) ->line_buffer->isPtrBefore( (uint8_t*)seekPoint, input->line, input->charPositionInLine)); @@ -411,5 +411,5 @@ static pANTLR3_INPUT_STREAM antlr3CreateLineBufferedStream( return input; } -}/* CVC4::parser namespace */ -}/* CVC4 namespace */ +} // namespace parser +} // namespace CVC5 |