Package net.jqwik.engine.execution.lifecycle

Class CurrentDomainContext

java.lang.Object

net.jqwik.engine.execution.lifecycle.CurrentDomainContext

public class CurrentDomainContext
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final net.jqwik.api.domains.DomainContext	GLOBAL_DOMAIN_CONTEXT

Constructor Summary

Constructors

Constructor	Description
CurrentDomainContext()

Method Summary

Modifier and Type	Method	Description
static net.jqwik.api.domains.DomainContext	get()
static <T> T	runWithContext(net.jqwik.api.domains.DomainContext context, Supplier<T> runnable)

Methods inherited from class java.lang.Object

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

Field Details

GLOBAL_DOMAIN_CONTEXT

public static final net.jqwik.api.domains.DomainContext GLOBAL_DOMAIN_CONTEXT

Constructor Details

CurrentDomainContext

public CurrentDomainContext()

Method Details

get

public static net.jqwik.api.domains.DomainContext get()

runWithContext

public static <T> T runWithContext(net.jqwik.api.domains.DomainContext context,
 Supplier<T> runnable)