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_tags

Module defining SCXML tags to match against.

as2fm.jani_generator.scxml_helpers.scxml_to_jani

Module handling the conversion from SCXML to Jani.

as2fm.jani_generator.scxml_helpers.top_level_interpreter

Module reading the top level xml file containing the whole model to check.