Package net.jqwik.engine.properties

Class DomainContextBaseProviders

java.lang.Object

net.jqwik.engine.properties.DomainContextBaseProviders

public class DomainContextBaseProviders
extends Object

Constructor Summary

Constructors

Constructor	Description
DomainContextBaseProviders()

Method Summary

Modifier and Type	Method	Description
static Collection<net.jqwik.api.providers.ArbitraryProvider>	forContextBase(net.jqwik.api.domains.DomainContextBase base, int priority)

Methods inherited from class java.lang.Object

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

Constructor Details

DomainContextBaseProviders

public DomainContextBaseProviders()

Method Details

forContextBase

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