Package net.jqwik.api.lifecycle
Interface FalsifiedSample
-
- All Known Subinterfaces:
ShrunkFalsifiedSample
@API(status=MAINTAINED, since="1.3.5") public interface FalsifiedSample
A falsified sample is the collection of data that could be falsified during a property run.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.util.Optional<java.lang.Throwable>
falsifyingError()
The error which resulted in falsifying a property.java.util.List<java.lang.String>
footnotes()
List of footnotes to be added to failure report.java.util.List<java.lang.Object>
parameters()
The actual parameters used when running a property method.java.util.List<Shrinkable<java.lang.Object>>
shrinkables()
The list of shrinkables that were used to generate the parameters.
-
-
-
Method Detail
-
parameters
java.util.List<java.lang.Object> parameters()
The actual parameters used when running a property method.If parameters are muted during the run, e.g. elements have been added to a mutable collection, this method returns the muted objects.
- Returns:
- list of objects of same size as list returned by shrinkables().
-
shrinkables
java.util.List<Shrinkable<java.lang.Object>> shrinkables()
The list of shrinkables that were used to generate the parameters. The position of shrinkables corresponds to the actual parameter object in parameters().You can create a fresh, unchanged list of parameter objects through
sample.shrinkables().stream(Shrinkable::value).collect(Collectors.toList())
.- Returns:
- list of shrinkables of same size as list returned by parameters().
-
falsifyingError
java.util.Optional<java.lang.Throwable> falsifyingError()
The error which resulted in falsifying a property. If the property was falsified by return false this method returnsOptional.empty()
.- Returns:
- an optional error
-
footnotes
@API(status=MAINTAINED, since="1.5.5") java.util.List<java.lang.String> footnotes()
List of footnotes to be added to failure report.- Returns:
- list of strings
-
-