as2fm.jani_generator.scxml_helpers

Modules

as2fm.jani_generator.scxml_helpers.scxml_event	Module to hold scxml even information to convert to jani syncs later.
as2fm.jani_generator.scxml_helpers.scxml_event_processor	Module to process events from scxml and implement them as syncs between jani automata.
as2fm.jani_generator.scxml_helpers.scxml_expression	Module producing jani expressions from ecmascript.
as2fm.jani_generator.scxml_helpers.scxml_to_jani	Functions for the conversion from SCXML to Jani.
as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces	Interface classes between SCXML tags and related JANI output.
as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces_helpers	Helper functions used in as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces.
as2fm.jani_generator.scxml_helpers.top_level_interpreter	Module reading the top level xml file containing the whole model to check.