Package net.jqwik.api.domains

Class DomainContext.DomainContextFacade

java.lang.Object

net.jqwik.api.domains.DomainContext.DomainContextFacade

Enclosing interface:

DomainContext

@API(status=INTERNAL)
public abstract static class DomainContext.DomainContextFacade
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected static DomainContext.DomainContextFacade	implementation

Constructor Summary

Constructors

Constructor	Description
DomainContextFacade()

Method Summary

Modifier and Type	Method	Description
abstract Collection<ArbitraryConfigurator>	getArbitraryConfigurators(DomainContextBase base)
abstract Collection<ArbitraryProvider>	getArbitraryProviders(DomainContextBase base, int priority)
abstract Collection<SampleReportingFormat>	getReportingFormats(DomainContextBase base)
abstract DomainContext	global()

Methods inherited from class java.lang.Object

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

Field Details

implementation

protected static DomainContext.DomainContextFacade implementation

Constructor Details

DomainContextFacade

public DomainContextFacade()

Method Details

global

public abstract DomainContext global()

getArbitraryProviders

public abstract Collection<ArbitraryProvider> getArbitraryProviders(DomainContextBase base,
 int priority)

getArbitraryConfigurators

public abstract Collection<ArbitraryConfigurator> getArbitraryConfigurators(DomainContextBase base)

getReportingFormats

public abstract Collection<SampleReportingFormat> getReportingFormats(DomainContextBase base)