org.ref_send.log
Class Progressed

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

All Implemented Interfaces:

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

public class Progressed
extends Resolved

Logs progress towards resolution 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

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

Progressed

public Progressed(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