java.lang.Object
io.ciera.runtime.summit.types.Set<State>
io.ciera.runtime.summit.classes.InstanceSet<StateSet,State>
io.ciera.tool.sql.architecture.statemachine.impl.StateSetImpl
All Implemented Interfaces:
io.ciera.runtime.summit.classes.IInstanceSet<StateSet,State>, io.ciera.runtime.summit.types.ISet<State>, io.ciera.runtime.summit.types.IXtumlType, StateSet, Iterable<State>, Collection<State>, Set<State>

public class StateSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<StateSet,State> implements StateSet
  • Constructor Details

    • StateSetImpl

      public StateSetImpl()
    • StateSetImpl

      public StateSetImpl(Comparator<? super State> comp)
  • Method Details

    • setSm_package

      public void setSm_package(String ref_sm_package) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setSm_package in interface StateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setFinal

      public void setFinal(boolean m_final) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setFinal in interface StateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSm_name

      public void setSm_name(String ref_sm_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setSm_name in interface StateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setName

      public void setName(String ref_name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setName in interface StateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setNumber

      public void setNumber(int m_number) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setNumber in interface StateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R427_is_a_InvocableObject

      public InvocableObjectSet R427_is_a_InvocableObject() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R427_is_a_InvocableObject in interface StateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R4751_StateMachine

      public StateMachineSet R4751_StateMachine() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R4751_StateMachine in interface StateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R4754_is_start_state_for_TransitionTableRow

      public TransitionTableRowSet R4754_is_start_state_for_TransitionTableRow() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R4754_is_start_state_for_TransitionTableRow in interface StateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R4757_StateTransition

      public StateTransitionSet R4757_StateTransition() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R4757_StateTransition in interface StateSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R4758_StateMachineState

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

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

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

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

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