Slot

(Difference between revisions)

Revision as of 20:45, 23 March 2008

A Slot is an object which provides the behavior of the binding of a noun. "&" in the E language allows working with slots.

A slot can also be considered a zero-dimensional collection, i.e. one which has exactly one element.

get() :any

Returns the current value of this slot.

put(newValue :any) :void

Sets the current value to the (possibly coerced) provided value, if appropriate for this type of slot; throws if not allowed.

isFinal() :boolean

Says whether the Slot acts like a FinalSlot -- successive get()s on the same slot will always give the same value.

Note that final implies read-only, but read-only does not imply final.

readOnly() :Slot

Returns a facet allowing get/0 but not put/1.

@@ Line 6: / Line 6: @@
 * [[FinalSlot]]
-* [[SimpleSlot]]
+* [[VarSlot]]
-* [[GuardedSlot]]
-* [[CoercedSlot]]
 * [[LamportSlot]]
 ==Protocol==
-{{instance msgdoc|get|0||[[any]]}}
+=== get/0 ===
+get() :[[any]]
 Returns the current value of this slot.
-{{instance msgdoc|put|1|<var>newValue</var> :[[any]]|[[void]]}}
+=== put/1 ===
+put(<var>newValue</var> :[[any]]) :[[void]]
 Sets the current value to the (possibly coerced) provided value, if appropriate for this type of slot; [[throw]]s if not allowed.
-{{instance msgdoc|isFinal|0||[[boolean]]}}
+=== isFinal/0 ===
+isFinal() :boolean
 Says whether the Slot acts like a [[FinalSlot]] -- successive <code>[[#get/0|get]]()</code>s on the same slot will always give the same value.
@@ Line 27: / Line 28: @@
 Note that final implies read-only, but read-only does not imply final.
-{{instance msgdoc|readOnly|0||[[Slot]]}}
+=== readOnly/0 ===
+readOnly() :[[Slot]]
 Returns a facet allowing get/0 but not put/1.
-[[Category:Protocols]]
-[[Category:ELib specification]]