org.erights.e.elib.slot
Class FinalSlot

java.lang.Object
  |
  +--org.erights.e.elib.slot.FinalSlot

All Implemented Interfaces:

Slot

public final class FinalSlot

extends Object

implements Slot

Untamed: An immutable slot whose initial value is its only value.

Author:

Mark S. Miller

Field Summary

private Object

myValue

Constructor Summary

(package private)

FinalSlot(Object initValue)

Method Summary

void	__printOn(TextWriter out) Enabled:
Object	getValue() Enabled: @return the value this slot is immutably bound to.
void	setValue(Object newValue) Enabled: Complains that the variable is immutable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

myValue

private final Object myValue

Constructor Detail

FinalSlot

FinalSlot(Object initValue)

Method Detail

getValue

public Object getValue()

Enabled: @return the value this slot is immutably bound to.

Specified by:

getValue in interface Slot

setValue

public void setValue(Object newValue)

Enabled: Complains that the variable is immutable

Specified by:

setValue in interface Slot

__printOn

public void __printOn(TextWriter out)
               throws IOException

Enabled:

IOException