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

Class JqwikTestExtension

java.lang.Object
de.tum.in.test.api.jqwik.JqwikTestExtension
All Implemented Interfaces:
net.jqwik.api.lifecycle.AroundPropertyHook, net.jqwik.api.lifecycle.LifecycleHook
@API(status=INTERNAL)
public final class JqwikTestExtension
extends java.lang.Object
implements net.jqwik.api.lifecycle.AroundPropertyHook

Adaption for jqwik.

Author:
Christian Femers

  • Field Summary

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

    BASE

  • Constructor Summary

    Constructors 
    Constructor Description
    JqwikTestExtension()  

  • 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