Class StateMachineStateSetImpl

java.lang.Object
io.ciera.runtime.summit.types.Set<StateMachineState>
io.ciera.runtime.summit.classes.InstanceSet<StateMachineStateSet,StateMachineState>
io.ciera.tool.sql.ooaofooa.statemachine.impl.StateMachineStateSetImpl
All Implemented Interfaces:
io.ciera.runtime.summit.classes.IInstanceSet<StateMachineStateSet,StateMachineState>, io.ciera.runtime.summit.types.ISet<StateMachineState>, io.ciera.runtime.summit.types.IXtumlType, StateMachineStateSet, Iterable<StateMachineState>, Collection<StateMachineState>, Set<StateMachineState>

public class StateMachineStateSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<StateMachineStateSet,StateMachineState> implements StateMachineStateSet
  • Constructor Details

    • StateMachineStateSetImpl

      public StateMachineStateSetImpl()
    • StateMachineStateSetImpl

      public StateMachineStateSetImpl(Comparator<? super StateMachineState> comp)
  • Method Details

    • setNumb

      public void setNumb(int m_Numb) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setNumb in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setFinal

      public void setFinal(int m_Final) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setFinal in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSMstt_ID

      public void setSMstt_ID(io.ciera.runtime.summit.types.UniqueId m_SMstt_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setSMstt_ID in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSMspd_IDdeprecated

      public void setSMspd_IDdeprecated(io.ciera.runtime.summit.types.UniqueId m_SMspd_IDdeprecated) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setSMspd_IDdeprecated in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSM_ID

      public void setSM_ID(io.ciera.runtime.summit.types.UniqueId ref_SM_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setSM_ID in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setName

      public void setName(String m_Name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setName in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2915_defines_state_of_I_INS

      public I_INSSet R2915_defines_state_of_I_INS() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R2915_defines_state_of_I_INS in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R4758_State

      public StateSet R4758_State() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R4758_State in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R501_SM_SM

      public SM_SMSet R501_SM_SM() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R501_SM_SM in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R503_receives_StateEventMatrixEntry

      public StateEventMatrixEntrySet R503_receives_StateEventMatrixEntry() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R503_receives_StateEventMatrixEntry in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R506_is_destination_of_Transition

      public TransitionSet R506_is_destination_of_Transition() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R506_is_destination_of_Transition in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R508_is_origination_of_NoEventTransition

      public NoEventTransitionSet R508_is_origination_of_NoEventTransition() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R508_is_origination_of_NoEventTransition in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R511_MooreActionHome

      public MooreActionHomeSet R511_MooreActionHome() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R511_MooreActionHome in interface StateMachineStateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • nullElement

      public StateMachineState nullElement()
      Specified by:
      nullElement in interface io.ciera.runtime.summit.types.ISet<StateMachineState>
    • emptySet

      public StateMachineStateSet emptySet()
      Specified by:
      emptySet in interface io.ciera.runtime.summit.types.ISet<StateMachineState>
    • emptySet

      public StateMachineStateSet emptySet(Comparator<? super StateMachineState> comp)
      Specified by:
      emptySet in interface io.ciera.runtime.summit.types.ISet<StateMachineState>
    • elements

      public List<StateMachineState> elements()
      Specified by:
      elements in interface io.ciera.runtime.summit.types.ISet<StateMachineState>