Class DefaultResultWrapper
- java.lang.Object
-
- de.rwth.swc.coffee4j.junit.engine.result.DefaultResultWrapper
-
- All Implemented Interfaces:
ResultWrapper
public class DefaultResultWrapper extends Object implements ResultWrapper
Class used to wrap results during constraint generation. This class is able to differentiate between results of the normal control-flow and thrownExceptions.
-
-
Constructor Summary
Constructors Constructor Description DefaultResultWrapper(boolean isConstraintGenerationEnabled)Constructor using a flag to activate wrapped results for constraint generation or testing process as the equals-method behaves different in the two modes.DefaultResultWrapper(Method method)Constructor using the test method to activate wrapped results for constraint generation or testing process as the equals-method behaves different in the two modes.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ExecutionResultrunTestFunction(Callable<?> callable)Executes a function and wraps the result into anExecutionResult.
-
-
-
Constructor Detail
-
DefaultResultWrapper
public DefaultResultWrapper(boolean isConstraintGenerationEnabled)
Constructor using a flag to activate wrapped results for constraint generation or testing process as the equals-method behaves different in the two modes.- Parameters:
isConstraintGenerationEnabled- true iff the wrapped result is used for error-constraint generation.
-
DefaultResultWrapper
public DefaultResultWrapper(Method method)
Constructor using the test method to activate wrapped results for constraint generation or testing process as the equals-method behaves different in the two modes.- Parameters:
method- annotated test method. IfEnableInterleavingConstraintGenerationorEnableSequentialConstraintGenerationis present, the wrapped result is used for error-constraint generation.
-
-
Method Detail
-
runTestFunction
public ExecutionResult runTestFunction(Callable<?> callable)
Description copied from interface:ResultWrapperExecutes a function and wraps the result into anExecutionResult.- Specified by:
runTestFunctionin interfaceResultWrapper- Parameters:
callable- the test function to execute.- Returns:
- returns the wrapped result in form of an
ExecutionResult.
-
-