Interface SEMEventSet

All Superinterfaces:
Collection<SEMEvent>, io.ciera.runtime.summit.classes.IInstanceSet<SEMEventSet,SEMEvent>, io.ciera.runtime.summit.types.ISet<SEMEvent>, Iterable<SEMEvent>, io.ciera.runtime.summit.types.IXtumlType, Set<SEMEvent>
All Known Implementing Classes:
SEMEventSetImpl

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

    • setSMspd_IDdeprecated

      void setSMspd_IDdeprecated(io.ciera.runtime.summit.types.UniqueId m_SMspd_IDdeprecated) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setSMevt_ID

      void setSMevt_ID(io.ciera.runtime.summit.types.UniqueId ref_SMevt_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
    • R503_is_received_by_StateEventMatrixEntry

      StateEventMatrixEntrySet R503_is_received_by_StateEventMatrixEntry() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R525_is_a_StateMachineEvent

      StateMachineEventSet R525_is_a_StateMachineEvent() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R526_is_a_LocalEvent

      LocalEventSet R526_is_a_LocalEvent() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R526_is_a_NonLocalEvent

      NonLocalEventSet R526_is_a_NonLocalEvent() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R526_is_a_SignalEvent

      SignalEventSet R526_is_a_SignalEvent() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException