org.abora.gold.traces
Class BoundedTrace

java.lang.Object
  |
  +--org.abora.gold.java.AboraHeaper
        |
        +--org.abora.gold.xpp.basic.Heaper
              |
              +--org.abora.gold.traces.TracePosition
                    |
                    +--org.abora.gold.traces.BoundedTrace

public class BoundedTrace

extends TracePosition

Trace Positions represent absolute coordinates in a tree-ordered space.
The ent navigates to O-roots from H-roots in the northern direction using
TracePositions. Refer to the Ent document for a description of the current
implementation. TracePositions are generated by asking another tracePosition
for a newSuccesor. The starting tracePosition is the initil TraceTree. It
corresponds to branch 1, position 1.

Field Summary

protected BranchDescription	myBranch
protected int	myPosition

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

BoundedTrace(BranchDescription br, int pos)

BoundedTrace(Rcvr receiver)

Method Summary

int	actualHashForEqual() This isn't used now.
BranchDescription	branch() This should only be accessible in this module.
void	cacheIn(PrimIndexTable navCache) Cache the nav-data for the receiver in navCache.
void	inspect()
boolean	isEqual(Heaper another) Return true if the two objects are equal.
boolean	isLE(TracePosition another) Return true if the two positions are comparable and the receiver is less than the argument.
TracePosition	newSuccessor() Return a new successor to the receiver.
TracePosition	newSuccessorAfter(TracePosition trace) Return a new tracePosition that is after both the receiver and tracePos.
int	position() This should only be accessible in this module.
void	printOn(Stream aStream)
void	sendSelfTo(Xmtr xmtr) do nothing
ImmuSet	successors() Return all the successors of the receiver.

Methods inherited from class org.abora.gold.traces.TracePosition

make

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, 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, 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

myBranch

protected BranchDescription myBranch

myPosition

protected int myPosition

Constructor Detail

BoundedTrace

public BoundedTrace(BranchDescription br,
                    int pos)

BoundedTrace

public BoundedTrace(Rcvr receiver)

Method Detail

actualHashForEqual

public int actualHashForEqual()

This isn't used now. It might be later. Hash
based on both the branch and position This hash
uses a couple of arbitrary primes.

Overrides:

actualHashForEqual in class TracePosition

isEqual

public boolean isEqual(Heaper another)

Description copied from class: Heaper

Return true if the two objects are equal.

Overrides:

isEqual in class TracePosition

isLE

public boolean isLE(TracePosition another)

Return true if the two positions are comparable and the receiver is
less than the argument. The argument is put in the cache so that
many comparisons IN THE SAME ORDER will occur very fast. This
could probably check for both tracePositions in the cache for speed
even when the arguments are swapped.

Overrides:

isLE in class TracePosition

branch

public BranchDescription branch()

This should only be accessible in this module.

Overrides:

branch in class TracePosition

cacheIn

public void cacheIn(PrimIndexTable navCache)

Cache the nav-data for the receiver in navCache.

Overrides:

cacheIn in class TracePosition

newSuccessor

public TracePosition newSuccessor()

Return a new successor to the receiver. The first successor is on the same
branch with a higher position. Further successors are alllocated in a
binary-tree fashion along a new branch.

Overrides:

newSuccessor in class TracePosition

newSuccessorAfter

public TracePosition newSuccessorAfter(TracePosition trace)

Return a new tracePosition that is after both the receiver and tracePos.

Overrides:

newSuccessorAfter in class TracePosition

position

public int position()

This should only be accessible in this module.

Overrides:

position in class TracePosition

successors

public ImmuSet successors()

Return all the successors of the receiver.

inspect

public void inspect()

Overrides:

inspect in class AboraHeaper

printOn

public void printOn(Stream aStream)

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Description copied from class: Heaper

do nothing

Overrides:

sendSelfTo in class Heaper