Slot - Revision history

Kevin Reid: /* Notable implementations */ add CoercedSlot

Kevin Reid — Sat, 08 Nov 2008 05:00:59 GMT

Notable implementations: add CoercedSlot

New page

A [[Slot]] is an object which provides the behavior of the binding of a noun. "<code>&</code>" 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.

==Notable implementations==

* [[FinalSlot]]
* [[SimpleSlot]]
* [[GuardedSlot]]
* [[CoercedSlot]]
* [[LamportSlot]]

==Protocol==

{{instance msgdoc|get|0||[[any]]}}

Returns the current value of this slot.

{{instance msgdoc|put|1|<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]]}}

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.

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

{{instance msgdoc|readOnly|0||[[Slot]]}}

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

[[Category:Protocols]]
[[Category:ELib specification]]

Kevin Reid: missing paragraph breaks in msgdoc uses

Kevin Reid — Sat, 08 Nov 2008 04:54:26 GMT

missing paragraph breaks in msgdoc uses

←Older revision		Revision as of 04:54, 8 November 2008
Line 13:		Line 13:

	{{instance msgdoc\|get\|0\|\|[[any]]}}		{{instance msgdoc\|get\|0\|\|[[any]]}}
		+
	Returns the current value of this slot.		Returns the current value of this slot.

	{{instance msgdoc\|put\|1\|<var>newValue</var> :[[any]]\|[[void]]}}		{{instance msgdoc\|put\|1\|<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.		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]]}}		{{instance msgdoc\|isFinal\|0\|\|[[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.		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 24:		Line 27:

	{{instance msgdoc\|readOnly\|0\|\|[[Slot]]}}		{{instance msgdoc\|readOnly\|0\|\|[[Slot]]}}
		+
	Returns a facet allowing get/0 but not put/1.		Returns a facet allowing get/0 but not put/1.

	[[Category:Protocols]]		[[Category:Protocols]]
	[[Category:ELib specification]]		[[Category:ELib specification]]

Kevin Reid: elib spec cat

Kevin Reid — Wed, 02 Jul 2008 02:25:33 GMT

elib spec cat

←Older revision		Revision as of 02:25, 2 July 2008
Line 27:		Line 27:

	[[Category:Protocols]]		[[Category:Protocols]]
		+	[[Category:ELib specification]]

Kevin Reid: use instance msgdoc template

Kevin Reid — Wed, 02 Jul 2008 02:23:44 GMT

use instance msgdoc template

←Older revision		Revision as of 02:23, 2 July 2008
Line 12:		Line 12:
	==Protocol==		==Protocol==

-	~~===~~ get/0 ~~===~~	+	{{instance msgdoc\|get\|0\|\|[[any]]}}
-	~~get() :~~[[any]]	+
-		+
	Returns the current value of this slot.		Returns the current value of this slot.

-	~~===~~ put/1 ~~===~~	+	{{instance msgdoc\|put\|1\|<var>newValue</var> :[[any]]\|[[void]]}}
-	~~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.		Sets the current value to the (possibly coerced) provided value, if appropriate for this type of slot; [[throw]]s if not allowed.

-	~~===~~ isFinal/0 ~~===~~	+	{{instance msgdoc\|isFinal\|0\|\|[[boolean]]}}
-	~~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.		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.

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

-	~~===~~ readOnly/0 ~~===~~	+	{{instance msgdoc\|readOnly\|0\|\|[[Slot]]}}
-	~~readOnly() :~~[[Slot]]	+
-		+
	Returns a facet allowing get/0 but not put/1.		Returns a facet allowing get/0 but not put/1.

	[[Category:Protocols]]		[[Category:Protocols]]

Kevin Reid: correct slot type names

Kevin Reid — Mon, 31 Mar 2008 21:18:58 GMT

correct slot type names

←Older revision		Revision as of 21:18, 31 March 2008
Line 6:		Line 6:

	* [[FinalSlot]]		* [[FinalSlot]]
-	* [[~~VarSlot~~]]	+	* [[SimpleSlot]]
		+	* [[GuardedSlot]]
	* [[LamportSlot]]		* [[LamportSlot]]

Kevin Reid: Reverted edits by Zarutian (Talk); changed back to last version by Kevin Reid

Kevin Reid — Mon, 24 Mar 2008 00:06:12 GMT

Reverted edits by Zarutian (Talk); changed back to last version by Kevin Reid

←Older revision		Revision as of 00:06, 24 March 2008
Line 25:		Line 25:

	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.		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.
-	~~<!-- so an FinalSlot acts like an write once read many memory, no? -~~~~ -->~~

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

Zarutian: /* isFinal/0 */ added an hidden comment. You might want to incorporate it into the maintext)

Zarutian — Sun, 23 Mar 2008 22:07:34 GMT

isFinal/0: added an hidden comment. You might want to incorporate it into the maintext)

←Older revision		Revision as of 22:07, 23 March 2008
Line 25:		Line 25:

	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.		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.
		+	<!-- so an FinalSlot acts like an write once read many memory, no? -~~~~ -->

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

Kevin Reid: add protocols category

Kevin Reid — Sun, 23 Mar 2008 20:46:22 GMT

add protocols category

←Older revision		Revision as of 20:46, 23 March 2008
Line 32:		Line 32:

	Returns a facet allowing get/0 but not put/1.		Returns a facet allowing get/0 but not put/1.
		+
		+	[[Category:Protocols]]

Kevin Reid at 20:45, 23 March 2008

Kevin Reid — Sun, 23 Mar 2008 20:45:18 GMT

←Older revision		Revision as of 20:45, 23 March 2008
Line 6:		Line 6:

	* [[FinalSlot]]		* [[FinalSlot]]
-	* [[~~SimpleSlot]]~~	+	* [[VarSlot]]
-	* [[GuardedSlot]]	+
-	* [[CoercedSlot]]	+
	* [[LamportSlot]]		* [[LamportSlot]]

	==Protocol==		==Protocol==

-	~~{{instance msgdoc\|~~get\|0\|\|[[any]]}}	+	=== get/0 ===
		+	get() :[[any]]

	Returns the current value of this slot.		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.		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.		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.		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.		Returns a facet allowing get/0 but not put/1.
-
-	~~[[Category:Protocols]]~~
-	~~[[Category:ELib specification]]~~