Package io.ciera.tool.core.ooaofooa.body

Interface ACT_SMT

  • All Superinterfaces:
    io.ciera.runtime.summit.application.IActionHome<Core>, io.ciera.runtime.summit.statemachine.IEventTarget, io.ciera.runtime.summit.application.IInstanceActionHome<ACT_SMT,​Core>, io.ciera.runtime.summit.classes.IModelInstance<ACT_SMT,​Core>, io.ciera.runtime.summit.types.IXtumlType
    All Known Implementing Classes:
    ACT_SMTImpl
    public interface ACT_SMT
extends io.ciera.runtime.summit.classes.IModelInstance<ACT_SMT,​Core>

    • Method Detail

      • 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

      • getStatement_ID

        io.ciera.runtime.summit.types.UniqueId getStatement_ID()
                                                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • 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

      • getBlock_ID

        io.ciera.runtime.summit.types.UniqueId getBlock_ID()
                                            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

      • getPrevious_Statement_ID

        io.ciera.runtime.summit.types.UniqueId getPrevious_Statement_ID()
                                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • getLineNumber

        int getLineNumber()
           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

      • getStartPosition

        int getStartPosition()
              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

      • getLabel

        String getLabel()
         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • addR2941_is_visited_within_scope_of_BlockInStackFrame

        default void addR2941_is_visited_within_scope_of_BlockInStackFrame​(BlockInStackFrame inst)

      • removeR2941_is_visited_within_scope_of_BlockInStackFrame

        default void removeR2941_is_visited_within_scope_of_BlockInStackFrame​(BlockInStackFrame inst)

      • 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

      • setR602_contains_Block

        default void setR602_contains_Block​(Block inst)

      • R602_contains_Block

        Block R602_contains_Block()
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_ACT_BRK

        default void setR603_is_a_ACT_BRK​(ACT_BRK inst)

      • R603_is_a_ACT_BRK

        ACT_BRK R603_is_a_ACT_BRK()
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_ACT_CON

        default void setR603_is_a_ACT_CON​(ACT_CON inst)

      • R603_is_a_ACT_CON

        ACT_CON R603_is_a_ACT_CON()
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_ACT_FIO

        default void setR603_is_a_ACT_FIO​(ACT_FIO inst)

      • R603_is_a_ACT_FIO

        ACT_FIO R603_is_a_ACT_FIO()
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_ACT_SEL

        default void setR603_is_a_ACT_SEL​(ACT_SEL inst)

      • R603_is_a_ACT_SEL

        ACT_SEL R603_is_a_ACT_SEL()
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_AssignToMember

        default void setR603_is_a_AssignToMember​(AssignToMember inst)

      • R603_is_a_AssignToMember

        AssignToMember R603_is_a_AssignToMember()
                                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_BridgeInvocation

        default void setR603_is_a_BridgeInvocation​(BridgeInvocation inst)

      • R603_is_a_BridgeInvocation

        BridgeInvocation R603_is_a_BridgeInvocation()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_Control

        default void setR603_is_a_Control​(Control inst)

      • R603_is_a_Control

        Control R603_is_a_Control()
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_Create

        default void setR603_is_a_Create​(Create inst)

      • R603_is_a_Create

        Create R603_is_a_Create()
                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_CreateNoVariable

        default void setR603_is_a_CreateNoVariable​(CreateNoVariable inst)

      • R603_is_a_CreateNoVariable

        CreateNoVariable R603_is_a_CreateNoVariable()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_Delete

        default void setR603_is_a_Delete​(Delete inst)

      • R603_is_a_Delete

        Delete R603_is_a_Delete()
                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_ElseIfStmt

        default void setR603_is_a_ElseIfStmt​(ElseIfStmt inst)

      • R603_is_a_ElseIfStmt

        ElseIfStmt R603_is_a_ElseIfStmt()
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_ElseStmt

        default void setR603_is_a_ElseStmt​(ElseStmt inst)

      • R603_is_a_ElseStmt

        ElseStmt R603_is_a_ElseStmt()
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_EventSpecificationStatement

        default void setR603_is_a_EventSpecificationStatement​(EventSpecificationStatement inst)

      • R603_is_a_EventSpecificationStatement

        EventSpecificationStatement R603_is_a_EventSpecificationStatement()
                                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_ForStmt

        default void setR603_is_a_ForStmt​(ForStmt inst)

      • R603_is_a_ForStmt

        ForStmt R603_is_a_ForStmt()
                   throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_FunctionInvocation

        default void setR603_is_a_FunctionInvocation​(FunctionInvocation inst)

      • R603_is_a_FunctionInvocation

        FunctionInvocation R603_is_a_FunctionInvocation()
                                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_GeneratePreexistingEvent

        default void setR603_is_a_GeneratePreexistingEvent​(GeneratePreexistingEvent inst)

      • R603_is_a_GeneratePreexistingEvent

        GeneratePreexistingEvent R603_is_a_GeneratePreexistingEvent()
                                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_IfStmt

        default void setR603_is_a_IfStmt​(IfStmt inst)

      • R603_is_a_IfStmt

        IfStmt R603_is_a_IfStmt()
                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • R603_is_a_InterfaceOperationInvocation

        InterfaceOperationInvocation R603_is_a_InterfaceOperationInvocation()
                                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_OperationInvocation

        default void setR603_is_a_OperationInvocation​(OperationInvocation inst)

      • R603_is_a_OperationInvocation

        OperationInvocation R603_is_a_OperationInvocation()
                                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_Relate

        default void setR603_is_a_Relate​(Relate inst)

      • R603_is_a_Relate

        Relate R603_is_a_Relate()
                 throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_RelateUsing

        default void setR603_is_a_RelateUsing​(RelateUsing inst)

      • R603_is_a_RelateUsing

        RelateUsing R603_is_a_RelateUsing()
                           throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_ReturnStmt

        default void setR603_is_a_ReturnStmt​(ReturnStmt inst)

      • R603_is_a_ReturnStmt

        ReturnStmt R603_is_a_ReturnStmt()
                         throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_SelectFromInstancesWhere

        default void setR603_is_a_SelectFromInstancesWhere​(SelectFromInstancesWhere inst)

      • R603_is_a_SelectFromInstancesWhere

        SelectFromInstancesWhere R603_is_a_SelectFromInstancesWhere()
                                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_SignalInvocation

        default void setR603_is_a_SignalInvocation​(SignalInvocation inst)

      • R603_is_a_SignalInvocation

        SignalInvocation R603_is_a_SignalInvocation()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_Unrelate

        default void setR603_is_a_Unrelate​(Unrelate inst)

      • R603_is_a_Unrelate

        Unrelate R603_is_a_Unrelate()
                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_UnrelateUsing

        default void setR603_is_a_UnrelateUsing​(UnrelateUsing inst)

      • R603_is_a_UnrelateUsing

        UnrelateUsing R603_is_a_UnrelateUsing()
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR603_is_a_WhileStmt

        default void setR603_is_a_WhileStmt​(WhileStmt inst)

      • R603_is_a_WhileStmt

        WhileStmt R603_is_a_WhileStmt()
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR661_precedes_ACT_SMT

        default void setR661_precedes_ACT_SMT​(ACT_SMT inst)

      • R661_precedes_ACT_SMT

        ACT_SMT R661_precedes_ACT_SMT()
                       throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException

      • setR661_succeeds_ACT_SMT

        default void setR661_succeeds_ACT_SMT​(ACT_SMT inst)

      • R661_succeeds_ACT_SMT

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