Interface ForSmtSet

    • Method Detail

      • setIterator_block_number

        void setIterator_block_number​(String ref_iterator_block_number)
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setParent_name

        void setParent_name​(String ref_parent_name)
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setIterator_name

        void setIterator_name​(String ref_iterator_name)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBlock_number

        void setBlock_number​(String ref_block_number)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setIterable_expression_number

        void setIterable_expression_number​(String ref_iterable_expression_number)
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setControl_block_number

        void setControl_block_number​(String ref_control_block_number)
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setBody_name

        void setBody_name​(String ref_body_name)
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setParent_package

        void setParent_package​(String ref_parent_package)
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStatement_number

        void setStatement_number​(String ref_statement_number)
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_Statement

        StatementSet R451_is_a_Statement()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R455_has_control_CodeBlock

        CodeBlockSet R455_has_control_CodeBlock()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R459_declares_as_iterator_Variable

        VariableSet R459_declares_as_iterator_Variable()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R478_iterates_over_Expression

        ExpressionSet R478_iterates_over_Expression()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException