SimpleSlot

From Erights

(Difference between revisions)
Jump to: navigation, search
(category)
(describe SimpleSlot)
Line 2: Line 2:
The name is a legacy from when such slots were the unmarked case in Kernel-E (that is, the pattern "foo" created a SimpleSlot).
The name is a legacy from when such slots were the unmarked case in Kernel-E (that is, the pattern "foo" created a SimpleSlot).
-
 
-
You can obtain a read-only facet on a SimpleSlot via [[Slot#readOnly/0]].
 
Maker FQN: <code>org.erights.e.elib.slot.makeSimpleSlot</code>
Maker FQN: <code>org.erights.e.elib.slot.makeSimpleSlot</code>
Line 20: Line 18:
SimpleSlots have no protocol beyond [[Slot]].
SimpleSlots have no protocol beyond [[Slot]].
-
 
-
[[Category:ELib specification]]
 

Revision as of 21:18, 31 March 2008

SimpleSlot is the type of slot which underlies a var pattern. It has a value which can be replaced at any time.

The name is a legacy from when such slots were the unmarked case in Kernel-E (that is, the pattern "foo" created a SimpleSlot).

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

Contents

Maker protocol

asType/0

asType() :Guard

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

run/1

run(value :any) :SimpleSlot

Makes a SimpleSlot with the specified initial value.

Protocol

SimpleSlots have no protocol beyond Slot.

Personal tools
more tools