as2fm.jani_generator.scxml_helpers
Modules
Module to hold scxml even information to convert to jani syncs later. |
|
Module to process events from scxml and implement them as syncs between jani automata. |
|
Module producing jani expressions from ecmascript. |
|
Module defining SCXML tags to match against. |
|
Module handling the conversion from SCXML to Jani. |
|
Module reading the top level xml file containing the whole model to check. |