projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1cbf657) | patch
parser: add some acces function and recover the original nextToken from antlr3
authorFrançois Bobot <francois@bobot.eu>
Fri, 22 Jun 2012 15:11:21 +0000 (15:11 +0000)
committerFrançois Bobot <francois@bobot.eu>
Fri, 22 Jun 2012 15:11:21 +0000 (15:11 +0000)
commiteda7d4df5481030d4e9cb6ef4a33d52afc8f7e0a
tree20d6a6335c5fd43fdf2a76dd7550d0519992d5e0tree
parent1cbf657d955776860580b662aefd53705b603680commit | diff
parser: add some acces function and recover the original nextToken from antlr3
in order to be able to use the stack of streams.
src/parser/antlr_input.cpp diff | blob | history
src/parser/antlr_input.h diff | blob | history
src/parser/antlr_input_imports.cpp diff | blob | history
src/parser/input.h diff | blob | history