Package net.jqwik.engine.facades

Class DomainContextFacadeImpl

java.lang.Object

net.jqwik.api.domains.DomainContext.DomainContextFacade

net.jqwik.engine.facades.DomainContextFacadeImpl

public class DomainContextFacadeImpl
extends net.jqwik.api.domains.DomainContext.DomainContextFacade

Field Summary

Fields inherited from class net.jqwik.api.domains.DomainContext.DomainContextFacade

implementation

Constructor Summary

Constructors

Constructor	Description
DomainContextFacadeImpl()

Method Summary

Modifier and Type	Method	Description
Collection<net.jqwik.api.configurators.ArbitraryConfigurator>	getArbitraryConfigurators(net.jqwik.api.domains.DomainContextBase base)
Collection<net.jqwik.api.providers.ArbitraryProvider>	getArbitraryProviders(net.jqwik.api.domains.DomainContextBase base, int priority)
Collection<net.jqwik.api.SampleReportingFormat>	getReportingFormats(net.jqwik.api.domains.DomainContextBase base)
net.jqwik.api.domains.DomainContext	global()

Methods inherited from class java.lang.Object

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

Constructor Details

DomainContextFacadeImpl

public DomainContextFacadeImpl()

Method Details

global

public net.jqwik.api.domains.DomainContext global()

Specified by:

global in class net.jqwik.api.domains.DomainContext.DomainContextFacade

getArbitraryProviders

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

Specified by:

getArbitraryProviders in class net.jqwik.api.domains.DomainContext.DomainContextFacade

getArbitraryConfigurators

public Collection<net.jqwik.api.configurators.ArbitraryConfigurator> getArbitraryConfigurators(net.jqwik.api.domains.DomainContextBase base)

Specified by:

getArbitraryConfigurators in class net.jqwik.api.domains.DomainContext.DomainContextFacade

getReportingFormats

public Collection<net.jqwik.api.SampleReportingFormat> getReportingFormats(net.jqwik.api.domains.DomainContextBase base)

Specified by:

getReportingFormats in class net.jqwik.api.domains.DomainContext.DomainContextFacade