Interface PropertyExecutionResult


  • @API(status=MAINTAINED,
         since="1.4.0")
    public interface PropertyExecutionResult
    Represents the result of running a property.
    • Method Detail

      • seed

        java.util.Optional<java.lang.String> seed()
        The seed used to generate randomized parameters.
        Returns:
        an optional String
      • falsifiedParameters

        java.util.Optional<java.util.List<java.lang.Object>> falsifiedParameters()
        The potentially shrunk list of parameters that falsified this property.

        The parameter list returned contains the actual parameters used during the property run. If one or more parameters were changed during the run, this change is visible here.

        Returns:
        an optional list of parameters
      • throwable

        java.util.Optional<java.lang.Throwable> throwable()
        Will return Optional.empty() if status is anything but FAILED. If FAILED the optional MUST contain a throwable.
      • countChecks

        int countChecks()
        The number of tries for which parameters were created and the property method run.
        Returns:
        an number equal to or greater than 0
      • countTries

        int countTries()
        The number of tries for which parameters were created and the property method run and which were not aborted, e.g. through a failing assumption.
        Returns:
        an number equal to or greater than 0
      • originalSample

        @API(status=MAINTAINED,
             since="1.3.5")
        java.util.Optional<FalsifiedSample> originalSample()
        Return the original falsified sample if there was one.
        Returns:
        an optional falsified sample
      • shrunkSample

        @API(status=MAINTAINED,
             since="1.3.5")
        java.util.Optional<ShrunkFalsifiedSample> shrunkSample()
        Return the shrunk falsified sample if successful shrinking took place.
        Returns:
        an optional falsified sample