Class UnrelateSmtSetImpl

    • Constructor Detail

      • UnrelateSmtSetImpl

        public UnrelateSmtSetImpl()
    • Method Detail

      • setComp_package

        public void setComp_package​(String ref_comp_package)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setComp_package in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setParent_package

        public void setParent_package​(String ref_parent_package)
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setParent_package in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setPart_expression_number

        public void setPart_expression_number​(String ref_part_expression_number)
                                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setPart_expression_number in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setComp_name

        public void setComp_name​(String ref_comp_name)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setComp_name in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setRel_name

        public void setRel_name​(String ref_rel_name)
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setRel_name in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBlock_number

        public void setBlock_number​(String ref_block_number)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setBlock_number in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setForm_expression_number

        public void setForm_expression_number​(String ref_form_expression_number)
                                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setForm_expression_number in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStatement_number

        public void setStatement_number​(String ref_statement_number)
                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStatement_number in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setParent_name

        public void setParent_name​(String ref_parent_name)
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setParent_name in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBody_name

        public void setBody_name​(String ref_body_name)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setBody_name in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_Statement

        public StatementSet R451_is_a_Statement()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R451_is_a_Statement in interface UnrelateSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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