Class DeleteSetImpl

    • Constructor Detail

      • DeleteSetImpl

        public DeleteSetImpl()
    • Method Detail

      • setVar_ID

        public void setVar_ID​(io.ciera.runtime.summit.types.UniqueId ref_Var_ID)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setVar_ID in interface DeleteSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • 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 DeleteSet
        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 DeleteSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R634_destroys_V_VAR

        public V_VARSet R634_destroys_V_VAR()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R634_destroys_V_VAR in interface DeleteSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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

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