Interface ExtendedPropertyExecutionResult
-
- All Superinterfaces:
net.jqwik.api.lifecycle.PropertyExecutionResult
- All Known Implementing Classes:
PlainExecutionResult,PropertyCheckResult
public interface ExtendedPropertyExecutionResult extends net.jqwik.api.lifecycle.PropertyExecutionResult
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static classExtendedPropertyExecutionResult.EdgeCasesExecutionResult
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ExtendedPropertyExecutionResult.EdgeCasesExecutionResultedgeCases()net.jqwik.api.GenerationModegeneration()booleanisExtended()java.lang.StringrandomSeed()
-
-
-
Method Detail
-
isExtended
boolean isExtended()
-
randomSeed
java.lang.String randomSeed()
-
generation
net.jqwik.api.GenerationMode generation()
-
edgeCases
ExtendedPropertyExecutionResult.EdgeCasesExecutionResult edgeCases()
-
-