org.ref_send.log
Class Pipelined

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

All Implemented Interfaces:

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

public class Pipelined
extends SentIf

Logs a conditional send of a message processed at the callee's site.

See Also:

Serialized Form

Field Summary

Fields inherited from class org.ref_send.log.SentIf

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

Pipelined(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

Constructor Detail

Pipelined

public Pipelined(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 - SentIf.condition