Differences

This shows you the differences between two versions of the page.

--- at:tutorial:appendix [2009/01/29 21:55] – * elisag
+++ at:tutorial:appendix [2009/01/30 16:21] – *minor tvcutsem
@@ Line 472: / Line 472: @@
 <note>
-The implementation of leased object references actually consists of two files: ''/.at.lang.leasedrefs'' and ''/at.lang.leasedrefstrait''. ''leasedrefstrait'' module implements the common behaviour to the different types of leased references. This module is imported in the ''leasedrefs'' module which provides the public API for creating and managing leased object references.
+The implementation of leased object references actually consists of two files: ''/.at.lang.leasedrefs'' and ''/at.lang.leasedrefstrait''. ''leasedrefstrait'' module implements the behaviour common to the different types of leased references. This module is imported in the ''leasedrefs'' module which provides the public API for creating and managing leased object references.
 </note>
 The ''leasedrefs'' module exports language constructs to create three different types of leased object references:
   * ''lease:for:''returns a leased reference that remains valid for the indicated time interval.
-  * ''renewOnCallLease:for:'' returns a leased reference that it is automatically renewed each time the remote object receives a message with the specified time interval.
+  * ''renewOnCallLease:for:'' returns a leased reference that is automatically renewed (with the specified time interval) each time the remote object receives a message.
   * ''singleCallLease:for:'' returns a leased reference that remains valid for only a single method call on the remote object.
-Variations of these constructs are also provided to allow developers to specify the renewal time interval in renew-on-call leased references and the name(s) of the method(s) which expires a single-call leased reference.
+Variations of these constructs are also provided to allow developers to specify the renewal time interval in renew-on-call leased references and the name(s) of the method(s) which trigger expiration of a single-call leased reference.
-The ''leasedrefs'' module also provides the following constructs to explicit manage the lifetime of leased references:
+The ''leasedrefs'' module also provides the following constructs to explicitly manage the lifetime of leased references:
 <code>
-renew: leasedRef for: interval;
+renew: leasedRef for: interval; // renews a lease
-revoke: leasedRef;
+revoke: leasedRef; // revokes a lease
-timeLeft: leasedRef;
+leaseTimeLeft: leasedRef; // return time left until lease expires
+when: lease expired: {...}; // trigger a closure when the lease expires
 </code>
-''when:expired'' construct is provided to schedule clean-up actions with a leased reference upon its expiration.
+The ''when:expired:'' construct is provided to schedule clean-up actions with a leased reference upon its expiration.
 Finally, the ''leasedrefs'' module exports support primitives to manipulate time intervals (i.e. ''minutes'', ''seconds'', ''millisecs'') so that developers do not need to explicitly import the timer module to use leased references.