org.abora.gold.filter
Class FilterSpace

java.lang.Object
  |
  +--org.abora.gold.java.AboraHeaper
        |
        +--org.abora.gold.xpp.basic.Heaper
              |
              +--org.abora.gold.spaces.basic.CoordinateSpace
                    |
                    +--org.abora.gold.filter.FilterSpace

public class FilterSpace

extends CoordinateSpace

A FilterSpace can be described mathematically as a power space of its baseSpace, i.e. the
set of all subsets of the baseSpace. Each position in a FilterSpace is a Region in the
baseSpace, and each Filter is a set of Regions taken from the baseSpace. See Filter for
more detail.

Field Summary

protected CoordinateSpace

myBaseSpace

Fields inherited from class org.abora.gold.spaces.basic.CoordinateSpace

myAscending, myDescending, myEmptyRegion, myFullRegion, myIdentityDsp

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

FilterSpace(CoordinateSpace base)

Method Summary

int	actualHashForEqual()
Filter	allFilter(XnRegion region) Essential.
Filter	anyFilter(XnRegion baseRegion) Essential.
CoordinateSpace	baseSpace() Essential.
static void	info() {Filter CLIENT} andFilter: baseRegion {XnRegion} {Filter CLIENT} anyFilter: baseRegion {XnRegion} {CoordinateSpace CLIENT} baseSpace {FilterPosition CLIENT} position: baseRegion {XnRegion}
Filter	intersectionFilter(XnRegion region) Essential.
boolean	isEqual(Heaper other) Return true if the two objects are equal.
static Heaper	make(CoordinateSpace base) A FilterSpace on the given base space.
static Heaper	make(Rcvr rcvr)
Filter	notSubsetFilter(XnRegion region) A filter matching any regions that is not a subset of the given region.
Filter	notSupersetFilter(XnRegion region) A filter that matches any region that is not a superset of the given region.
Filter	orFilter(ScruSet subs) A filter that matches any region that any of the filters in the set would have matched.
FilterPosition	position(XnRegion baseRegion) Essential.
void	printOn(java.io.PrintWriter oo)
void	sendFilterSpaceTo(Xmtr xmtr)
void	sendSelfTo(Xmtr xmtr) do nothing
Filter	subsetFilter(XnRegion region) A filter that matches any region that is a subset of the given region.
Filter	supersetFilter(XnRegion region) Essential.

Methods inherited from class org.abora.gold.spaces.basic.CoordinateSpace

ascending, completeMapping, descending, emptyRegion, fetchAscending, fetchDescending, finishCreate, fullRegion, getAscending, getDescending, identityDsp, identityMapping, importMapping, importOrderSpec, importRegion, mapping, mapping, orderSpec, region, verify

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, 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, linkTimeNonInherited, make, makeClassTable, makeFillTable, makeRequestTable, mangle, markChildren, markCount, markInstances, mayBecome, mayBecomeAnySubclassOf, new1, newX, nonCopyVariables, notWorking, pack, packageClasses, packagingCategory, parseExportName, passe, pointerToStaticMember, pointerToStaticMember, pointerToVirtualMember, preorderMax, preorderNumber, PROBLEM, problems, 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, inspect, 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

myBaseSpace

protected CoordinateSpace myBaseSpace

Constructor Detail

FilterSpace

public FilterSpace(CoordinateSpace base)

Method Detail

actualHashForEqual

public int actualHashForEqual()

Overrides:

actualHashForEqual in class CoordinateSpace

isEqual

public boolean isEqual(Heaper other)

Description copied from class: Heaper

Return true if the two objects are equal.

Overrides:

isEqual in class CoordinateSpace

baseSpace

public CoordinateSpace baseSpace()

Essential. The CoordinateSpace of the Regions that are the input to Filters in this
FilterSpace.

printOn

public void printOn(java.io.PrintWriter oo)

Overrides:

printOn in class Heaper

allFilter

public Filter allFilter(XnRegion region)

Essential. A region that matches any region that contains all the Positions in, i.e. is a
superset of, the given region.

anyFilter

public Filter anyFilter(XnRegion baseRegion)

Essential. A filter that matches any region that intersects the given region.

intersectionFilter

public Filter intersectionFilter(XnRegion region)

Essential. A filter that matches any region that intersects the given region.

notSubsetFilter

public Filter notSubsetFilter(XnRegion region)

A filter matching any regions that is not a subset of the given region.

notSupersetFilter

public Filter notSupersetFilter(XnRegion region)

A filter that matches any region that is not a superset of the given region.

orFilter

public Filter orFilter(ScruSet subs)

A filter that matches any region that any of the filters in the set would have matched.

position

public FilterPosition position(XnRegion baseRegion)

Essential. Given a Region in the baseSpace, make a Position which corresponds to it, so
that
filter->hasMember (this->position (baseRegion)) iff filter->match (baseRegion)

subsetFilter

public Filter subsetFilter(XnRegion region)

A filter that matches any region that is a subset of the given region.

supersetFilter

public Filter supersetFilter(XnRegion region)

Essential. A region that matches any region that is a superset of the given region.

sendFilterSpaceTo

public void sendFilterSpaceTo(Xmtr xmtr)

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Description copied from class: Heaper

do nothing

Overrides:

sendSelfTo in class Heaper

make

public static Heaper make(CoordinateSpace base)

A FilterSpace on the given base space.

info

public static void info()

{Filter CLIENT} andFilter: baseRegion {XnRegion}
{Filter CLIENT} anyFilter: baseRegion {XnRegion}
{CoordinateSpace CLIENT} baseSpace
{FilterPosition CLIENT} position: baseRegion {XnRegion}

make

public static Heaper make(Rcvr rcvr)