Class ReturnStmtSetImpl

    • Constructor Detail

      • ReturnStmtSetImpl

        public ReturnStmtSetImpl()
    • 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 ReturnStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setValue_ID

        public void setValue_ID​(io.ciera.runtime.summit.types.UniqueId ref_Value_ID)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setValue_ID in interface ReturnStmtSet
        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 ReturnStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R668_has_Value

        public ValueSet R668_has_Value()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R668_has_Value in interface ReturnStmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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