org.erights.e.elib.tables
Class ConstSet

java.lang.Object
  |
  +--org.erights.e.elib.tables.ESet
        |
        +--org.erights.e.elib.tables.ConstSet

All Implemented Interfaces:

EPrintable, Iteratable, Marker, PassByConstruction, Persistent, Selfless, Serializable

public class ConstSet

extends ESet

implements PassByConstruction, Selfless

Untamed:

See Also:

Serialized Form

Field Summary

static ConstSet	EmptySet Enabled:
(package private) static long	serialVersionUID

Fields inherited from class org.erights.e.elib.tables.ESet

myMap

Fields inherited from interface org.erights.e.elib.serial.PassByConstruction

HONORARY, HONORED_NAMES

Fields inherited from interface org.erights.e.elib.tables.Selfless

HONORARY, HONORED_NAMES

Fields inherited from interface org.erights.e.elib.serial.Persistent

HONORARY, HONORED_NAMES

Constructor Summary

private

ConstSet(ConstMap map)

Method Summary

void	__printOn(TextWriter out) Enabled: Prints as an E list send the message '.asSet()'
double	compareTo(ConstSet other) Enabled: This method enables E's magnitude comparison operators (<, <=, <=>, >=, >) to express subset-ness of these sets.
private ConstMap	getMap()
Object[]	getSpreadUncall() Enabled: Uses 'elementsList asSet()', where the elementsList is as returned by getElements.
static ConstSet	make(ConstMap map) Enabled:
ESet	readOnly() Enabled:
ConstSet	snapshot() Enabled:

Methods inherited from class org.erights.e.elib.tables.ESet

and, butNot, contains, diverge, diverge, elementType, getElements, getElements, intersects, iterate, or, or, printOn, size, sort, sort, toString, with, without

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

static final long serialVersionUID

EmptySet

public static final ConstSet EmptySet

Enabled:

Constructor Detail

ConstSet

private ConstSet(ConstMap map)

Method Detail

make

public static ConstSet make(ConstMap map)

Enabled:

getSpreadUncall

public Object[] getSpreadUncall()

Enabled: Uses 'elementsList asSet()', where the elementsList is as returned by getElements.

Specified by:

getSpreadUncall in interface Selfless

snapshot

public ConstSet snapshot()

Enabled:

Overrides:

snapshot in class ESet

readOnly

public ESet readOnly()

Enabled:

Overrides:

readOnly in class ESet

__printOn

public void __printOn(TextWriter out)
               throws IOException

Enabled: Prints as an E list send the message '.asSet()'

Specified by:

__printOn in interface EPrintable

IOException

getMap

private ConstMap getMap()

compareTo

public double compareTo(ConstSet other)

Enabled: This method enables E's magnitude comparison operators (<, <=, <=>, >=, >) to express subset-ness of these sets.

If this set is a strict subset of other's, return -1.0. If this set has the same elements as other, return 0.0. If this set is a strict superset of other, return 1.0. Otherwise return NaN.