helper method - loads a testmodel from the testmodel directory concode_field_sep ModelSequencer sequencer concode_field_sep Statechart loadStatechartFromResource concode_elem_sep String getModelDirectory
ExecutionFlow function ( String arg0 ) { Statechart loc0 = loadStatechartFromResource ( arg0 ) ; final ExecutionFlow loc1 = sequencer . transform ( loc0 ) ; return loc1 ; }