CTL query creation in GUI
Bug #1540367 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
High
|
Mads Johannsen |
Bug Description
Add a new CTL query creation dialog (preserve the current one for reachability), save the query in XML format
and allow to pass it to the untimed verification engine.
Related branches
lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367
- Jiri Srba: Approve
- Mads Johannsen (community): Needs Resubmitting
-
Diff: 11293 lines (+8809/-386)95 files modified.bzrignore (+0/-11)
src/dk/aau/cs/TCTL/AritmeticOperator.java (+6/-5)
src/dk/aau/cs/TCTL/CTLParsing/ParseException.java (+193/-0)
src/dk/aau/cs/TCTL/CTLParsing/SimpleCharStream.java (+474/-0)
src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParser.java (+807/-0)
src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParserConstants.java (+92/-0)
src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParserTokenManager.java (+818/-0)
src/dk/aau/cs/TCTL/CTLParsing/Token.java (+131/-0)
src/dk/aau/cs/TCTL/CTLParsing/TokenMgrError.java (+146/-0)
src/dk/aau/cs/TCTL/TCTLAFNode.java (+4/-5)
src/dk/aau/cs/TCTL/TCTLAGNode.java (+4/-5)
src/dk/aau/cs/TCTL/TCTLAUNode.java (+128/-0)
src/dk/aau/cs/TCTL/TCTLAXNode.java (+99/-0)
src/dk/aau/cs/TCTL/TCTLAbstractPathProperty.java (+6/-0)
src/dk/aau/cs/TCTL/TCTLAbstractProperty.java (+1/-2)
src/dk/aau/cs/TCTL/TCTLAndListNode.java (+10/-11)
src/dk/aau/cs/TCTL/TCTLAtomicPropositionNode.java (+6/-7)
src/dk/aau/cs/TCTL/TCTLConstNode.java (+6/-5)
src/dk/aau/cs/TCTL/TCTLDeadlockNode.java (+4/-5)
src/dk/aau/cs/TCTL/TCTLEFNode.java (+3/-5)
src/dk/aau/cs/TCTL/TCTLEGNode.java (+4/-5)
src/dk/aau/cs/TCTL/TCTLEUNode.java (+128/-0)
src/dk/aau/cs/TCTL/TCTLEXNode.java (+99/-0)
src/dk/aau/cs/TCTL/TCTLFalseNode.java (+4/-5)
src/dk/aau/cs/TCTL/TCTLNotNode.java (+4/-5)
src/dk/aau/cs/TCTL/TCTLOrListNode.java (+10/-12)
src/dk/aau/cs/TCTL/TCTLPathPlaceHolder.java (+2/-3)
src/dk/aau/cs/TCTL/TCTLPathToStateConverter.java (+94/-0)
src/dk/aau/cs/TCTL/TCTLPlaceNode.java (+7/-6)
src/dk/aau/cs/TCTL/TCTLPlusListNode.java (+11/-15)
src/dk/aau/cs/TCTL/TCTLStatePlaceHolder.java (+4/-5)
src/dk/aau/cs/TCTL/TCTLStateToPathConverter.java (+116/-0)
src/dk/aau/cs/TCTL/TCTLTermListNode.java (+19/-10)
src/dk/aau/cs/TCTL/TCTLTransitionNode.java (+85/-0)
src/dk/aau/cs/TCTL/TCTLTrueNode.java (+4/-5)
src/dk/aau/cs/TCTL/XMLParsing/XMLCTLQueryParser.java (+590/-0)
src/dk/aau/cs/TCTL/XMLParsing/XMLQueryParser.java (+12/-0)
src/dk/aau/cs/TCTL/visitors/CTLQueryVisitor.java (+242/-0)
src/dk/aau/cs/TCTL/visitors/ContainsSharedTransitionVisitor.java (+17/-0)
src/dk/aau/cs/TCTL/visitors/FixAbbrivTransitionNames.java (+39/-0)
src/dk/aau/cs/TCTL/visitors/ITCTLVisitor.java (+21/-0)
src/dk/aau/cs/TCTL/visitors/IsReachabilityVisitor.java (+72/-0)
src/dk/aau/cs/TCTL/visitors/MakeTransitionSharedVisitor.java (+34/-0)
src/dk/aau/cs/TCTL/visitors/RenameAllTransitionsVisitor.java (+23/-0)
src/dk/aau/cs/TCTL/visitors/RenameSharedTransitionVisitor.java (+22/-0)
src/dk/aau/cs/TCTL/visitors/RenameTemplateVisitor.java (+7/-0)
src/dk/aau/cs/TCTL/visitors/RenameTransitionTCTLVisitor.java (+21/-0)
src/dk/aau/cs/TCTL/visitors/VerifyPlaceNamesVisitor.java (+2/-1)
src/dk/aau/cs/TCTL/visitors/VerifyTransitionNamesVisitor.java (+60/-0)
src/dk/aau/cs/TCTL/visitors/VisitorBase.java (+16/-0)
src/dk/aau/cs/gui/BatchProcessingDialog.java (+51/-42)
src/dk/aau/cs/gui/DeleteSharedPlaceOrTransition.java (+37/-3)
src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+1/-1)
src/dk/aau/cs/gui/SharedTransitionNamePanel.java (+12/-4)
src/dk/aau/cs/gui/TabContent.java (+2/-0)
src/dk/aau/cs/gui/TemplateExplorer.java (+9/-0)
src/dk/aau/cs/gui/undo/MakeTransitionSharedCommand.java (+42/-1)
src/dk/aau/cs/gui/undo/RenameSharedTransitionCommand.java (+14/-1)
src/dk/aau/cs/gui/undo/RenameTimedTransitionCommand.java (+14/-1)
src/dk/aau/cs/io/TapnXmlLoader.java (+0/-12)
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+76/-2)
src/dk/aau/cs/io/XMLFormatter.java (+58/-0)
src/dk/aau/cs/io/batchProcessing/BatchProcessingLoader.java (+58/-8)
src/dk/aau/cs/io/queries/QueryLoader.java (+36/-2)
src/dk/aau/cs/io/queries/TAPNQueryLoader.java (+105/-1)
src/dk/aau/cs/io/queries/XMLQueryLoader.java (+12/-3)
src/dk/aau/cs/model/tapn/TAPNQuery.java (+10/-0)
src/dk/aau/cs/translations/ReductionOption.java (+2/-1)
src/dk/aau/cs/verification/QueryResult.java (+1/-0)
src/dk/aau/cs/verification/Stats.java (+41/-1)
src/dk/aau/cs/verification/VerificationOptions.java (+1/-0)
src/dk/aau/cs/verification/VerificationResult.java (+15/-0)
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOutputParser.java (+8/-8)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java (+37/-29)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPNCTLOutputParser.java (+99/-0)
src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java (+45/-12)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java (+16/-12)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java (+19/-21)
src/pipe/dataLayer/TAPNQuery.java (+71/-13)
src/pipe/gui/DrawingSurfaceImpl.java (+2/-2)
src/pipe/gui/Export.java (+48/-1)
src/pipe/gui/GuiFrame.java (+55/-10)
src/pipe/gui/KBoundAnalyzer.java (+3/-1)
src/pipe/gui/Pipe.java (+1/-1)
src/pipe/gui/RunVerification.java (+28/-4)
src/pipe/gui/RunVerificationBase.java (+36/-16)
src/pipe/gui/Verifier.java (+12/-14)
src/pipe/gui/action/DeletePetriNetObjectAction.java (+11/-0)
src/pipe/gui/graphicElements/ArcPathPoint.java (+2/-2)
src/pipe/gui/widgets/CTLQueryDialog.java (+2617/-0)
src/pipe/gui/widgets/NativeFileBrowser.java (+6/-1)
src/pipe/gui/widgets/QueryDialog.java (+17/-12)
src/pipe/gui/widgets/QueryPane.java (+57/-7)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+10/-4)
src/resources/TCTLParser/TAPAALCTLQueryParser.jj (+305/-0)
Changed in tapaal: | |
assignee: | nobody → Mads Johannsen (mjohan12) |
Changed in tapaal: | |
status: | New → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Released |
To post a comment you must log in.