as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces

Interface classes between SCXML tags and related JANI output.

Classes

BaseTag(element, call_trace, model, ...)	Base class for all SCXML tags to interface.
DatamodelTag(element, call_trace, model, ...)	Object representing a datamodel tag from a SCXML file.
ScxmlTag(element, call_trace, model, ...)	Object representing the root SCXML tag.
StateTag(element, call_trace, model, ...)	Object representing a state tag from a SCXML file.
TransitionTag(element, call_trace, model, ...)	Object representing a transition tag from a SCXML file.