org.ref_send.log
Class SentIf

java.lang.Object
  org.joe_e.Struct
      org.ref_send.log.Event
          org.ref_send.log.Sent
              org.ref_send.log.SentIf

All Implemented Interfaces:

java.io.Serializable, Immutable, Powerless, Selfless, Record

Direct Known Subclasses:

Pipelined

public class SentIf
extends Sent

Logs a conditional message send.

This kind of event is produced for a send to a promise, such as happens for a when block, or eventual invocation. The Sent.message identifies the queued message, and the condition identifies the promise the message is queued on.

See Also:

Resolved, Serialized Form

Field Summary

java.lang.String

condition globally unique identifier for the condition

Fields inherited from class org.ref_send.log.Sent

message

Fields inherited from class org.ref_send.log.Event

anchor, timestamp, trace

Constructor Summary

SentIf(Anchor anchor, java.lang.Long timestamp, Trace trace, java.lang.String message, java.lang.String condition)
Constructs an instance.

Method Summary

Methods inherited from class org.joe_e.Struct

equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.joe_e.Selfless

hashCode

Field Detail

condition

public final java.lang.String condition

globally unique identifier for the condition

Constructor Detail

SentIf

public SentIf(Anchor anchor,
              java.lang.Long timestamp,
              Trace trace,
              java.lang.String message,
              java.lang.String condition)

Constructs an instance.

Parameters:

anchor - Event.anchor

timestamp - Event.timestamp

trace - Event.trace

message - Sent.message

condition - condition