Package net.jqwik.engine.properties

Klasse DomainContextBaseProviders

java.lang.Object

net.jqwik.engine.properties.DomainContextBaseProviders

public class DomainContextBaseProviders
extends Object

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
DomainContextBaseProviders()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
static Collection<net.jqwik.api.providers.ArbitraryProvider>	forContextBase(net.jqwik.api.domains.DomainContextBase base, int priority)

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

DomainContextBaseProviders

public DomainContextBaseProviders()

Methodendetails

forContextBase

public static Collection<net.jqwik.api.providers.ArbitraryProvider> forContextBase(net.jqwik.api.domains.DomainContextBase base,
 int priority)