Package de.rwth.swc.coffee4j.junit.engine.result

Interface Summary

Interface	Description
ExecutionResult	Interface implemented by classes that are used to wrap results of tests that can be used for the generation of error-constraints.
ResultWrapper	Interface used to wrap execution results for identification of exception-inducing combinations.

Class Summary

Class	Description
DefaultResultWrapper	Class used to wrap results during constraint generation.
ExceptionalValueResult	Class used to wrap results of the normal control-flow that are not within a valid range.
ExceptionResult	Class used to wrap Exceptions.
ResultValidator	Example validator that can be used to compare a given and an expected ExecutionResult.
ValueResult	Class used to wrap results of the normal control-flow that are within a valid range.

Exception Summary

Exception	Description
ExceptionalValueResult.ExceptionalValueException	If an ErrorConstraintException is thrown, it wraps an Exception.