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

Class JqwikTestGuard

java.lang.Object
de.tum.in.test.api.jqwik.JqwikTestGuard
All Implemented Interfaces:
net.jqwik.api.lifecycle.AroundPropertyHook, net.jqwik.api.lifecycle.LifecycleHook
@API(status=INTERNAL)
public final class JqwikTestGuard
extends java.lang.Object
implements net.jqwik.api.lifecycle.AroundPropertyHook
This class' main purpose is to guard the HiddenTests execution and evaluate the Deadline.

Adaption for jqwik.

Author:
Christian Femers

  • Field Summary

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

    BASE

  • Constructor Summary

    Constructors 
    Constructor Description
    JqwikTestGuard()  

  • 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