org.erights.e.elib.serial
Class PassByConstructionAuditor

java.lang.Object
  |
  +--org.erights.e.elib.slot.BaseGuard
        |
        +--org.erights.e.elib.slot.BaseAuditor
              |
              +--org.erights.e.elib.serial.PassByConstructionAuditor

All Implemented Interfaces:

Auditor, Guard, SlotGuard, ValueGuard

public class PassByConstructionAuditor

extends BaseAuditor

Untamed: The guard and auditor known as "pbc".

Author:

Mark S. Miller

Field Summary

static PassByConstructionAuditor

THE_ONE Enabled:

Fields inherited from class org.erights.e.elib.slot.BaseGuard

myOptValueGuard

Constructor Summary

private

PassByConstructionAuditor()

Method Summary

Object	coerce(Object specimen, OneArgFunc optEjector) Enabled: Coerces specimen to be pass-by-construction, which includes types that are not Java-subtypes of PassByConstruction.
String	getName() Enabled:

Methods inherited from class org.erights.e.elib.slot.BaseAuditor

audit

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 PassByConstructionAuditor THE_ONE

Enabled:

Constructor Detail

PassByConstructionAuditor

private PassByConstructionAuditor()

Method Detail

getName

public String getName()

Enabled:

Specified by:

getName in interface SlotGuard

Overrides:

getName in class BaseGuard

coerce

public Object coerce(Object specimen,
                     OneArgFunc optEjector)

Enabled: Coerces specimen to be pass-by-construction, which includes types that are not Java-subtypes of PassByConstruction.

If the specimen can't be coerced, exit according to optEjector.

Specified by:

coerce in interface ValueGuard

Overrides:

coerce in class BaseAuditor