Package net.jqwik.api

Class Assume


  • @API(status=STABLE,
         since="1.0")
    public class Assume
    extends java.lang.Object
    • Method Summary

      All Methods Static Methods Concrete Methods 
      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