Merge lp:~tapaal-contributor/tapaal/autodetect-lens-check into lp:tapaal
Proposed by
Lena Ernstsen
Status: | Rejected |
---|---|
Rejected by: | Kenneth Yrke Jørgensen |
Proposed branch: | lp:~tapaal-contributor/tapaal/autodetect-lens-check |
Merge into: | lp:tapaal |
Diff against target: |
226 lines (+66/-16) 5 files modified
src/dk/aau/cs/gui/TabContent.java (+4/-2) src/dk/aau/cs/io/LoadedModel.java (+20/-4) src/dk/aau/cs/io/ModelLoader.java (+30/-7) src/dk/aau/cs/io/TapnXmlLoader.java (+5/-1) src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+7/-2) |
To merge this branch: | bzr merge lp:~tapaal-contributor/tapaal/autodetect-lens-check |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Kenneth Yrke Jørgensen | Pending | ||
TAPAAL Reviewers | Pending | ||
Review via email: mp+389463@code.launchpad.net |
Commit message
Autodetect of lens info added when loading nets
Description of the change
Checks whether the registered lens information in the .tapn file is correct.
If no lens information is found in the file then auto detection checks which lens information is true.
To post a comment you must log in.
Unmerged revisions
- 1102. By Lena Ernstsen
-
Merge with trunk
- 1101. By Lena Ernstsen
-
Merged with untimed-timed-gui
- 1100. By Lena Ernstsen
-
Added check for whether the lens is correct according to the net