org.abora.white.collection.sets
Class EmptyImmuSet

java.lang.Object
  |
  +--org.abora.white.xpp.basic.Heaper
        |
        +--org.abora.white.collection.sets.ScruSet
              |
              +--org.abora.white.collection.sets.ImmuSet
                    |
                    +--org.abora.white.collection.sets.EmptyImmuSet

public class EmptyImmuSet

extends ImmuSet

Field Summary

Fields inherited from class org.abora.white.collection.sets.ImmuSet

EmptySet

Constructor Summary

protected

EmptyImmuSet()

Method Summary

MuSet	asMuSet() Return a Mu whose initial state is the same as my current state, but which will now deviate independently of me.
IntegerValue	count() How many elements are currently in the set.
void	destroy() Don't destroy our single instance
void	destruct() This object is a canonical single instance, so its destructor should only be called after main has exited.
boolean	hasMember(Heaper someone) Is someone a member of the set now?
ImmuSet	intersect(ScruSet another) Regular set intersection.
boolean	isEmpty() Return true if this set does not currently have any elements.
boolean	isSubsetOf(ScruSet another) Whether another currently has all my elements
static Heaper	make(Rcvr rcvr)
ImmuSet	minus(ScruSet another) Return an ImmuSet containing those of my members which aren't members of 'another'
void	sendSelfTo(Xmtr xmtr)
Stepper	stepper() Returns a stepper which will enumerate all the elements of the set in some unspecified order
Heaper	theOne() Iff I contain exactly one member, return it.
ImmuSet	unionWith(ScruSet another) Return an ImmuSet containing those objects with are members of either of us
ImmuSet	with(Heaper anElement) 'set->with (anElement)' means the same as 'set->unionWith (immuSet (anElement))'.
ImmuSet	without(Heaper anElement) 'set->without (anElement)' means the same as 'set->minus (immuSet (anElement))'.

Methods inherited from class org.abora.white.collection.sets.ImmuSet

actualHashForEqual, asImmuSet, copy, from, isEqual, make, make, newWith

Methods inherited from class org.abora.white.collection.sets.ScruSet

asArray, contentsEqual, contentsHash, intersects, printOn, printOnWithSimpleSyntax, printOnWithSyntax

Methods inherited from class org.abora.white.xpp.basic.Heaper

equals, hashForEqual, printContentsOn, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

EmptyImmuSet

protected EmptyImmuSet()

Method Detail

make

public static Heaper make(Rcvr rcvr)

count

public IntegerValue count()

Description copied from class: ScruSet

How many elements are currently in the set. Being a set, if the same element is put into the set twice, it is only in the set once. 'Same' above is according to 'isEqual'.

Specified by:

count in class ImmuSet

stepper

public Stepper stepper()

Description copied from class: ScruSet

Returns a stepper which will enumerate all the elements of the set in some unspecified order

Specified by:

stepper in class ImmuSet

theOne

public Heaper theOne()

Description copied from class: ScruSet

Iff I contain exactly one member, return it. Otherwise BLAST. The idea for this message is taken from the THE function of ONTIC (reference McAllester)

Overrides:

theOne in class ScruSet

with

public ImmuSet with(Heaper anElement)

Description copied from class: ImmuSet

'set->with (anElement)' means the same as 'set->unionWith (immuSet (anElement))'. It returns an ImmuSet with all my members and having anElement as a member. If anElement is a member of me, then the result is identical to me.

Specified by:

with in class ImmuSet

without

public ImmuSet without(Heaper anElement)

Description copied from class: ImmuSet

'set->without (anElement)' means the same as 'set->minus (immuSet (anElement))'. It returns an ImmuSet with all my members except anElement. If anElement isn't already a member, then the result is identical to me.

Specified by:

without in class ImmuSet

hasMember

public boolean hasMember(Heaper someone)

Description copied from class: ScruSet

Is someone a member of the set now?

Specified by:

hasMember in class ImmuSet

isEmpty

public boolean isEmpty()

Description copied from class: ScruSet

Return true if this set does not currently have any elements.

Specified by:

isEmpty in class ImmuSet

Returns:

true if this set does not currently have any elements.

isSubsetOf

public boolean isSubsetOf(ScruSet another)

Description copied from class: ScruSet

Whether another currently has all my elements

Overrides:

isSubsetOf in class ScruSet

intersect

public ImmuSet intersect(ScruSet another)

Description copied from class: ImmuSet

Regular set intersection. Return an ImmuSet containing only those objects which are members of both sets

Specified by:

intersect in class ImmuSet

minus

public ImmuSet minus(ScruSet another)

Description copied from class: ImmuSet

Return an ImmuSet containing those of my members which aren't members of 'another'

Specified by:

minus in class ImmuSet

unionWith

public ImmuSet unionWith(ScruSet another)

Description copied from class: ImmuSet

Return an ImmuSet containing those objects with are members of either of us

Specified by:

unionWith in class ImmuSet

asMuSet

public MuSet asMuSet()

Description copied from class: ScruSet

Return a Mu whose initial state is the same as my current state, but which will now deviate independently of me. In terms of the Stamp/Bert analogy mentioned in the class comment, asMuSet is like asking for a new Bert starting on the current Stamp.

Specified by:

asMuSet in class ImmuSet

destroy

public void destroy()

Don't destroy our single instance

Overrides:

destroy in class Heaper

destruct

public void destruct()

This object is a canonical single instance, so its destructor should only be called after main has exited.

Overrides:

destruct in class Heaper

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Overrides:

sendSelfTo in class Heaper