org.abora.gold.spaces.integers
Class RegionTester

java.lang.Object
  |
  +--org.abora.gold.java.AboraHeaper
        |
        +--org.abora.gold.xpp.basic.Heaper
              |
              +--org.abora.gold.fm.support.Thunk
                    |
                    +--org.abora.gold.testing.Tester
                          |
                          +--org.abora.gold.spaces.integers.RegionTester

Direct Known Subclasses:

CrossTester, FilterTester, IDTester, IntegerRegionTester, RealTester, SequenceTester

public class RegionTester

extends Tester

Field Summary

protected ImmuSet

myExampleRegions

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

RegionTester()

Method Summary

void	allTestsOn(java.io.PrintWriter oo) A regression test is run by calling this method.
void	binaryCheck(XnRegion a, XnRegion b)
ImmuSet	exampleRegions()
ImmuSet	initExamples()
void	restartRegionTester(Rcvr rcvr)
static void	suppressInitTimeInherited()
static void	suppressLinkTimeInherited()
void	testBinaryRegionOpsOn(java.io.PrintWriter oo)
void	testExtraOn(java.io.PrintWriter oo)
void	testUnaryRegionOpsOn(java.io.PrintWriter oo)
void	unaryCheck(XnRegion a)

Methods inherited from class org.abora.gold.testing.Tester

auditionFromMenu, defaultRcString, doLinkTime, execute, fetchTester, getTester, publicClass, runTest, spyTest, tryTest, tryTest

Methods inherited from class org.abora.gold.fm.support.Thunk

actualHashForEqual, isEqual

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

myExampleRegions

protected ImmuSet myExampleRegions

Constructor Detail

RegionTester

public RegionTester()

Method Detail

initExamples

public ImmuSet initExamples()

allTestsOn

public void allTestsOn(java.io.PrintWriter oo)

Description copied from class: Tester

A regression test is run by calling this method. What the tester writes to 'oo' is
actually written to file *o.txt and compared against an approved reference
file (*r.txt) of what this tester once used to output. If they match exactly,
then the test is passed. Otherwise, someone needs to manually understand why
they're different. The diff is in file *d.txt.
It is strongly recommended (in order to avoid regression errors) that when a
tester is extended to test something new that its output also be extended with
some result of the new test. The extended test will then fail the first time. The
programmer should verify that the reason for failure is exactly that the
tester now additionally outputs the correct results of the new test, in which
case this output should be made into the new reference output and the test run
again.

Overrides:

allTestsOn in class Tester

binaryCheck

public void binaryCheck(XnRegion a,
                        XnRegion b)

testBinaryRegionOpsOn

public void testBinaryRegionOpsOn(java.io.PrintWriter oo)

testExtraOn

public void testExtraOn(java.io.PrintWriter oo)

testUnaryRegionOpsOn

public void testUnaryRegionOpsOn(java.io.PrintWriter oo)

unaryCheck

public void unaryCheck(XnRegion a)

exampleRegions

public ImmuSet exampleRegions()

restartRegionTester

public void restartRegionTester(Rcvr rcvr)

suppressInitTimeInherited

public static void suppressInitTimeInherited()

suppressLinkTimeInherited

public static void suppressLinkTimeInherited()