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

Class JqwikContext

java.lang.Object
de.tum.in.test.api.internal.TestContext
de.tum.in.test.api.jqwik.JqwikContext
public class JqwikContext
extends TestContext

  • Method Summary

    Modifier and Type Method Description
    java.util.Optional<java.lang.reflect.AnnotatedElement> annotatedElement()  
    java.lang.String displayName()  
    java.util.Optional<TestType> findTestType()  
    net.jqwik.api.lifecycle.PropertyLifecycleContext getPropertyLifecycleContext()  
    static JqwikContext of​(net.jqwik.api.lifecycle.PropertyLifecycleContext lifecycleContext)  
    java.util.Optional<java.lang.Class<?>> testClass()  
    java.util.Optional<java.lang.Object> testInstance()  
    java.util.Optional<java.lang.reflect.Method> testMethod()  

    Methods inherited from class de.tum.in.test.api.internal.TestContext

    toString

    Methods inherited from class java.lang.Object

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