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
,
SanityChecker
Method Summary |
static void |
main(java.lang.String[] argv)
|
void |
testFailure(PlanTest failed,
java.lang.String reason)
|
void |
trace(java.lang.String message)
|
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 |
traceOut
protected java.io.PrintStream traceOut
numberOfTests
protected int numberOfTests
numberOfPlans
protected int numberOfPlans
failedTests
protected java.util.List failedTests
statSummary
protected SlipStats statSummary
planTestDefaults
protected PlanTestDefaults planTestDefaults
planFromPlans
protected boolean planFromPlans
nameToTestGroup
protected java.util.Map<java.lang.String,PlanTestGroup> nameToTestGroup
AutoTester
public AutoTester()
main
public static void main(java.lang.String[] argv)
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)