org.ref_send.log
Class Fulfilled

java.lang.Object
  org.joe_e.Struct
      org.ref_send.log.Event
          org.ref_send.log.Resolved
              org.ref_send.log.Fulfilled

All Implemented Interfaces:

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

public class Fulfilled
extends Resolved

Logs fulfillment of a promise.

See Also:

Serialized Form

Field Summary

Fields inherited from class org.ref_send.log.Resolved

condition

Fields inherited from class org.ref_send.log.Event

anchor, timestamp, trace

Constructor Summary

Fulfilled(Anchor anchor, java.lang.Long timestamp, Trace trace, 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

Fulfilled

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

Constructs an instance.

Parameters:

anchor - Event.anchor

timestamp - Event.timestamp

trace - Event.trace

condition - Resolved.condition