lp:~yrke/tapaal/more-testing-and-refactorings
Created by
Kenneth Yrke Jørgensen
and last modified
- 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
No branches
dependent on this one.
- TAPAAL Reviewers: Pending requested
-
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)
Branch information
Recent revisions
- 1151. By Kenneth Yrke Jørgensen
-
Removed drawingsurface having access to the model. TabContent now saves what template is active
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal