lp:~yrke/tapaal/more-testing-and-refactorings
Created by
Kenneth Yrke Jørgensen
on
2020-08-16
and last modified on
2020-08-30
- Get this branch:
- bzr branch lp:~yrke/tapaal/more-testing-and-refactorings
Only
Kenneth Yrke Jørgensen
can upload to this branch. If you are
Kenneth Yrke Jørgensen
please log in for upload directions.
Branch merges
Propose for merging
- TAPAAL Reviewers: Pending requested 2020-08-30
-
Diff: 6041 lines (+1836/-1910)74 files modifiedsrc/dk/aau/cs/approximation/OverApproximation.java (+4/-6)
src/dk/aau/cs/gui/BatchProcessingDialog.java (+2/-2)
src/dk/aau/cs/gui/Context.java (+2/-2)
src/dk/aau/cs/gui/DeleteSharedPlaceOrTransition.java (+3/-3)
src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+3/-3)
src/dk/aau/cs/gui/TabContent.java (+181/-243)
src/dk/aau/cs/gui/TabContentActions.java (+1/-4)
src/dk/aau/cs/gui/TemplateExplorer.java (+923/-919)
src/dk/aau/cs/gui/components/StatisticsPanel.java (+85/-97)
src/dk/aau/cs/gui/smartDraw/SmartDrawDialog.java (+17/-5)
src/dk/aau/cs/gui/smartDraw/SmartDrawWorker.java (+27/-13)
src/dk/aau/cs/gui/undo/MakePlaceNewSharedCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java (+2/-2)
src/dk/aau/cs/gui/undo/MovePlaceTransitionObject.java (+1/-2)
src/dk/aau/cs/io/PNMLoader.java (+1/-4)
src/dk/aau/cs/io/TapnLegacyXmlLoader.java (+1/-3)
src/dk/aau/cs/io/TapnXmlLoader.java (+4/-7)
src/dk/aau/cs/io/TraceImportExport.java (+9/-8)
src/dk/aau/cs/io/queries/QueryLoader.java (+2/-2)
src/dk/aau/cs/io/queries/TAPNQueryLoader.java (+1/-1)
src/dk/aau/cs/io/queries/XMLQueryLoader.java (+1/-2)
src/dk/aau/cs/model/tapn/TimedPlace.java (+4/-2)
src/dk/aau/cs/model/tapn/simulation/ManualDelayMode.java (+1/-1)
src/dk/aau/cs/verification/TAPNComposer.java (+5/-7)
src/net/tapaal/TAPAAL.java (+12/-1)
src/pipe/gui/AnimationControlSidePanel.java (+1/-1)
src/pipe/gui/AnimationSettingsDialog.java (+2/-2)
src/pipe/gui/Animator.java (+13/-9)
src/pipe/gui/CreateGui.java (+8/-21)
src/pipe/gui/Export.java (+31/-30)
src/pipe/gui/ExportBatchDialog.java (+1/-1)
src/pipe/gui/Grid.java (+0/-18)
src/pipe/gui/GuiFrame.java (+66/-149)
src/pipe/gui/GuiFrameActions.java (+2/-0)
src/pipe/gui/GuiFrameController.java (+249/-31)
src/pipe/gui/GuiFrameControllerActions.java (+4/-0)
src/pipe/gui/MessengerImpl.java (+1/-2)
src/pipe/gui/RunKBoundAnalysis.java (+2/-2)
src/pipe/gui/RunVerification.java (+5/-5)
src/pipe/gui/SimulationControl.java (+1/-1)
src/pipe/gui/TikZExporter.java (+6/-3)
src/pipe/gui/Verifier.java (+2/-2)
src/pipe/gui/action/EditAnnotationBorderAction.java (+1/-2)
src/pipe/gui/action/SplitArcAction.java (+1/-3)
src/pipe/gui/action/SplitArcPointAction.java (+1/-1)
src/pipe/gui/action/ToggleArcPointAction.java (+1/-2)
src/pipe/gui/canvas/DrawingSurfaceImpl.java (+5/-60)
src/pipe/gui/graphicElements/AnnotationNote.java (+2/-2)
src/pipe/gui/graphicElements/ArcPath.java (+15/-2)
src/pipe/gui/graphicElements/ArcPathPoint.java (+1/-1)
src/pipe/gui/graphicElements/Note.java (+3/-5)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+0/-4)
src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java (+1/-1)
src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java (+1/-1)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+1/-1)
src/pipe/gui/handler/ArcHandler.java (+1/-1)
src/pipe/gui/handler/ArcPathPointHandler.java (+1/-3)
src/pipe/gui/handler/LabelHandler.java (+1/-1)
src/pipe/gui/handler/PetriNetObjectHandler.java (+12/-95)
src/pipe/gui/handler/PlaceTransitionObjectHandler.java (+1/-1)
src/pipe/gui/undo/AddArcPathPointEdit.java (+1/-7)
src/pipe/gui/undo/DeleteArcPathPointEdit.java (+1/-7)
src/pipe/gui/widgets/ChooseInclusionPlacesDialog.java (+1/-1)
src/pipe/gui/widgets/ConstantsDialogPanel.java (+48/-44)
src/pipe/gui/widgets/ConstantsPane.java (+11/-11)
src/pipe/gui/widgets/EngineDialogPanel.java (+1/-2)
src/pipe/gui/widgets/GuardDialogue.java (+1/-1)
src/pipe/gui/widgets/NewTAPNPanel.java (+8/-9)
src/pipe/gui/widgets/PlaceEditorPanel.java (+1/-1)
src/pipe/gui/widgets/QueryDialog.java (+19/-16)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+1/-1)
src/pipe/gui/widgets/WorkflowDialog.java (+2/-2)
src/pipe/gui/widgets/filebrowser/NativeFileBrowser.java (+2/-2)
src/pipe/gui/widgets/filebrowser/NativeFileBrowserFallback.java (+2/-2)
Related source package recipes
Branch information
Recent revisions
- 1151. By Kenneth Yrke Jørgensen on 2020-08-20
-
Removed drawingsurface having access to the model. TabContent now saves what template is active
- 1150. By Kenneth Yrke Jørgensen on 2020-08-18
-
Replaved chained call to undomanager via getCurrentTab
- 1149. By Kenneth Yrke Jørgensen on 2020-08-18
-
Replaced chained calls to getDrawingSurface via get Currenttab
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal
