Class DeferralSetImpl

    • Constructor Detail

      • DeferralSetImpl

        public DeferralSetImpl()
    • Method Detail

      • setRel_ID

        public void setRel_ID​(io.ciera.runtime.summit.types.UniqueId ref_Rel_ID)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setRel_ID in interface DeferralSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setTfr_ID

        public void setTfr_ID​(io.ciera.runtime.summit.types.UniqueId ref_Tfr_ID)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setTfr_ID in interface DeferralSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setRequired

        public void setRequired​(int m_required)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setRequired in interface DeferralSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R126_delegates_execution_of_O_TFR

        public O_TFRSet R126_delegates_execution_of_O_TFR()
                                                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R126_delegates_execution_of_O_TFR in interface DeferralSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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