Interface WhileSmtSet

    • Method Detail

      • 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
      • setCond_expression_number

        void setCond_expression_number​(String ref_cond_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
      • setParent_name

        void setParent_name​(String ref_parent_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
      • R451_is_a_Statement

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

        CodeBlockSet R456_has_control_CodeBlock()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R472_executes_block_while_true_Expression

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