org.abora.gold.collection.sets
Class TinyImmuSet

java.lang.Object
  |
  +--org.abora.gold.java.AboraHeaper
        |
        +--org.abora.gold.xpp.basic.Heaper
              |
              +--org.abora.gold.collection.sets.ScruSet
                    |
                    +--org.abora.gold.collection.sets.ImmuSet
                          |
                          +--org.abora.gold.collection.sets.TinyImmuSet

public class TinyImmuSet

extends ImmuSet

This is an efficient implementation of ImmuSets for zero and one element sets.

Field Summary

protected Heaper

elementInternal

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

EmptySet

Fields inherited from class org.abora.gold.xpp.basic.Heaper

AllBlasts, BecomeMap, GarbageCount, InGC, InitializedClasses, InitializingClasses, LastMemory, NextClientRequestNumber, NotOneElementSignal, PackageTable, PromiseNameTable, StringHashSBoxes

Fields inherited from class org.abora.gold.java.AboraHeaper

ActiveClubs, CurrentAuthor, CurrentBertCanopyCache, CurrentBertCrum, CurrentChunk, CurrentGrandMap, CurrentKeyMaster, CurrentPacker, CurrentSensorCanopyCache, CurrentServer, CurrentSession, CurrentSessions, CurrentTrace, InitialEditClub, InitialOwner, InitialReadClub, InitialSponsor, InsideTransactionFlag

Constructor Summary

TinyImmuSet(Heaper only)
Initialize a singleton immuset

TinyImmuSet(Rcvr receiver)

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.
IntegerVar	count() How many elements are currently in the set.
boolean	hasMember(Heaper someone) Is someone a member of the set now?
ImmuSet	intersect(ScruSet another) Regular set intersection.
boolean	isEmpty() Whether it currently has any elements
boolean	isSubsetOf(ScruSet another) Whether another currently has all my elements
static Heaper	make(Heaper aHeaper)
ImmuSet	minus(ScruSet another) Return an ImmuSet containing those of my members which aren't members of 'another'
void	sendSelfTo(Xmtr xmtr) do nothing
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))'. 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.
ImmuSet	without(Heaper anElement) 'set->without (anElement)' means the same as 'set->minus (immuSet (anElement))'. It returns an ImmuSet with all my members except anElement.

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

actualHashForEqual, asImmuSet, copy, create, from, initTimeNonInherited, isEqual, linkTimeNonInherited, make, make, make, newWith

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

asArray, asOrderedCollection, contentsEqual, contentsHash, dox, inspect, intersects, printOn, printOnWithSimpleSyntax, printOnWithSyntax, problems

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

abstractDeclarationFor, abstractTypeFor, addMethodAttributeToInOf, addPackage, addPackageCategory, allClientProtocolOn, argumentTypesFor, arrow, blast, blast, BLAST, cachePromiseNameTable, cachePromiseNameTableIn, canYouBecome, cast, cleanPromiseClasses, cleanupGarbage, clientClassesDo, clientFunctionsOn, clientMethodsOn, clientProtocol, clientProtocolDo, clientProtocolOn, clientProtocolOn, collectibleClasses, compare, compileClientSubclasses, compileConstantPromiseMethods, compileCreateFromRcvr, compileEQ, compileGeneratedClassMethod, compileGeneratedMethod, compileHook, compilePromise, compilePromiseDefaultMethods, compilePromiseFluidDeclarations, compilePromiseHandlers, compilePromiseMethods, compileRequestCreateMsgInArguments, compileRequestEvaluateMsgInReturningArguments, compileRPCSpecialistEvaluateMsgForReturningArguments, compileSendSelfTo, compileSendSelfToSendHook, compileStubbleMethods, compileSubclassStubbleMethods, computeMangle, computePreorder, constantTypeValue, convert, convertCopyDeclarations, convertDeferredDeclarations, convertProxyDeclarations, convertSubclassCopyDeclarations, convertSubclassDeferredDeclarations, convertSubclassProxyDeclarations, copyReferencesToType, create, create, create, create, create, create, create, create, create, createRequestClassArguments, definesProxyMethods, delete, deref, destroy, destruct, destructor, enum, enumFlags, equals, exportName, fetchAttribute, fetchPackage, fetchSuperCategory, fileOutClientProtocol, findCategory, findSenderAndReceiverMethods, findTailInto, flushPromiseNameTable, foo, freezeClientClasses, freezeClientProtocol, freezeStProtocol, frozenClasses, garbageCollect, garbageCollectFrom, gcOpportunity, gcOpportunity, generatedCategory, generatePromiseNames, getCategory, getOrMakePackage, getSuperCategory, handlerSignaturesFrom, hash, hashForEqual, hasProxyMethods, info_clientClasses, info_clientSideClasses, info_promiseClasses, info_stProtocol, inGC, initializedClasses, initializingClasses, initPackages, initStringHashSBoxes, inspectPieces, instanceSize, IntegerVar, isByProxy, isConstructed, isDestructed, isEqualOrSubclassOf, isGenerated, isIntType, isKindOf, isRawType, isUnlocked, makeClassTable, makeFillTable, makeRequestTable, mangle, markChildren, markCount, markInstances, mayBecome, mayBecomeAnySubclassOf, new1, newX, nonCopyVariables, notWorking, pack, packageClasses, packagingCategory, parseExportName, passe, pointerToStaticMember, pointerToStaticMember, pointerToVirtualMember, preorderMax, preorderNumber, PROBLEM, promiseClass, promiseDefaultValue, promiseName, promiseNameTable, promiseToAbstract, registerPackageCategory, removeGeneratedCode, removeStubbleMethods, removeSubclassGeneratedCode, removeSubclassStubbleMethods, requestProcedure, requestProceduresFrom, returnTypeFor, rootName, scheduleTermination, sendProxyTo, serverNameFor, setGC, signal, signals, smalltalkSelector, stClientProtocol, stubbleSelectorTokenReturnsArguments, subclassNonCopyVariables, takeOop, togglePromiseName, togglePromiseOfParse, unimplemented, unmangle, verifyFreeze, wipeStubble

Methods inherited from class org.abora.gold.java.AboraHeaper

asOop, basicInspect, displayString, error, hack, halt, knownBug, mightNotImplement, REQUIRES, shouldImplement, shouldNotImplement, stubbleForSubclassResponsibility, thingToDo, willNotImplement

Methods inherited from class java.lang.Object

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

Field Detail

elementInternal

protected Heaper elementInternal

Constructor Detail

TinyImmuSet

public TinyImmuSet(Heaper only)

Initialize a singleton immuset

TinyImmuSet

public TinyImmuSet(Rcvr receiver)

Method Detail

count

public IntegerVar 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'.

Overrides:

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

Overrides:

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.

Overrides:

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.

Overrides:

without in class ImmuSet

hasMember

public boolean hasMember(Heaper someone)

Description copied from class: ScruSet

Is someone a member of the set now?

Overrides:

hasMember in class ImmuSet

isEmpty

public boolean isEmpty()

Description copied from class: ScruSet

Whether it currently has any elements

Overrides:

isEmpty in class ImmuSet

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

Overrides:

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'

Overrides:

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

Overrides:

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.

Overrides:

asMuSet in class ImmuSet

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Description copied from class: Heaper

do nothing

Overrides:

sendSelfTo in class Heaper

make

public static Heaper make(Heaper aHeaper)