Package org.erights.e.elib.slot

The built in SlotGuards and ValueGuards, which implement E's variable "declaration" and return type "declaration".

See:
Description

Interface Summary

Auditor	Untamed:
EverReactor	Untamed:
EverReporter	Untamed: Reports new values to subscribed EverReactors.
Guard	Untamed:
Slot	Untamed:
SlotGuard	Untamed: A SlotGuard creates the slot used to implement a variable, and thereby serves as the dynamic equivalent of a variable declaration.
ValueGuard	Untamed: A ValueGuard will either coerce an input to a value that matches some condition, or it will fail.

Class Summary

AnyGuard	Safe: The "any" guard behavior -- don't worry, be happy.
Auditable	Untamed: This is a trusted class, and may only be directly subclassed by classes trusted to play by the rules -- to only pass in a set of approvers that truly do approve of the E-behavior of the instance.
AuditChecker	Untamed: This implements the object available as "__auditedBy" in the universal scope, which represents the lookup facet on the registry of successful audits.
BaseAuditor	Safe: Most Auditors will also double as ValueGuards and SlotGuards in a stereotyped way.
BaseGuard	Safe:
FinalGuard	Safe: The canonical instance, bound to "final" in the initial environment, is a SlotGuard that makes final slots, coercing the permanent value through an optional valueGuard argument, if present.
FinalSlot	Untamed: An immutable slot whose initial value is its only value.
ListGuard	Safe:
MapGuard	Safe:
NullOkGuard	Safe: The canonical instance (THE_ONE) is bound to "nullOk" in the initial environment, and accepts null as a valid value.
RuinedSlot	Untamed: A ruined slot responds to both getValue() and setValue by throwing the problem that explains why it's ruined.
SettableGuard	Safe: The canonical instance is bound to "settable" in the initial environment, and makes SettableSlots that coerce through an optionally provided ValueGuard argument.
SettableSlot	Untamed: A mutable Slot that remembers a current value, and remembers a ValueGuard for coercing new values.
SimpleSlot	Untamed: A coercion-free settable Slot.
SlotDefiner	Untamed: The instance, bound to the name "__defineSlot" in the initial environment, is a SlotGuard that, when asked to make a slot holding a specimen, simply returns the specimen coerced to the type 'Slot'.
TupleGuard	Safe:
UnionGuard	Safe: Composes a sequence of guards to form a union type.
VoidGuard	Safe: Bound to "void" in the initial environment, it coerces all values to null.

Package org.erights.e.elib.slot Description

The built in SlotGuards and ValueGuards, which implement E's variable "declaration" and return type "declaration".

Author:

Mark S. Miller