org.erights.e.elib.tables
Class ROSet

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

All Implemented Interfaces:

EPrintable, Iteratable, Marker, PassByProxy, Persistent, Serializable

class ROSet

extends ESet

implements PassByProxy

Author:

Mark S. Miller

Field Summary

(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.PassByProxy

HONORARY, HONORED_NAMES

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

HONORARY, HONORED_NAMES

Constructor Summary

private

ROSet(EMap map)

Method Summary

void	__printOn(TextWriter out) Prints as an E list sent the messages '.asSet().readOnly()'
static ROSet	make(EMap map)
ESet	readOnly() Enabled: Returns a read-only facet on this set.

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

and, butNot, contains, diverge, diverge, elementType, getElements, getElements, intersects, iterate, or, or, printOn, size, snapshot, 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

Constructor Detail

ROSet

private ROSet(EMap map)

Method Detail

make

public static ROSet make(EMap map)

readOnly

public ESet readOnly()

Description copied from class: ESet

Enabled: Returns a read-only facet on this set. Someone holding this facet may see changes, but they cannot cause them.

Overrides:

readOnly in class ESet

__printOn

public void __printOn(TextWriter out)
               throws IOException

Prints as an E list sent the messages '.asSet().readOnly()'

Specified by:

__printOn in interface EPrintable

IOException