Class ControlNodeSetImpl

    • Constructor Detail

      • ControlNodeSetImpl

        public ControlNodeSetImpl()
    • Method Detail

      • setId

        public void setId​(io.ciera.runtime.summit.types.UniqueId ref_Id)
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setId in interface ControlNodeSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R1106_is_a_InitialNode

        public InitialNodeSet R1106_is_a_InitialNode()
                                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R1106_is_a_InitialNode in interface ControlNodeSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

        public ControlNodeSet emptySet()
        Specified by:
        emptySet in interface io.ciera.runtime.summit.types.ISet<ControlNode>
      • elements

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