Saved nets that cannot be open
Bug #896891 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Jiri Srba |
Bug Description
The following net was created, verified but cannot be opened again in the GUI. However, it can be loaded to the
batch processing and can be verified there without any problem.
Related branches
lp:~tapaal-contributor/tapaal/bug-896891
- Kenneth Yrke Jørgensen: Approve
- mhm (community): Approve
- Jiri Srba: Approve
-
Diff: 12 lines (+1/-1)1 file modifiedsrc/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+1/-1)
Changed in tapaal: | |
assignee: | nobody → Jiri Srba (srba) |
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
I found out what is the problem. In trunk, make a net consisting of one transition, one place and one arc from transition to the place.
Then save it and try to open. It does not work. The problem is not present in 2.0.2, and the difference is that in the xml file
in 2.0.2 the arc looks like this:
<arc id="T0 to P0" inscription="1" source="T0" target="P0" type="normal"> "false" id="0" xCoord="117" yCoord="102"/> "false" id="1" xCoord="117" yCoord="192"/>
<arcpath arcPointType=
<arcpath arcPointType=
</arc>
but in the trunk the inscription attribute is as: inscription=""
and this does not parse.
Anybody is aware how this problem was introduced???