Class ExceptionalValueResult

  • All Implemented Interfaces:
    ExecutionResult

    public class ExceptionalValueResult
    extends Object
    implements ExecutionResult
    Class used to wrap results of the normal control-flow that are not within a valid range.
    • Constructor Detail

      • ExceptionalValueResult

        public ExceptionalValueResult​(Object exceptionalValue,
                                      boolean isConstraintGenerationEnabled)
        Parameters:
        exceptionalValue - value to wrap.
        isConstraintGenerationEnabled - flag that indicates whether constraint-generation is enabled. If yes, equals(Object) delivers ternary result, otherwise a binary result.
    • Method Detail

      • equals

        public boolean equals​(Object o)
        Overrides:
        equals in class Object
        Parameters:
        o - result to compare.
        Returns:
        if the two results cause the same exceptional value, it returns true when testing and an ErrorConstraintException when generating constraints. It returns false if the two results are not equal.
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object