Object Ref
From Erights
Revision as of 14:56, 2 July 2009 by Kevin Reid (Talk | contribs)
Ref is an object available in the universal environment which provides the basic operations on refs other than call and send.
? Ref # value: Ref
Contents |
Protocol
XXX completely specify and test behavior
resolution/1
Observably, this operation returns ref or something indistinguishable from it. If applicable in the implementation, if ref is a forwarder such as a resolved promise, it will return the referent, and any other such applicable optimizations.
fulfillment/1
Requires that ref is fulfilled.
If ref is
- fulfilled (resolved and not broken), then
Ref.fulfillment(ref)
returnsRef.resolution(ref)
. - a promise (unresolved), then
Ref.fulfillment(ref)
throws indicating this. XXX Specify exception type? - broken, then
Ref.fulfillment(ref)
throws its problem.
promise/0
- Signature: promise() :Tuple[Promise, LocalResolver]
The specification for this message has not been written.
broken/1
The specification for this message has not been written.
# Regression test ? Ref.broken(null) # problem: <NullPointerException: Missing problem>
- This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.