lp:~yrke/tapaal/positionAsInt

Branch merges

Propose for merging

Merged into lp:tapaal at revision 1054

Jiri Srba: Approve on 2020-05-25

Peter Haahr Taankvist (community): Approve on 2020-05-09

Diff: 1983 lines (+593/-402)

30 files modified

src/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)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1383. By Kenneth Yrke Jørgensen on 2020-05-12

Fixed an issue where smartdraw placed arcpathpoint wrongly

1382. By Kenneth Yrke Jørgensen on 2020-05-06

Removed old constructor using double and having unused fields

1381. By Kenneth Yrke Jørgensen on 2020-05-06

removed unused constructors (double)

1380. By Kenneth Yrke Jørgensen on 2020-05-02

Removed zoom function returning double value

1379. By Kenneth Yrke Jørgensen on 2020-05-01

Removed unused constructor

1378. By Kenneth Yrke Jørgensen on 2020-05-01

Removed double constructores from transitions

1377. By Kenneth Yrke Jørgensen on 2020-05-01

Removed double constructors from Place

1376. By Kenneth Yrke Jørgensen on 2020-04-30

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

1375. By Kenneth Yrke Jørgensen on 2020-04-07

added test for missing partner in transport arc

disabled test as is does not throw an error

1374. By Kenneth Yrke Jørgensen on 2020-04-07

Added first test for transportarc