helper method - loads a testmodel from the testmodel directory concode_field_sep String SIMPLE_HIERACHY concode_elem_sep String STATE_ACTIVE concode_elem_sep String VALUED_EVENTS concode_elem_sep String TESTMODEL_DIR concode_elem_sep String FEATURE_CALLS concode_elem_sep String GUARD concode_elem_sep String DEEP_HISTORY concode_elem_sep String STATECHART_LOCAL_REACTIONS concode_elem_sep ModelSequencer sequencer concode_field_sep ExecutionFlow createGuardModel concode_elem_sep ExecutionFlow createSimpleHierachyModel concode_elem_sep ExecutionFlow createStateIsActiveModel concode_elem_sep ExecutionFlow createValuedEventsModel concode_elem_sep ExecutionFlow createFeatureCallModel concode_elem_sep ExecutionFlow createStatechartLocalReactionsModel concode_elem_sep Statechart loadStatechartFromResource concode_elem_sep ExecutionFlow createDeepHistoryModel
ExecutionFlow function ( String arg0 ) { Statechart loc0 = loadStatechartFromResource ( arg0 ) ; final ExecutionFlow loc1 = sequencer . transform ( loc0 ) ; return loc1 ; }