ix.iplan
Class AutoTester
java.lang.Object
ix.iplan.AutoTester
public class AutoTester
- extends java.lang.Object
Runs a list of PlanTest
s.
This class is based on parts of O-Plan.
- See Also:
PlanCheckingSimulator
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
traceOut
protected java.io.PrintStream traceOut
numberOfPlans
protected int numberOfPlans
failedTests
protected java.util.List failedTests
statSummary
protected SlipStats statSummary
planTestDefaults
protected PlanTestDefaults planTestDefaults
planFromPlans
protected boolean planFromPlans
AutoTester
public AutoTester()
main
public static void main(java.lang.String[] argv)
setPlanTestDefaults
void setPlanTestDefaults(PlanTestDefaults defaults)
setPlanFromPlans
void setPlanFromPlans(boolean v)
runTestList
void runTestList(java.util.List tests)
recordFailure
void recordFailure(PlanTest failed)
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)
testFailure
public void testFailure(PlanTest failed,
java.lang.String reason)
readTestList
java.util.List readTestList(java.lang.String resourceName)
makeTestPlanner
Slip makeTestPlanner(PlanTest test)
fullDomainName
java.lang.String fullDomainName(PlanTest test)