Class 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 thrown Exceptions.
    • 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. If EnableInterleavingConstraintGeneration or EnableSequentialConstraintGeneration is present, the wrapped result is used for error-constraint generation.