Resolver

From Erights

Revision as of 06:33, 1 June 2007 (view source) Markm (Talk | contribs) m (→resolve/2) ← Previous diff		Revision as of 20:46, 23 March 2008 (view source) Kevin Reid (Talk | contribs) (add protocols category) Next diff →
Line 36:		Line 36:
	{{unspecified message}}		{{unspecified message}}
		+
		+	[[Category:Protocols]]

---

Revision as of 20:46, 23 March 2008

A resolver is an object providing the ability to resolve a promise.

A resolver does not allow retrieving the reference to which a promise has been resolved; in E (but not in ref_send), a resolver allows observing whether resolution has occurred.

Contents 1 Protocol 1.1 resolve/1 1.2 resolveRace/1 1.3 smash/1 1.4 resolve/2 1.5 isDone/0 1.6 gettingCloser/0

Protocol

resolve/1

resolve(resolution) :void

Resolves the promise to resolution, or throws if it is already resolved.

resolveRace/1

resolveRace(_) :Boolean

Resolves the promise to resolution and returns true, or returns false if it is already resolved.

smash/1

smash(problem) :Boolean

Equivalent to resolveRace(Ref.broken(problem)).

resolve/2

resolve(resolution, strict :Boolean) :Boolean

(Deprecated as of 2007-05-30: User:Markm, User:Kevin Reid, and Dean Tribble agree this interface is inferior to resolve/1 and resolveRace/1.)

Resolves the promise to resolution and returns true, or if it is already resolved, returns false if strict is false or throws if it is true.

isDone/0

isDone() :Boolean

Returns whether the promise is already resolved.

gettingCloser/0

gettingCloser() :void

The specification for this message has not been written.