Interface StatementSet

    • Method Detail

      • setPrefix

        void setPrefix​(String m_prefix)
                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setOal

        void setOal​(String m_oal)
             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
      • setNext_statement_number

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

        void setStatement_number​(String m_statement_number)
                          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
      • setParent_name

        void setParent_name​(String ref_parent_name)
                     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
      • R450_is_contained_by_CodeBlock

        CodeBlockSet R450_is_contained_by_CodeBlock()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_BreakSmt

        BreakSmtSet R451_is_a_BreakSmt()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_ContinueSmt

        ContinueSmtSet R451_is_a_ContinueSmt()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_DeleteSmt

        DeleteSmtSet R451_is_a_DeleteSmt()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_ExpressionAsStatement

        ExpressionAsStatementSet R451_is_a_ExpressionAsStatement()
                                                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_ForSmt

        ForSmtSet R451_is_a_ForSmt()
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_Generate

        GenerateSet R451_is_a_Generate()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_Halt

        HaltSet R451_is_a_Halt()
                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_IfSmt

        IfSmtSet R451_is_a_IfSmt()
                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_NullSmt

        NullSmtSet R451_is_a_NullSmt()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_RelateSmt

        RelateSmtSet R451_is_a_RelateSmt()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_ReturnSmt

        ReturnSmtSet R451_is_a_ReturnSmt()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_UnrelateSmt

        UnrelateSmtSet R451_is_a_UnrelateSmt()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R451_is_a_WhileSmt

        WhileSmtSet R451_is_a_WhileSmt()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R457_declares_Variable

        VariableSet R457_declares_Variable()
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R477_executes_after_Statement

        StatementSet R477_executes_after_Statement()
                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R477_executes_before_Statement

        StatementSet R477_executes_before_Statement()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R485_finalizes_Finalization

        FinalizationSet R485_finalizes_Finalization()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R775_may_contain_Expression

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