nl: waits until the statemodel reaches the indicated state . note : waitforstate methods may not be called from multiple threads simoultaneously . concode_field_sep int[] targetStates_ concode_elem_sep StateModel model_ concode_field_sep void stateChanged concode_elem_sep void setStateModel
code: void function ( int arg0 ) { int [ ] loc0 = { arg0 } ; waitForState ( loc0 ) ; }