RailML Tutorial: Difference between revisions
Jan Gruteser (talk | contribs) |
Jan Gruteser (talk | contribs) |
||
| Line 15: | Line 15: | ||
|} | |} | ||
Once the import has finished, the validation results are displayed and can be exported ( | Once the import has finished, the validation results are displayed and can be exported (provided that semantic checks were enabled). | ||
You can then proceed to export the data as B machines and, if desired, export further machines for animation and validation. | You can then proceed to export the data as B machines and, if desired, export further machines for animation and validation. | ||
Revision as of 17:12, 14 August 2026
Import railML Data
Using ProB2-UI
In the menu bar, select Advanced > Data Import > railML 3 or open a .railml/.railmlx directly. The railML 3 import dialogue should be visible now.
You can choose whether to save only the translated data, perform semantic checks and/or to create a visualisation. Then click on Start Import. You should see a progress bar while the translation and validation of the data is executed.
|
|
Once the import has finished, the validation results are displayed and can be exported (provided that semantic checks were enabled). You can then proceed to export the data as B machines and, if desired, export further machines for animation and validation.
If you selected Create visualisation at the beginning, the visualisation window will show up to configure the layout:
