ix.iplan
Class AutoTester

java.lang.Object
  extended by ix.iplan.AutoTester

public class AutoTester
extends java.lang.Object

Runs a list of PlanTests.

This class is based on parts of O-Plan.

See Also:
PlanCheckingSimulator, SanityChecker

Nested Class Summary
 class AutoTester.TestRunner
          Conducts a plan-test.
 
Field Summary
protected  java.util.Map<PlanTest,java.lang.String> failureReasons
           
protected  java.util.Map<java.lang.String,PlanTestGroup> nameToTestGroup
           
protected  int numberOfPlans
           
protected  int numberOfTests
           
protected  boolean planFromPlans
           
protected  PlanTestDefaults planTestDefaults
           
protected  SlipStats statSummary
           
protected  java.lang.String testDomain
           
protected  boolean toPlanAndBack
           
protected  java.io.PrintStream traceOut
           
 
Constructor Summary
AutoTester()
           
 
Method Summary
 void definePlanTestGroup(PlanTestGroup group)
           
 PlanTestGroup getPlanTestGroup(java.lang.String name)
           
static void main(java.lang.String[] argv)
           
 Slip makeTestPlanner(PlanTest test)
           
 java.util.List readTestList(java.lang.String resourceName)
           
 void recordFailure(PlanTest failed, java.lang.String reason)
           
 void runTestList(java.util.List tests)
           
 void setPlanFromPlans(boolean v)
           
 void setPlanTestDefaults(PlanTestDefaults defaults)
           
 void setTestDomain(java.lang.String name)
           
 void testFailure(PlanTest failed, java.lang.String reason)
           
 void testLoop(java.util.List tests)
           
 void trace(java.lang.String message)
           
 void traceEnsureNL()
           
 void traceln(java.lang.String message)
           
 void traceln(java.lang.String message, java.lang.Object obj)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

traceOut

protected java.io.PrintStream traceOut

numberOfTests

protected int numberOfTests

numberOfPlans

protected int numberOfPlans

failureReasons

protected java.util.Map<PlanTest,java.lang.String> failureReasons

statSummary

protected SlipStats statSummary

planTestDefaults

protected PlanTestDefaults planTestDefaults

nameToTestGroup

protected java.util.Map<java.lang.String,PlanTestGroup> nameToTestGroup

planFromPlans

protected boolean planFromPlans

toPlanAndBack

protected boolean toPlanAndBack

testDomain

protected java.lang.String testDomain
Constructor Detail

AutoTester

public AutoTester()
Method Detail

main

public static void main(java.lang.String[] argv)

setPlanTestDefaults

public void setPlanTestDefaults(PlanTestDefaults defaults)

setPlanFromPlans

public void setPlanFromPlans(boolean v)

setTestDomain

public void setTestDomain(java.lang.String name)

definePlanTestGroup

public void definePlanTestGroup(PlanTestGroup group)

getPlanTestGroup

public PlanTestGroup getPlanTestGroup(java.lang.String name)

runTestList

public void runTestList(java.util.List tests)

testLoop

public void testLoop(java.util.List tests)

recordFailure

public void recordFailure(PlanTest failed,
                          java.lang.String reason)

trace

public void trace(java.lang.String message)

traceln

public void traceln(java.lang.String message)

traceln

public void traceln(java.lang.String message,
                    java.lang.Object obj)

traceEnsureNL

public void traceEnsureNL()

testFailure

public void testFailure(PlanTest failed,
                        java.lang.String reason)

readTestList

public java.util.List readTestList(java.lang.String resourceName)

makeTestPlanner

public Slip makeTestPlanner(PlanTest test)