← Back to branch summary

~tapaal-contributor/tapaal/manual-edit-parsing

~tapaal-contributor/tapaal/manual-edit-parsing

Viewing all changes in revision 1139.

Committer: lsaid
Date: 2021-09-14 20:13:01 UTC
Revision ID: lena.said@hotmail.com-20210914201301-fi4q1cre32s2gzwv

Added EOF check to the parsers

files modified:
src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParser.java

src/dk/aau/cs/TCTL/Parsing/TAPAALQueryParser.java

src/dk/aau/cs/TCTL/TCTLEFNode.java

src/pipe/gui/widgets/QueryDialog.java

src/resources/TCTLParser/TAPAALCTLQueryParser.jj

src/resources/TCTLParser/TAPAALQueryParser.jj

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParser.java

src/dk/aau/cs/TCTL/Parsing/TAPAALQueryParser.java

src/dk/aau/cs/TCTL/TCTLEFNode.java

src/pipe/gui/widgets/QueryDialog.java

src/resources/TCTLParser/TAPAALCTLQueryParser.jj

src/resources/TCTLParser/TAPAALQueryParser.jj

Older »