Package de.tum.in.test.api.jqwik

Class JqwikStrictTimeoutExtension

java.lang.Object
de.tum.in.test.api.jqwik.JqwikStrictTimeoutExtension
All Implemented Interfaces:
net.jqwik.api.lifecycle.AroundPropertyHook, net.jqwik.api.lifecycle.LifecycleHook
public class JqwikStrictTimeoutExtension
extends java.lang.Object
implements net.jqwik.api.lifecycle.AroundPropertyHook
This class manages the StrictTimeout annotation and how it is processed, using Assertions.assertTimeoutPreemptively(Duration, org.junit.jupiter.api.function.ThrowingSupplier)

Adaption for jqwik.

Author:
Christian Femers

  • Field Summary

    Fields inherited from interface net.jqwik.api.lifecycle.AroundPropertyHook

    BASE

  • Constructor Summary

    Constructors 
    Constructor Description
    JqwikStrictTimeoutExtension()  

  • Method Summary

    Modifier and Type Method Description
    net.jqwik.api.lifecycle.PropertyExecutionResult aroundProperty​(net.jqwik.api.lifecycle.PropertyLifecycleContext context, net.jqwik.api.lifecycle.PropertyExecutor property)  
    int aroundPropertyProximity()  

    Methods inherited from class java.lang.Object

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

    Methods inherited from interface net.jqwik.api.lifecycle.AroundPropertyHook

    compareTo

    Methods inherited from interface net.jqwik.api.lifecycle.LifecycleHook

    appliesTo, propagateTo

  • Constructor Details

  • Method Details

    • aroundPropertyProximity

      public int aroundPropertyProximity()
      Specified by:
      aroundPropertyProximity in interface net.jqwik.api.lifecycle.AroundPropertyHook

    • aroundProperty

      public net.jqwik.api.lifecycle.PropertyExecutionResult aroundProperty​(net.jqwik.api.lifecycle.PropertyLifecycleContext context, net.jqwik.api.lifecycle.PropertyExecutor property) throws java.lang.Throwable
      Specified by:
      aroundProperty in interface net.jqwik.api.lifecycle.AroundPropertyHook
      Throws:
      java.lang.Throwable