Interface ACT_SMTSet

    • Method Detail

      • setBlock_ID

        void setBlock_ID​(io.ciera.runtime.summit.types.UniqueId ref_Block_ID)
                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setLineNumber

        void setLineNumber​(int m_LineNumber)
                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setPrevious_Statement_ID

        void setPrevious_Statement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Previous_Statement_ID)
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStatement_ID

        void setStatement_ID​(io.ciera.runtime.summit.types.UniqueId m_Statement_ID)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setStartPosition

        void setStartPosition​(int m_StartPosition)
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setLabel

        void setLabel​(String m_Label)
               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R2941_is_visited_within_scope_of_BlockInStackFrame

        BlockInStackFrameSet R2941_is_visited_within_scope_of_BlockInStackFrame()
                                                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R602_contains_Block

        BlockSet R602_contains_Block()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_BRK

        ACT_BRKSet R603_is_a_ACT_BRK()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_CON

        ACT_CONSet R603_is_a_ACT_CON()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_FIO

        ACT_FIOSet R603_is_a_ACT_FIO()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_SEL

        ACT_SELSet R603_is_a_ACT_SEL()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_AssignToMember

        AssignToMemberSet R603_is_a_AssignToMember()
                                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_BridgeInvocation

        BridgeInvocationSet R603_is_a_BridgeInvocation()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_Control

        ControlSet R603_is_a_Control()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_Create

        CreateSet R603_is_a_Create()
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_CreateNoVariable

        CreateNoVariableSet R603_is_a_CreateNoVariable()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_Delete

        DeleteSet R603_is_a_Delete()
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ElseIfStmt

        ElseIfStmtSet R603_is_a_ElseIfStmt()
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ElseStmt

        ElseStmtSet R603_is_a_ElseStmt()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_EventSpecificationStatement

        EventSpecificationStatementSet R603_is_a_EventSpecificationStatement()
                                                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ForStmt

        ForStmtSet R603_is_a_ForStmt()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_FunctionInvocation

        FunctionInvocationSet R603_is_a_FunctionInvocation()
                                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_GeneratePreexistingEvent

        GeneratePreexistingEventSet R603_is_a_GeneratePreexistingEvent()
                                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_IfStmt

        IfStmtSet R603_is_a_IfStmt()
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_InterfaceOperationInvocation

        InterfaceOperationInvocationSet R603_is_a_InterfaceOperationInvocation()
                                                                        throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_OperationInvocation

        OperationInvocationSet R603_is_a_OperationInvocation()
                                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_Relate

        RelateSet R603_is_a_Relate()
                            throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_RelateUsing

        RelateUsingSet R603_is_a_RelateUsing()
                                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ReturnStmt

        ReturnStmtSet R603_is_a_ReturnStmt()
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_SelectFromInstancesWhere

        SelectFromInstancesWhereSet R603_is_a_SelectFromInstancesWhere()
                                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_SignalInvocation

        SignalInvocationSet R603_is_a_SignalInvocation()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_Unrelate

        UnrelateSet R603_is_a_Unrelate()
                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_UnrelateUsing

        UnrelateUsingSet R603_is_a_UnrelateUsing()
                                          throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_WhileStmt

        WhileStmtSet R603_is_a_WhileStmt()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R661_precedes_ACT_SMT

        ACT_SMTSet R661_precedes_ACT_SMT()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R661_succeeds_ACT_SMT

        ACT_SMTSet R661_succeeds_ACT_SMT()
                                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException