add fireability predicate to CTL query creationg dialog
Bug #1626060 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Critical
|
Mads Johannsen | ||
Bug Description
Fireability predicate should be added to the CLT query dialog. The engine supports it.
Related branches
lp:~tapaal-contributor/tapaal/fireability-fix-1626060
- Mads Johannsen: Approve
-
Diff: 3397 lines (+1177/-602)62 files modified.bzrignore (+0/-11)
src/dk/aau/cs/TCTL/AritmeticOperator.java (+6/-5)
src/dk/aau/cs/TCTL/CTLParsing/ParseException.java (+2/-2)
src/dk/aau/cs/TCTL/CTLParsing/SimpleCharStream.java (+2/-2)
src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParser.java (+292/-252)
src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParserTokenManager.java (+53/-8)
src/dk/aau/cs/TCTL/CTLParsing/Token.java (+2/-2)
src/dk/aau/cs/TCTL/CTLParsing/TokenMgrError.java (+2/-2)
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 (+5/-6)
src/dk/aau/cs/TCTL/TCTLAXNode.java (+4/-5)
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 (+5/-6)
src/dk/aau/cs/TCTL/TCTLEXNode.java (+4/-5)
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 (+4/-5)
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 (+3/-5)
src/dk/aau/cs/TCTL/TCTLTermListNode.java (+11/-10)
src/dk/aau/cs/TCTL/TCTLTransitionNode.java (+6/-5)
src/dk/aau/cs/TCTL/TCTLTrueNode.java (+4/-5)
src/dk/aau/cs/TCTL/XMLParsing/XMLCTLQueryParser.java (+23/-0)
src/dk/aau/cs/TCTL/visitors/CTLQueryVisitor.java (+39/-44)
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/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/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/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/queries/QueryLoader.java (+36/-2)
src/dk/aau/cs/io/queries/TAPNQueryLoader.java (+23/-12)
src/dk/aau/cs/io/queries/XMLQueryLoader.java (+3/-1)
src/dk/aau/cs/verification/batchProcessing/BatchProcessingWorker.java (+5/-2)
src/pipe/gui/Export.java (+18/-7)
src/pipe/gui/GuiFrame.java (+11/-0)
src/pipe/gui/RunVerificationBase.java (+5/-2)
src/pipe/gui/action/DeletePetriNetObjectAction.java (+11/-0)
src/pipe/gui/widgets/CTLQueryDialog.java (+141/-77)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+10/-4)
src/resources/TCTLParser/TAPAALCTLQueryParser.jj (+9/-2)
| Changed in tapaal: | |
| assignee: | nobody → Mads Johannsen (mjohan12) |
| Changed in tapaal: | |
| status: | New → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
