← Back to branch summary

~tapaal-contributor/tapaal/sidepane-refactor-1886410

~tapaal-contributor/tapaal/sidepane-refactor-1886410

Viewing all changes in revision 1067.

Committer: Jiri Srba
Date: 2020-07-11 15:38:00 UTC
mfrom: (1056.2.155 cleanup-PNO-namingAndInterface)
Revision ID: srba@cs.aau.dk-20200711153800-eo8idhquyfnstmli

merged in lp:~yrke/tapaal/cleanup-PNO-namingAndInterface refactoring animator and drawing and adding global net properties timed/game

files added:
src/net/tapaal/swinghelpers/DispatchEventsToParentHandler.java

src/pipe/gui/graphicElements/Drawable.java

src/pipe/gui/graphicElements/GraphicalElement.java

files modified:
src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java

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

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

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

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

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

src/dk/aau/cs/gui/smartDraw/SmartDrawWorker.java

src/dk/aau/cs/gui/undo/TimedPlaceMarkingEdit.java

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

src/dk/aau/cs/model/tapn/LocalTimedPlace.java

src/dk/aau/cs/model/tapn/NetworkMarking.java

src/dk/aau/cs/model/tapn/SharedPlace.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java

src/dk/aau/cs/model/tapn/TimedInhibitorArc.java

src/dk/aau/cs/model/tapn/TimedPlace.java

src/dk/aau/cs/model/tapn/TimedToken.java

src/dk/aau/cs/model/tapn/TimedTransition.java

src/dk/aau/cs/model/tapn/TransportArc.java

src/net/tapaal/gui/DrawingSurfaceManager/AbstractDrawingSurfaceManager.java

src/pipe/dataLayer/DataLayer.java

src/pipe/dataLayer/Template.java

src/pipe/gui/AnimationHistoryList.java

src/pipe/gui/Animator.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DelayEnabledTransitionControl.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/GuiFrameController.java

src/pipe/gui/SelectionManager.java

src/pipe/gui/SimulationControl.java

src/pipe/gui/action/SplitArcAction.java

src/pipe/gui/canvas/Canvas.java

src/pipe/gui/canvas/DrawingSurfaceImpl.java

src/pipe/gui/canvas/PrototypeCanvas.java

src/pipe/gui/graphicElements/AnnotationNote.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/Note.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/PetriNetObjectWithLabel.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

src/pipe/gui/graphicElements/Transition.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/AnnotationNoteHandler.java

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/ArcPathPointHandler.java

src/pipe/gui/handler/LabelHandler.java

src/pipe/gui/handler/NoteHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/TimedArcHandler.java

src/pipe/gui/handler/TransitionHandler.java

src/pipe/gui/handler/TransportArcHandler.java

src/pipe/gui/undo/TranslatePetriNetObjectEdit.java

src/pipe/gui/undo/UndoManager.java

src/pipe/gui/widgets/ArcTokenSelector.java

tests/dk/aau/cs/io/TapnXmlLoaderTest.kt

Show diffs side-by-side

added added

removed removed

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

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

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

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

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

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

src/dk/aau/cs/gui/smartDraw/SmartDrawWorker.java

src/dk/aau/cs/gui/undo/TimedPlaceMarkingEdit.java

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

src/dk/aau/cs/model/tapn/LocalTimedPlace.java

src/dk/aau/cs/model/tapn/NetworkMarking.java

src/dk/aau/cs/model/tapn/SharedPlace.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java

src/dk/aau/cs/model/tapn/TimedInhibitorArc.java

src/dk/aau/cs/model/tapn/TimedPlace.java

src/dk/aau/cs/model/tapn/TimedToken.java

src/dk/aau/cs/model/tapn/TimedTransition.java

src/dk/aau/cs/model/tapn/TransportArc.java

src/net/tapaal/gui/DrawingSurfaceManager/AbstractDrawingSurfaceManager.java

src/net/tapaal/swinghelpers/DispatchEventsToParentHandler.java

src/pipe/dataLayer/DataLayer.java

src/pipe/dataLayer/Template.java

src/pipe/gui/AnimationHistoryList.java

src/pipe/gui/Animator.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DelayEnabledTransitionControl.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/GuiFrameController.java

src/pipe/gui/SelectionManager.java

src/pipe/gui/SimulationControl.java

src/pipe/gui/action/SplitArcAction.java

src/pipe/gui/canvas/Canvas.java

src/pipe/gui/canvas/DrawingSurfaceImpl.java

src/pipe/gui/canvas/PrototypeCanvas.java

src/pipe/gui/graphicElements/AnnotationNote.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/ArcPath.java

src/pipe/gui/graphicElements/ArcPathPoint.java

src/pipe/gui/graphicElements/Drawable.java

src/pipe/gui/graphicElements/GraphicalElement.java

src/pipe/gui/graphicElements/Note.java

src/pipe/gui/graphicElements/PetriNetObject.java

src/pipe/gui/graphicElements/PetriNetObjectWithLabel.java

src/pipe/gui/graphicElements/Place.java

src/pipe/gui/graphicElements/PlaceTransitionObject.java

src/pipe/gui/graphicElements/Transition.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/AnnotationNoteHandler.java

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/ArcPathPointHandler.java

src/pipe/gui/handler/LabelHandler.java

src/pipe/gui/handler/NoteHandler.java

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/handler/PlaceHandler.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/handler/TimedArcHandler.java

src/pipe/gui/handler/TransitionHandler.java

src/pipe/gui/handler/TransportArcHandler.java

src/pipe/gui/undo/TranslatePetriNetObjectEdit.java

src/pipe/gui/undo/UndoManager.java

src/pipe/gui/widgets/ArcTokenSelector.java

tests/dk/aau/cs/io/TapnXmlLoaderTest.kt

Older »