lp:~yrke/tapaal/positionAsInt
Created by
Kenneth Yrke Jørgensen
and last modified
- Get this branch:
- bzr branch lp:~yrke/tapaal/positionAsInt
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.
- Jiri Srba: Approve
- Peter Haahr Taankvist (community): Approve
-
Diff: 1983 lines (+593/-402)30 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+2/-2)
src/dk/aau/cs/gui/TabTransformer.java (+4/-14)
src/dk/aau/cs/gui/smartDraw/SmartDrawWorker.java (+15/-7)
src/dk/aau/cs/gui/undo/MovePlaceTransitionObject.java (+6/-7)
src/dk/aau/cs/gui/undo/UpdateNameLabelOffsetCommand.java (+2/-2)
src/dk/aau/cs/io/PNMLWriter.java (+8/-8)
src/dk/aau/cs/io/PNMLoader.java (+15/-17)
src/dk/aau/cs/io/TapnLegacyXmlLoader.java (+40/-44)
src/dk/aau/cs/io/TapnXmlLoader.java (+37/-42)
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+10/-10)
src/dk/aau/cs/verification/TAPNComposer.java (+23/-46)
src/pipe/gui/CreateGui.java (+1/-0)
src/pipe/gui/Zoomer.java (+20/-16)
src/pipe/gui/graphicElements/ArcPath.java (+1/-1)
src/pipe/gui/graphicElements/ArcPathPoint.java (+21/-30)
src/pipe/gui/graphicElements/NameLabel.java (+4/-7)
src/pipe/gui/graphicElements/PetriNetObject.java (+8/-29)
src/pipe/gui/graphicElements/PetriNetObjectWithLabel.java (+14/-31)
src/pipe/gui/graphicElements/Place.java (+0/-11)
src/pipe/gui/graphicElements/PlaceTransitionObject.java (+13/-30)
src/pipe/gui/graphicElements/Transition.java (+6/-6)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+1/-7)
src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java (+4/-13)
src/pipe/gui/graphicElements/tapn/TimedPlaceComponent.java (+10/-7)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+5/-5)
src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java (+2/-2)
src/pipe/gui/handler/LabelHandler.java (+4/-4)
src/pipe/gui/handler/PlaceHandler.java (+2/-2)
src/pipe/gui/handler/TransitionHandler.java (+2/-2)
tests/dk/aau/cs/io/TapnXmlLoaderTest.kt (+313/-0)
Branch information
Recent revisions
- 1375. By Kenneth Yrke Jørgensen
-
added test for missing partner in transport arc
disabled test as is does not throw an error
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal