← Back to branch summary

~tapaal-developers/tapaal/trunk

~tapaal-developers/tapaal/trunk

Viewing all changes in revision 1153.

Committer: srba.jiri at gmail
Date: 2021-10-17 20:04:39 UTC
mfrom: (1120.2.78 LTL-dialog)
Revision ID: srba.jiri@gmail.com-20211017200439-6hovmzah0cv2g2s5

merging in lp:~tapaal-contributor/tapaal/LTL-dialog adding LTL query editing to GUI

files added:
src/dk/aau/cs/TCTL/LTLANode.java

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

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

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

src/dk/aau/cs/TCTL/LTLParsing

src/dk/aau/cs/TCTL/LTLParsing/TAPAALLTLQueryParser.jj

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

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

src/dk/aau/cs/TCTL/XMLParsing/XMLLTLQueryParser.java

src/dk/aau/cs/TCTL/visitors/LTLQueryVisitor.java

src/dk/aau/cs/gui/components/TransitionFiringComponent.java

files removed:
src/dk/aau/cs/TCTL/CTLParsing/ParseException.java

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

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

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

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

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

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

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

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

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

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

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

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

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

src/dk/aau/cs/TCTL/SUMOParsing/ParseException.java

src/dk/aau/cs/TCTL/SUMOParsing/SUMOQueryParser.java

src/dk/aau/cs/TCTL/SUMOParsing/SUMOQueryParserConstants.java

src/dk/aau/cs/TCTL/SUMOParsing/SUMOQueryParserTokenManager.java

src/dk/aau/cs/TCTL/SUMOParsing/SimpleCharStream.java

src/dk/aau/cs/TCTL/SUMOParsing/Token.java

src/dk/aau/cs/TCTL/SUMOParsing/TokenMgrError.java

src/dk/aau/cs/gui/components/TransitionFireingComponent.java

src/resources/SUMOParser

src/resources/TCTLParser

files renamed:
src/resources/TCTLParser/TAPAALCTLQueryParser.jj => src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParser.jj

src/resources/TCTLParser/TAPAALQueryParser.jj => src/dk/aau/cs/TCTL/Parsing/TAPAALQueryParser.jj

src/resources/SUMOParser/SUMOParser.jj => src/dk/aau/cs/TCTL/SUMOParsing/SUMOParser.jj

files modified:
build.gradle

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

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

src/dk/aau/cs/TCTL/visitors/CTLQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/ITCTLVisitor.java

src/dk/aau/cs/TCTL/visitors/VisitorBase.java

src/dk/aau/cs/gui/BatchProcessingDialog.java

src/dk/aau/cs/gui/TabContent.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/io/queries/QueryLoader.java

src/dk/aau/cs/io/queries/TAPNQueryLoader.java

src/dk/aau/cs/io/queries/XMLQueryLoader.java

src/dk/aau/cs/verification/ReductionStats.java

src/dk/aau/cs/verification/VerificationResult.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java

src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/AnimationSettingsDialog.java

src/pipe/gui/Animator.java

src/pipe/gui/Export.java

src/pipe/gui/KBoundAnalyzer.java

src/pipe/gui/RunVerification.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/SimulationControl.java

src/pipe/gui/Verifier.java

src/pipe/gui/graphicElements/Transition.java

src/pipe/gui/widgets/QueryDialog.java

Show diffs side-by-side

added added

removed removed

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

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

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

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

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

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

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

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

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

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

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

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

src/dk/aau/cs/TCTL/LTLParsing/

src/dk/aau/cs/TCTL/LTLParsing/TAPAALLTLQueryParser.jj

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

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

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

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

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

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

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

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

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

src/dk/aau/cs/TCTL/SUMOParsing/ParseException.java

src/dk/aau/cs/TCTL/SUMOParsing/SUMOQueryParser.java

src/dk/aau/cs/TCTL/SUMOParsing/SUMOQueryParserConstants.java

src/dk/aau/cs/TCTL/SUMOParsing/SUMOQueryParserTokenManager.java

src/dk/aau/cs/TCTL/SUMOParsing/SimpleCharStream.java

src/dk/aau/cs/TCTL/SUMOParsing/Token.java

src/dk/aau/cs/TCTL/SUMOParsing/TokenMgrError.java

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

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

src/dk/aau/cs/TCTL/XMLParsing/XMLLTLQueryParser.java

src/dk/aau/cs/TCTL/visitors/CTLQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/ITCTLVisitor.java

src/dk/aau/cs/TCTL/visitors/LTLQueryVisitor.java

src/dk/aau/cs/TCTL/visitors/VisitorBase.java

src/dk/aau/cs/gui/BatchProcessingDialog.java

src/dk/aau/cs/gui/TabContent.java

src/dk/aau/cs/gui/components/TransitionFireingComponent.java

src/dk/aau/cs/gui/components/TransitionFiringComponent.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/io/queries/QueryLoader.java

src/dk/aau/cs/io/queries/TAPNQueryLoader.java

src/dk/aau/cs/io/queries/XMLQueryLoader.java

src/dk/aau/cs/verification/ReductionStats.java

src/dk/aau/cs/verification/VerificationResult.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java

src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/AnimationSettingsDialog.java

src/pipe/gui/Animator.java

src/pipe/gui/Export.java

src/pipe/gui/KBoundAnalyzer.java

src/pipe/gui/RunVerification.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/SimulationControl.java

src/pipe/gui/Verifier.java

src/pipe/gui/graphicElements/Transition.java

src/pipe/gui/widgets/QueryDialog.java

src/resources/SUMOParser/

src/resources/TCTLParser/

Older »