public class ExecutionTester
extends java.lang.Object
Constructor and Description |
---|
ExecutionTester() |
Modifier and Type | Method and Description |
---|---|
void |
exceptionCaught(java.lang.Throwable thrown)
called by the model listener so that Junit tests can handle the exception
gracefully
|
java.util.Collection<java.lang.Throwable> |
test(java.net.URL url,
java.util.Map<java.lang.String,java.util.Collection<java.lang.String>> productionSequenceMap,
java.util.Map<java.lang.String,java.util.Collection<java.lang.String>> failedProductionMap)
test run.
|
java.util.Collection<java.lang.Throwable> |
test(java.net.URL url,
java.lang.String modelName,
java.util.Collection<java.lang.String> productionSequence,
java.util.Collection<java.lang.String> failedProductions) |
void |
verifyModelState(IModel model,
IInstantiation instantiation)
this can be overriden if you want to check the state of the model just
after a production has fired
|
void |
verifyThatProductionShouldFire(IModel model,
IInstantiation instantiation)
called by the proceduralModuleListener after each production fires
|
public void exceptionCaught(java.lang.Throwable thrown)
thrown
- public final void verifyThatProductionShouldFire(IModel model, IInstantiation instantiation)
model
- instantiation
- public void verifyModelState(IModel model, IInstantiation instantiation)
model
- public java.util.Collection<java.lang.Throwable> test(java.net.URL url, java.util.Map<java.lang.String,java.util.Collection<java.lang.String>> productionSequenceMap, java.util.Map<java.lang.String,java.util.Collection<java.lang.String>> failedProductionMap)
url
- of the environment fileproductionSequenceMap
- keyed on model name, a sequence of productions that should firefailedProductionMap
- keyed on model name, a set of productions that should never firepublic java.util.Collection<java.lang.Throwable> test(java.net.URL url, java.lang.String modelName, java.util.Collection<java.lang.String> productionSequence, java.util.Collection<java.lang.String> failedProductions)
url
- modelName
- not nullproductionSequence
- not null or emptyfailedProductions
- not null