Package de.rwth.swc.coffee4j.engine.process.report.util

Class ReportUtility

java.lang.Object

de.rwth.swc.coffee4j.engine.process.report.util.ReportUtility

public class ReportUtility
extends Object

Utility class used by ExecutionReporters to create output strings.

Method Summary

Modifier and Type	Method	Description
static String	getFormattedExceptionInducingCombinations(Map<Combination,Class<? extends Throwable>> exceptionInducingCombinations, CombinationFormatter formatter)	creates output that can be used by ExecutionReporters for a set of exception-inducing combinations grouped by the exceptions they trigger.
static String	getFormattedExceptionInducingCombinations(Set<Combination> exceptionInducingCombinations)	creates output that can be used by ExecutionReporters for a set of exception-inducing combinations.
static String	getFormattedFailureInducingCombinations(Collection<Combination> possiblyFailureInducingCombinations)	creates output that can be used by ExecutionReporters for a set of failure-inducing combinations.
static String	getWarningForErrorConstraintGeneration()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getFormattedExceptionInducingCombinations

public static String getFormattedExceptionInducingCombinations(Map<Combination,Class<? extends Throwable>> exceptionInducingCombinations,
                                                               CombinationFormatter formatter)

creates output that can be used by ExecutionReporters for a set of exception-inducing combinations grouped by the exceptions they trigger.

Parameters:

exceptionInducingCombinations - set of found exception-inducing combinations together with their associated exceptions to output.

formatter - The formatter to use to process the found combinations.

Returns:

returns a String that can be directly printed by the ExecutionReporters.

getFormattedExceptionInducingCombinations

public static String getFormattedExceptionInducingCombinations(Set<Combination> exceptionInducingCombinations)

creates output that can be used by ExecutionReporters for a set of exception-inducing combinations.

Parameters:

exceptionInducingCombinations - set of found exception-inducing combinations to output.

Returns:

returns a String that can be directly printed by the ExecutionReporters.

getFormattedFailureInducingCombinations

public static String getFormattedFailureInducingCombinations(Collection<Combination> possiblyFailureInducingCombinations)

creates output that can be used by ExecutionReporters for a set of failure-inducing combinations.

Parameters:

possiblyFailureInducingCombinations - set of found failure-inducing combinations to output.

Returns:

returns a String that can be directly printed by the ExecutionReporters.

getWarningForErrorConstraintGeneration

public static String getWarningForErrorConstraintGeneration()

Returns:

returns a warning-message that indicates that the found failure-inducing combinations must not be modeled as error-constraints in the error-constraint generation process.