Package 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	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.

A failing assumption in an example test (annotated with Example or having a single try) will be reported as a skipped test.

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