org.abora.gold.tumbler
Class SequenceMapping

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.Dsp
                          |
                          +--org.abora.gold.tumbler.SequenceMapping

public class SequenceMapping

extends Dsp

Transforms a Sequence by shifting some amount, and then adding another Sequence to it.

Field Summary

protected IntegerVar	myShift
protected Sequence	myTranslation

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

SequenceMapping(IntegerVar shift, Sequence translation)

SequenceMapping(Rcvr receiver)

Method Summary

Dsp	compose(Dsp dsp) Return the composition of the two Dsps.
CoordinateSpace	coordinateSpace() the coordinate space of the domain and range of the Dsp
static void	info() {IntegerVar CLIENT} shift {Sequence CLIENT} translation
Mapping	inverse() Return the inverse of this transformation.
Dsp	inverseCompose(Dsp dsp) Return the composition of my inverse with the other. a->inverseCompose(b) ->isEqual (a->inverse()->compose(b))
Position	inverseOf(Position position) Since Dsps always represent a unique mapping in either direction, the permission to BLAST in the Mapping constract no longer applies. a->inverseOf(b) ->isEqual (a->inverse()->of(b))
XnRegion	inverseOfAll(XnRegion reg) Inverse transform a region.
boolean	isIdentity() Says whether this Dsp maps every Position onto itself
static Heaper	make(IntegerVar shift, Sequence translation)
Dsp	minus(Dsp dsp) Return the difference of the two Dsps. (a->compose(b) ->minus(b))->isEqual (a)
Position	of(Position position) Since Dsps always represent a unique mapping in either direction, the permission to BLAST in the Mapping constract no longer applies.
XnRegion	ofAll(XnRegion reg) If 'reg' is a simple region, then the result must also be simple
void	sendSelfTo(Xmtr xmtr) do nothing
IntegerVar	shift() The amount by which it shifts a sequence
Sequence	translation() What it adds to a sequence after shifting it

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

appliedAfter, domain, fetchCombine, fetchDsp, isComplete, preCompose, range, rangeSpace, restrict, restrictRange, simpleMappings, simpleRegionMappings, transformedBy

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

actualHashForEqual, combine, domainSpace, export, 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, isEqual, 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, printOn, 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

myShift

protected IntegerVar myShift

myTranslation

protected Sequence myTranslation

Constructor Detail

SequenceMapping

public SequenceMapping(IntegerVar shift,
                       Sequence translation)

SequenceMapping

public SequenceMapping(Rcvr receiver)

Method Detail

coordinateSpace

public CoordinateSpace coordinateSpace()

Description copied from class: Dsp

the coordinate space of the domain and range of the Dsp

Overrides:

coordinateSpace in class Dsp

isIdentity

public boolean isIdentity()

Description copied from class: Dsp

Says whether this Dsp maps every Position onto itself

Overrides:

isIdentity in class Dsp

shift

public IntegerVar shift()

The amount by which it shifts a sequence

translation

public Sequence translation()

What it adds to a sequence after shifting it

inverseOf

public Position inverseOf(Position position)

Description copied from class: Dsp

Since Dsps always represent a unique mapping in either direction, the permission to BLAST
in the Mapping constract no longer applies.
a->inverseOf(b) ->isEqual (a->inverse()->of(b))

Overrides:

inverseOf in class Dsp

inverseOfAll

public XnRegion inverseOfAll(XnRegion reg)

Description copied from class: Dsp

Inverse transform a region. A simple region must yield a simple region.
a->inverseOfAll(b) ->isEqual (a->inverseAll()->of(b))

Overrides:

inverseOfAll in class Dsp

of

public Position of(Position position)

Description copied from class: Dsp

Since Dsps always represent a unique mapping in either direction, the permission to BLAST
in the Mapping constract no longer applies.

Overrides:

of in class Dsp

ofAll

public XnRegion ofAll(XnRegion reg)

Description copied from class: Dsp

If 'reg' is a simple region, then the result must also be simple

Overrides:

ofAll in class Dsp

compose

public Dsp compose(Dsp dsp)

Return the composition of the two Dsps. Two Dsps of the same space are always composable.
(a->compose(b) ->minus(b))->isEqual (a)
(a->compose(b) ->of(pos))->isEqual (a->of (b->of (pos))

Overrides:

compose in class Dsp

inverse

public Mapping inverse()

Description copied from class: Dsp

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

Overrides:

inverse in class Dsp

inverseCompose

public Dsp inverseCompose(Dsp dsp)

Description copied from class: Dsp

Return the composition of my inverse with the other.
a->inverseCompose(b) ->isEqual (a->inverse()->compose(b))

Overrides:

inverseCompose in class Dsp

minus

public Dsp minus(Dsp dsp)

Description copied from class: Dsp

Return the difference of the two Dsps.
(a->compose(b) ->minus(b))->isEqual (a)

Overrides:

minus in class Dsp

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Description copied from class: Heaper

do nothing

Overrides:

sendSelfTo in class Heaper

make

public static Heaper make(IntegerVar shift,
                          Sequence translation)

info

public static void info()

{IntegerVar CLIENT} shift
{Sequence CLIENT} translation