usage of older xml-models

Asked by Raimond Wüst on 2019-09-17

Is there a possibility to import Tapaal-models (stored as *.xml-file) created with version 3.4.3 into the current release?

Question information

Language:
English Edit question
Status:
Answered
For:
TAPAAL Edit question
Assignee:
No assignee Edit question
Last query:
2019-09-17
Last reply:
2019-09-17
Jiri Srba (srba) said : #1

Yes, it should be no problem as we preserved backward compatibility. Loading old XML file should work just
out of the box but it will display a message that once you save the model, it will get .tapn ending instead.
Saving models using .xml ending is not available anymore.

Let us know if you have any further questions please.

Raimond Wüst (wura) said : #2

Sorry for coming back to my problem.
In the older version I safed the model in xml-Format but I cannot see the model when I use the xml-import function of version 3.5.1.
There is no error message.

Jiri Srba (srba) said : #3

I see, the XML-import is for files in PNML format (this is why we changed the ending). So files stored by TAPAAL
(either the old .xml or new .tapn ending) should be opened via menu File/Open and NOT via the import feature.

Can you help with this problem?

Provide an answer of your own, or ask Raimond Wüst for more information if necessary.

To post a message you must log in.