Class ActionHomeSetImpl

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

public class ActionHomeSetImpl extends io.ciera.runtime.summit.classes.InstanceSet<ActionHomeSet,ActionHome> implements ActionHomeSet
  • Constructor Details

    • ActionHomeSetImpl

      public ActionHomeSetImpl()
    • ActionHomeSetImpl

      public ActionHomeSetImpl(Comparator<? super ActionHome> comp)
  • Method Details

    • setAct_ID

      public void setAct_ID(io.ciera.runtime.summit.types.UniqueId ref_Act_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      setAct_ID in interface ActionHomeSet
      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 ActionHomeSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R513_is_a_MealyActionHome

      public MealyActionHomeSet R513_is_a_MealyActionHome() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R513_is_a_MealyActionHome in interface ActionHomeSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R513_is_a_MooreActionHome

      public MooreActionHomeSet R513_is_a_MooreActionHome() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R513_is_a_MooreActionHome in interface ActionHomeSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R513_is_a_TransitionActionHome

      public TransitionActionHomeSet R513_is_a_TransitionActionHome() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R513_is_a_TransitionActionHome in interface ActionHomeSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R514_houses_Action

      public ActionSet R514_houses_Action() throws io.ciera.runtime.summit.exceptions.XtumlException
      Specified by:
      R514_houses_Action in interface ActionHomeSet
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • nullElement

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

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

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

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