Class SM_SMSetImpl

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

public class SM_SMSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<SM_SMSet,SM_SM> implements SM_SMSet
  • Constructor Details

    • SM_SMSetImpl

      public SM_SMSetImpl()
    • SM_SMSetImpl

      public SM_SMSetImpl(Comparator<? super SM_SM> comp)
  • Method Details

    • setConfig_ID

      public void setConfig_ID(int m_Config_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setConfig_ID in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSM_ID

      public void setSM_ID(io.ciera.runtime.summit.types.UniqueId m_SM_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setSM_ID in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setDescrip

      public void setDescrip(String m_Descrip) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setDescrip in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R501_is_decomposed_into_StateMachineState

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

      public StateMachineEventSet R502_can_be_communicated_to_via_StateMachineEvent() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R502_can_be_communicated_to_via_StateMachineEvent in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R505_contains_Transition

      public TransitionSet R505_contains_Transition() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R505_contains_Transition in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R510_is_a_MealyStateMachine

      public MealyStateMachineSet R510_is_a_MealyStateMachine() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R510_is_a_MealyStateMachine in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R510_is_a_MooreStateMachine

      public MooreStateMachineSet R510_is_a_MooreStateMachine() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R510_is_a_MooreStateMachine in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R515_contains_Action

      public ActionSet R515_contains_Action() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R515_contains_Action in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R516_can_asynchronously_communicate_via_StateMachineEventDataItem

      public StateMachineEventDataItemSet R516_can_asynchronously_communicate_via_StateMachineEventDataItem() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R516_can_asynchronously_communicate_via_StateMachineEventDataItem in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R517_is_a_ClassStateMachine

      public ClassStateMachineSet R517_is_a_ClassStateMachine() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R517_is_a_ClassStateMachine in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R517_is_a_InstanceStateMachine

      public InstanceStateMachineSet R517_is_a_InstanceStateMachine() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R517_is_a_InstanceStateMachine in interface SM_SMSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • nullElement

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

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

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

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