Interface OperationMessageSet

All Superinterfaces:
Collection<OperationMessage>, io.ciera.runtime.summit.classes.IInstanceSet<OperationMessageSet,OperationMessage>, io.ciera.runtime.summit.types.ISet<OperationMessage>, Iterable<OperationMessage>, io.ciera.runtime.summit.types.IXtumlType, Set<OperationMessage>
All Known Implementing Classes:
OperationMessageSetImpl

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

    • setMsg_ID

      void setMsg_ID(io.ciera.runtime.summit.types.UniqueId ref_Msg_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • setTfr_ID

      void setTfr_ID(io.ciera.runtime.summit.types.UniqueId ref_Tfr_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R1011_is_invocation_of_O_TFR

      O_TFRSet R1011_is_invocation_of_O_TFR() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • R1020_is_a_SynchronousMessage

      SynchronousMessageSet R1020_is_a_SynchronousMessage() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException