org.erights.e.elib.slot
Class VoidGuard

java.lang.Object
  |
  +--org.erights.e.elib.slot.BaseGuard
        |
        +--org.erights.e.elib.slot.VoidGuard
All Implemented Interfaces:
Guard, SlotGuard, ValueGuard

public class VoidGuard
extends BaseGuard

Safe: Bound to "void" in the initial environment, it coerces all values to null.

When a method or function does not explicitly specify a return type, the default return type is "void".

Author:
Mark S. Miller

Field Summary
static VoidGuard THE_ONE
          Enabled:
 
Fields inherited from class org.erights.e.elib.slot.BaseGuard
myOptValueGuard
 
Constructor Summary
private VoidGuard()
          prevent external instantiation
 
Method Summary
 Object coerce(Object specimen, OneArgFunc optEjector)
          Enabled: Coerce everything to null.
 String getName()
          Enabled:
 
Methods inherited from class org.erights.e.elib.slot.BaseGuard
__printOn, accepts, and, butNot, coerce, get, makeSlot, makeSlot, not, or, toString, xor
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

THE_ONE

public static final VoidGuard THE_ONE
Enabled:

Constructor Detail

VoidGuard

private VoidGuard()
prevent external instantiation

Method Detail

coerce

public Object coerce(Object specimen,
                     OneArgFunc optEjector)
Enabled: Coerce everything to null.

Specified by:
coerce in interface ValueGuard
Overrides:
coerce in class BaseGuard

getName

public String getName()
Enabled:

Specified by:
getName in interface SlotGuard
Overrides:
getName in class BaseGuard


comments?