org.abora.gold.spaces.basic
Class SimpleMapping

java.lang.Object
  |
  +--org.abora.gold.java.AboraHeaper
        |
        +--org.abora.gold.xpp.basic.Heaper
              |
              +--org.abora.gold.spaces.basic.Mapping
                    |
                    +--org.abora.gold.spaces.basic.SimpleMapping

public class SimpleMapping

extends Mapping

Field Summary

protected Mapping	myMapping
protected XnRegion	myRegion

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

SimpleMapping(Rcvr receiver)

SimpleMapping(XnRegion region, Mapping mapping)

Method Summary

int	actualHashForEqual()
Mapping	appliedAfter(Dsp dsp) Defined by the equivalence: M->transformedBy(D)->of(R) isEqual (M->of(D->of(R))) for all regions R in the domainSpace of M.
CoordinateSpace	coordinateSpace() the coordinate space of the domain of the Mapping
XnRegion	domain() Essential.
Mapping	fetchCombine(Mapping mapping) if I know how to combine the two into a single mapping, then I do so
Dsp	fetchDsp() if this is a Dsp or a Dsp retricted to some domain, return the underlying Dsp.
Mapping	inverse() Essential.
Position	inverseOf(Position pos) Inverse transform a position.
XnRegion	inverseOfAll(XnRegion reg) Inverse transform of a region. 'a->isEqual (this->of (b))' iff 'b->isEqual (this->inverseOf (a))'.
boolean	isComplete() Essential.
boolean	isEqual(Heaper other) Return true if the two objects are equal.
boolean	isIdentity() Essential.
Mapping	mapping()
Position	of(Position pos) Transform a position.
XnRegion	ofAll(XnRegion reg) Essential.
Mapping	preCompose(Dsp dsp) There is no sensible explanation for what this message does on Mappings which aren't Dsps.
void	printOn(java.io.PrintWriter oo)
XnRegion	range() Essential.
CoordinateSpace	rangeSpace() The coordinate space of the range of the transformation
Mapping	restrict(XnRegion region) Essential.
Mapping	restrictRange(XnRegion region) Restrict the range.
static Mapping	restrictTo(XnRegion region, Mapping mapping)
void	sendSelfTo(Xmtr xmtr) do nothing
ImmuSet	simpleMappings() return a set of simple mappings that would combine to this one
ImmuSet	simpleRegionMappings() return a set of mappings with simple regions as their domains that would combine to this one.
Mapping	transformedBy(Dsp dsp) Defined by the equivalence: M->transformedBy(D)->of(R) isEqual (D->of(M->of(R))) for all regions R in the domainSpace of M.

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

combine, domainSpace, export, info, inverseOfInt, make, make, make, make, make, ofInt, simplerMappings, unrestricted

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

myRegion

protected XnRegion myRegion

myMapping

protected Mapping myMapping

Constructor Detail

SimpleMapping

public SimpleMapping(XnRegion region,
                     Mapping mapping)

SimpleMapping

public SimpleMapping(Rcvr receiver)

Method Detail

appliedAfter

public Mapping appliedAfter(Dsp dsp)

Description copied from class: Mapping

Defined by the equivalence:
M->transformedBy(D)->of(R) isEqual (M->of(D->of(R)))
for all regions R in the domainSpace of M. Equivalent to Dsp::compose, except that it is
between a Mapping and a Dsp.

Overrides:

appliedAfter in class Mapping

coordinateSpace

public CoordinateSpace coordinateSpace()

Description copied from class: Mapping

the coordinate space of the domain of the Mapping

Overrides:

coordinateSpace in class Mapping

domain

public XnRegion domain()

Description copied from class: Mapping

Essential. region in which it is valid.

Overrides:

domain in class Mapping

fetchDsp

public Dsp fetchDsp()

Description copied from class: Mapping

if this is a Dsp or a Dsp retricted to some domain, return the underlying Dsp. Otherwise
NULL.

Overrides:

fetchDsp in class Mapping

isComplete

public boolean isComplete()

Description copied from class: Mapping

Essential. Return true if each Position in the domain is mapped to every Position in the
range.

Overrides:

isComplete in class Mapping

isIdentity

public boolean isIdentity()

Description copied from class: Mapping

Essential. True if this is the identify mapping on the entire space.

Overrides:

isIdentity in class Mapping

preCompose

public Mapping preCompose(Dsp dsp)

Description copied from class: Mapping

There is no sensible explanation for what this message does on Mappings
which aren't Dsps. In the future, we will probably retire this message,
so don't use it.

Overrides:

preCompose in class Mapping

range

public XnRegion range()

Description copied from class: Mapping

Essential. region in which inverse is valid. Same as the region that the domain region
maps to. For you mathematicians, it is the image of the domain under the mapping.

Overrides:

range in class Mapping

rangeSpace

public CoordinateSpace rangeSpace()

Description copied from class: Mapping

The coordinate space of the range of the transformation

Overrides:

rangeSpace in class Mapping

simpleMappings

public ImmuSet simpleMappings()

Description copied from class: Mapping

return a set of simple mappings that would combine to this one

Overrides:

simpleMappings in class Mapping

simpleRegionMappings

public ImmuSet simpleRegionMappings()

Description copied from class: Mapping

return a set of mappings with simple regions as their domains that would combine
to this one.

Overrides:

simpleRegionMappings in class Mapping

transformedBy

public Mapping transformedBy(Dsp dsp)

Description copied from class: Mapping

Defined by the equivalence:
M->transformedBy(D)->of(R) isEqual (D->of(M->of(R)))
for all regions R in the domainSpace of M. Equivalent to Dsp::preCompose, except that it
is between a Mapping and a Dsp.

Overrides:

transformedBy in class Mapping

inverseOf

public Position inverseOf(Position pos)

Description copied from class: Mapping

Inverse transform a position. Must BLAST if there isn't a unique inverse.
'a->isEqual (this->of (b))' iff 'b->isEqual (this->inverseOf (a))'.

Overrides:

inverseOf in class Mapping

inverseOfAll

public XnRegion inverseOfAll(XnRegion reg)

Description copied from class: Mapping

Inverse transform of a region.
'a->isEqual (this->of (b))' iff 'b->isEqual (this->inverseOf (a))'.

Overrides:

inverseOfAll in class Mapping

of

public Position of(Position pos)

Description copied from class: Mapping

Transform a position. 'before' must be a Position of my domain space. Iff 'before' is in
the domain region over which I am defined and it maps to a unique range Position then the
result will be that Position. Otherwise BLAST. For example, if I map 1 to 4, 1 to 5, and 2
to 5 (and nothing else), then this method will yield 5 given 2, but BLAST given anything
else. To find all the values 1 maps to, use the 'ofAll' operation on the singleton region
whose member is 1.

Overrides:

of in class Mapping

ofAll

public XnRegion ofAll(XnRegion reg)

Description copied from class: Mapping

Essential. Transform a region. The result region has exactly those positions which are
the mappings of the positions in 'before'. This must be the case even if these positions
cannot be enumerated. If the mapping for a given position is multiply defined, then (if
that position is in 'before') all position it maps to must be in the result. Because of
this property, the behavior of this method must be taken as really defining the nature of
a particular mapping (with other method's behavior being defined in terms of this one),
despite the fact that it would have been more natural to take Mapping::of(Position *) as
the defining behavior.

Overrides:

ofAll in class Mapping

inverse

public Mapping inverse()

Description copied from class: Mapping

Essential. Return the inverse of this transformation. Considering the Mapping as a set of
pairs (see class comment), return the Dsp which has the mirror image of all my pairs.

Overrides:

inverse in class Mapping

restrict

public Mapping restrict(XnRegion region)

Description copied from class: Mapping

Essential. Restrict the domain. The domain of the result will be the intersection of my
domain and 'region'. Otherwise we are the same.

Overrides:

restrict in class Mapping

restrictRange

public Mapping restrictRange(XnRegion region)

Description copied from class: Mapping

Restrict the range. The range of the result will be the intersection of my range and
'region'. Otherwise we are the same.

Overrides:

restrictRange in class Mapping

printOn

public void printOn(java.io.PrintWriter oo)

Overrides:

printOn in class Heaper

actualHashForEqual

public int actualHashForEqual()

Overrides:

actualHashForEqual in class Mapping

isEqual

public boolean isEqual(Heaper other)

Description copied from class: Heaper

Return true if the two objects are equal.

Overrides:

isEqual in class Heaper

mapping

public Mapping mapping()

fetchCombine

public Mapping fetchCombine(Mapping mapping)

Description copied from class: Mapping

if I know how to combine the two into a single mapping, then I do so

Overrides:

fetchCombine in class Mapping

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Description copied from class: Heaper

do nothing

Overrides:

sendSelfTo in class Heaper

restrictTo

public static Mapping restrictTo(XnRegion region,
                                 Mapping mapping)