DataDictionary.Generated.StateMachine.appendStates C# (CSharp) Method

StateMachine Class Documentation Show file Open project: ERTMSSolutions/ERTMSFormalSpecs

appendStates() public method

public appendStates ( Lock aLock, State el ) : void
aLock	Lock
el	State
return	void

        public void appendStates(Lock aLock,State el)
        {
            __setDirty(true);
              el.__setDirty(true);
              allStates().Add(el);
              acceptor.connectSon (this, el);
            NotifyControllers(aLock);
        }

Same methods

StateMachine::appendStates ( State el ) : void
StateMachine::appendStates ( System coll ) : void
StateMachine::appendStates ( System coll, Lock aLock ) : void