StateTrackableDelegate function ( State arg0 ) { switch ( arg0 ) { case UNTRACKABLE : return UNTRACKABLE_DELEGATE ; case STABLE : return new StateTrackableDelegate ( STABLE ) ; case DYNAMIC : return new StateTrackableDelegate ( DYNAMIC ) ; case IMMUTABLE : return IMMUTABLE_DELEGATE ; default : throw new InternalError ( "srini_string" ) ; } }
returns a statetrackabledelegate instance with thespecified initial state state . if the specified state is state #untrackable untrackable or state #immutable immutable then the approprirate static instance #untrackable_delegate or #immutable_delegate is returned . concode_field_sep State theState concode_elem_sep StateTracker theTracker concode_elem_sep StateTrackableDelegate IMMUTABLE_DELEGATE concode_elem_sep int numDynamicAgents concode_elem_sep StateTrackableDelegate UNTRACKABLE_DELEGATE concode_field_sep void setImmutable concode_elem_sep State getState concode_elem_sep void markDirty concode_elem_sep void removeDynamicAgent concode_elem_sep StateTracker getStateTracker concode_elem_sep void addDynamicAgent concode_elem_sep void setUntrackable