net.jqwik.api

Class Assume

java.lang.Object

net.jqwik.api.Assume

public class Assume
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
static void	that(boolean condition) If condition does not hold, the current property method will be aborted, i.e., it will not be executed but not counted as a try.
static void	that(java.util.function.Supplier<java.lang.Boolean> conditionSupplier) If condition provided by conditionSupplier does not hold, the current property method will be aborted, i.e., it will not be executed but not counted as a try.

Methods inherited from class java.lang.Object

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

Method Detail

that

public static void that(boolean condition)

If condition does not hold, the current property method will be aborted, i.e., it will not be executed but not counted as a try. Assumptions are typically positioned at the beginning of a property method.

Parameters:

condition -

that

public static void that(java.util.function.Supplier<java.lang.Boolean> conditionSupplier)

If condition provided by conditionSupplier does not hold, the current property method will be aborted, i.e., it will not be executed but not counted as a try. Assumptions are typically positioned at the beginning of a property method.

Parameters:

conditionSupplier -