net.jqwik.api

Class Assume

java.lang.Object

net.jqwik.api.Assume

@API(status=STABLE,
     since="1.0")
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 - Condition to make the assumption true

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 - supplier for condition to make assumption true