Interface I_INSSet

All Superinterfaces:
Collection<I_INS>, io.ciera.runtime.summit.classes.IInstanceSet<I_INSSet,I_INS>, io.ciera.runtime.summit.types.ISet<I_INS>, Iterable<I_INS>, io.ciera.runtime.summit.types.IXtumlType, Set<I_INS>
All Known Implementing Classes:
I_INSSetImpl

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

    • setLabel

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

      void setDefault_Name(String m_Default_Name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setExecution_Engine_ID

      void setExecution_Engine_ID(io.ciera.runtime.summit.types.UniqueId ref_Execution_Engine_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setName

      void setName(String m_Name) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setInst_ID

      void setInst_ID(io.ciera.runtime.summit.types.UniqueId m_Inst_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setCIE_ID

      void setCIE_ID(io.ciera.runtime.summit.types.UniqueId m_CIE_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSMstt_ID

      void setSMstt_ID(io.ciera.runtime.summit.types.UniqueId ref_SMstt_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setTrans_ID

      void setTrans_ID(io.ciera.runtime.summit.types.UniqueId ref_Trans_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSM_ID

      void setSM_ID(io.ciera.runtime.summit.types.UniqueId ref_SM_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2907_has_waiting_PendingEvent

      PendingEventSet R2907_has_waiting_PendingEvent() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2909_has_characteristic_abstracted_by_AttributeValue

      AttributeValueSet R2909_has_characteristic_abstracted_by_AttributeValue() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2915_occupies_StateMachineState

      StateMachineStateSet R2915_occupies_StateMachineState() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2935_is_target_of_PendingEvent

      PendingEventSet R2935_is_target_of_PendingEvent() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2937_sends_PendingEvent

      PendingEventSet R2937_sends_PendingEvent() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2949_monitored_by_Monitor

      MonitorSet R2949_monitored_by_Monitor() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2953_entered_last_state_via_Transition

      TransitionSet R2953_entered_last_state_via_Transition() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2954_provides_context_for_StackFrame

      StackFrameSet R2954_provides_context_for_StackFrame() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2957_created_by_ComponentInstance

      ComponentInstanceSet R2957_created_by_ComponentInstance() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R2958_LinkParticipation

      LinkParticipationSet R2958_LinkParticipation() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException