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 thrownException
s.
-
-
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 ExecutionResult
runTestFunction(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. IfEnableInterleavingConstraintGeneration
orEnableSequentialConstraintGeneration
is present, the wrapped result is used for error-constraint generation.
-
-
Method Detail
-
runTestFunction
public ExecutionResult runTestFunction(Callable<?> callable)
Description copied from interface:ResultWrapper
Executes a function and wraps the result into anExecutionResult
.- Specified by:
runTestFunction
in interfaceResultWrapper
- Parameters:
callable
- the test function to execute.- Returns:
- returns the wrapped result in form of an
ExecutionResult
.
-
-