adds the given state machine to runtime service . concode_field_sep ReentrantReadWriteLock lock concode_elem_sep TimerTask timerTask concode_elem_sep Timer timer concode_elem_sep List<IStatemachine> statemachineSet concode_field_sep void cancel concode_elem_sep boolean removeStatemachine concode_elem_sep void run
boolean function ( IStatemachine arg0 ) { lock . writeLock ( ) . lock ( ) ; boolean loc0 = statemachineSet . add ( arg0 ) ; lock . writeLock ( ) . unlock ( ) ; return loc0 ; }