FinalSlot

From Erights

Revision as of 00:29, 24 March 2008 (view source) Zarutian (Talk) (Created page. Is there anything more to add?) ← Previous diff		Latest revision as of 02:33, 2 July 2008 (view source) Kevin Reid (Talk) (category)
Line 1:		Line 1:
-	FinalSlot is an [[Slot]] that aquires its value at creation/definition time and there after always returns that value.	+	[[FinalSlot]] is the type of [[slot]] which underlies a [[final pattern]]. It is [[PassByCopy]]; it is given its value when it is created and cannot be assigned.
-	The :final guard checks if the slot passed is an FinalSlot.	+	Maker FQN: <code>org.erights.e.elib.slot.makeFinalSlot</code>
-	An anology for people that design computer hardware is that defining an FinalSlot is akin to manifacture an ROM containing the	+	The FinalSlot guard is parameterizable with a guard for the value; e.g. <code>makeFinalSlot(1) :FinalSlot[float64] => &lt;&amp; 1.0></code>
-	specified data.	+
		+	== Maker protocol ==
		+
		+	=== asType/0 ===
		+	{{asType|FinalSlot}}
		+
		+	=== run/1 ===
		+	run(value :[[any]]) :FinalSlot
		+
		+	Makes a FinalSlot with the specified value.
		+
		+	[[Category:ELib specification]]

---

Latest revision as of 02:33, 2 July 2008

FinalSlot is the type of slot which underlies a final pattern. It is PassByCopy; it is given its value when it is created and cannot be assigned.

Maker FQN: org.erights.e.elib.slot.makeFinalSlot

The FinalSlot guard is parameterizable with a guard for the value; e.g. makeFinalSlot(1) :FinalSlot[float64] => <& 1.0>

Maker protocol

asType/0

asType() :Guard

Returns the FinalSlot guard, which all products of this maker pass.

run/1

run(value :any) :FinalSlot

Makes a FinalSlot with the specified value.