SimpleSlot

From Erights

(Difference between revisions)
Jump to: navigation, search
(describe SimpleSlot)
(move mention of readOnly from VarSlot page)
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>

Revision as of 21:24, 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).

You can obtain a read-only facet on a SimpleSlot via Slot#readOnly/0.

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