Class ControlSetImpl

    • Constructor Detail

      • ControlSetImpl

        public ControlSetImpl()
    • Method Detail

      • setStatement_ID

        public void setStatement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStatement_ID in interface ControlSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_SMT

        public ACT_SMTSet R603_is_a_ACT_SMT()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R603_is_a_ACT_SMT in interface ControlSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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