Class IfSmtSetImpl

    • Constructor Detail

      • IfSmtSetImpl

        public IfSmtSetImpl()
    • Method Detail

      • setIs_else_if

        public void setIs_else_if​(boolean m_is_else_if)
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setIs_else_if in interface IfSmtSet
        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 IfSmtSet
        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 IfSmtSet
        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 IfSmtSet
        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 IfSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setCond_expression_number

        public void setCond_expression_number​(String ref_cond_expression_number)
                                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setCond_expression_number in interface IfSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setThen_block_number

        public void setThen_block_number​(String ref_then_block_number)
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setThen_block_number in interface IfSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setElse_block_number

        public void setElse_block_number​(String ref_else_block_number)
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setElse_block_number in interface IfSmtSet
        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 IfSmtSet
        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 IfSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R453_has_then_CodeBlock

        public CodeBlockSet R453_has_then_CodeBlock()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R453_has_then_CodeBlock in interface IfSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R454_has_else_CodeBlock

        public CodeBlockSet R454_has_else_CodeBlock()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R454_has_else_CodeBlock in interface IfSmtSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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

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