Interface ACT_SMTSet

All Superinterfaces:
Collection<ACT_SMT>, io.ciera.runtime.summit.classes.IInstanceSet<ACT_SMTSet,ACT_SMT>, io.ciera.runtime.summit.types.ISet<ACT_SMT>, Iterable<ACT_SMT>, io.ciera.runtime.summit.types.IXtumlType, Set<ACT_SMT>
All Known Implementing Classes:
ACT_SMTSetImpl

public interface ACT_SMTSet extends io.ciera.runtime.summit.classes.IInstanceSet<ACT_SMTSet,ACT_SMT>
  • Method Details

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

      void setLabel(String m_Label) 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
    • setStartPosition

      void setStartPosition(int m_StartPosition) 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