org.abora.gold.filter
Class OpenFilter

java.lang.Object
  |
  +--org.abora.gold.java.AboraHeaper
        |
        +--org.abora.gold.xpp.basic.Heaper
              |
              +--org.abora.gold.spaces.basic.XnRegion
                    |
                    +--org.abora.gold.filter.Filter
                          |
                          +--org.abora.gold.filter.OpenFilter

public class OpenFilter

extends Filter

Field Summary

Fields inherited from class org.abora.gold.filter.Filter

myCS

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

CantMixCoordSpacesSignal, EmptyRegionSignal

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

OpenFilter(FilterSpace cs)

OpenFilter(Rcvr receiver)

Method Summary

int	actualHashForEqual()
XnRegion	baseRegion() Essential.
XnRegion	complement() Essential.
XnRegion	fetchSpecialSubset(XnRegion other) return self or other if one is clearly a subset of the other, else NULL
XnRegion	intersect(XnRegion other) Essential.
Stepper	intersectedFilters() Essential.
boolean	isAllFilter() Essential.
boolean	isAnyFilter() Essential.
boolean	isEmpty() Every coordinate space has exactly one empty region.
boolean	isEqual(Heaper other) Two regions are equal iff they contain exactly the same set of positions
boolean	isFull() true if this is the largest possible region in this space -- the region that contains all positions in the space.
static Heaper	make(CoordinateSpace space)
boolean	match(XnRegion region) tell whether a region passes this filter
XnRegion	minus(XnRegion other) The region containing all my position which aren't in other.
Filter	pass(Joint parent) return the simplest filter for looking at the children
void	printOn(java.io.PrintWriter oo)
XnRegion	relevantRegion() The region which is relevant to this filter, i.e.
void	sendSelfTo(Xmtr xmtr) do nothing
Stepper	unionedFilters() Essential.
XnRegion	unionWith(XnRegion other) The result has as members exactly those positions which are members of either of the original two regions.

Methods inherited from class org.abora.gold.filter.Filter

actualStepper, andFilter, andFilterPrivate, asSimpleRegion, closedFilter, combineIntersect, combineIntersect, combineUnion, combineUnion, complexIntersect, complexUnion, coordinateSpace, count, distinctions, distributeIntersect, distributeIntersect, distributeUnion, distributeUnion, doesPass, fetchCanonicalIntersect, fetchCanonicalUnion, fetchIntersect, fetchPairIntersect, fetchPairUnion, fetchSpecialIntersect, fetchSpecialUnion, fetchUnion, filterSpace, getPairIntersect, getPairUnion, hasMember, info, intersectionFilter, isEnumerable, isFinite, isSimple, isSubsetOf, isSwitchedBy, isSwitchedOffBy, isSwitchedOnBy, notSubsetFilter, notSupersetFilter, openFilter, orFilter, orFilterPrivate, simpleRegions, simpleUnion, subsetFilter, supersetFilter

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

asArray, chooseMany, chooseMany, chooseOne, chooseOne, delta, disjointSimpleRegions, disjointSimpleRegions, dox, immuSet, intersects, isDistinction, isEnumerable, mapping, simpleRegions, stepper, stepper, theOne, with, without

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

Constructor Detail

OpenFilter

public OpenFilter(FilterSpace cs)

OpenFilter

public OpenFilter(Rcvr receiver)

Method Detail

complement

public XnRegion complement()

Description copied from class: XnRegion

Essential. Return a region of containing exactly those positions not in this region. The
complement of a distinction must be a distinction.

Overrides:

complement in class Filter

intersect

public XnRegion intersect(XnRegion other)

Description copied from class: XnRegion

Essential. The intersection of two simple regions must be simple. The intersection of two
distinctions must therefore be a simple region. The result has exactly those members which
both the original regions have.

Overrides:

intersect in class Filter

minus

public XnRegion minus(XnRegion other)

Description copied from class: XnRegion

The region containing all my position which aren't in other.

Overrides:

minus in class XnRegion

unionWith

public XnRegion unionWith(XnRegion other)

Description copied from class: XnRegion

The result has as members exactly those positions which are members of either of the
original two regions. No matter how simple the two original regions are, the result may be
non-simple.
The only reason this is called 'unionWith' instead of 'union' is that the latter is a C++
keyword.

Overrides:

unionWith in class Filter

match

public boolean match(XnRegion region)

tell whether a region passes this filter

Overrides:

match in class Filter

pass

public Filter pass(Joint parent)

return the simplest filter for looking at the children

Overrides:

pass in class Filter

actualHashForEqual

public int actualHashForEqual()

Overrides:

actualHashForEqual in class Filter

isAllFilter

public boolean isAllFilter()

Description copied from class: Filter

Essential. Whether this is an 'all' Filter, i.e. it only matches Regions which contain
everything in the baseRegion

Overrides:

isAllFilter in class Filter

isAnyFilter

public boolean isAnyFilter()

Description copied from class: Filter

Essential. Whether this is an 'any' Filter, i.e. it matches Regions which contain anything
in the baseRegion

Overrides:

isAnyFilter in class Filter

isEmpty

public boolean isEmpty()

Description copied from class: XnRegion

Every coordinate space has exactly one empty region. It is the one containing no
positions. It and only it responds 'true' to this message.

Overrides:

isEmpty in class Filter

isEqual

public boolean isEqual(Heaper other)

Description copied from class: XnRegion

Two regions are equal iff they contain exactly the same set of positions

Overrides:

isEqual in class Filter

isFull

public boolean isFull()

Description copied from class: XnRegion

true if this is the largest possible region in this space -- the region that contains all
positions in the space. Note that in a space which has no positions (which is perfectly
valid), the one XuRegion would be both empty (since it has no positions) and full (since
it has all the positions in the space).

Overrides:

isFull in class Filter

printOn

public void printOn(java.io.PrintWriter oo)

Overrides:

printOn in class Heaper

fetchSpecialSubset

public XnRegion fetchSpecialSubset(XnRegion other)

Description copied from class: Filter

return self or other if one is clearly a subset of the other, else NULL

Overrides:

fetchSpecialSubset in class Filter

intersectedFilters

public Stepper intersectedFilters()

Description copied from class: Filter

Essential. Break this up into a bunch of Filters which when intersected (anded) together
give this one. If there is only one sub Filter it will be the receiver; otherwise, the sub
Filters will be simple enough that either they or their complements will return true from
at least one of isAndFilter or isOrFilter. If this is full (i.e. an open filter) then the
stepper will have no elements.

Overrides:

intersectedFilters in class Filter

unionedFilters

public Stepper unionedFilters()

Description copied from class: Filter

Essential. Break this up into a bunch of Filters which when unioned (ored) together give
this one. If there is only one sub Filter it will be the receiver; otherwise, the sub
Filters will be simple enough that either they or their complements will return true from
at least one of isAndFilter or isOrFilter. The sub Filters might not be disjoint Regions.
If this is empty (i.e. a closed filter) then the stepper will have no elements.

Overrides:

unionedFilters in class Filter

baseRegion

public XnRegion baseRegion()

Description copied from class: Filter

Essential. A region in the base space identifying what kind of filter this is. Succeeds
only if this isAnyFilter or isAllFilter.

Overrides:

baseRegion in class Filter

relevantRegion

public XnRegion relevantRegion()

Description copied from class: Filter

The region which is relevant to this filter, i.e. whose presence or absence in a region
can change whether it passes the filter

Overrides:

relevantRegion in class Filter

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Description copied from class: Heaper

do nothing

Overrides:

sendSelfTo in class Filter

make

public static Heaper make(CoordinateSpace space)