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 java.lang.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 java.util.Collection<ArbitraryConfigurator>	getArbitraryConfigurators(DomainContextBase base)
abstract java.util.Collection<ArbitraryProvider>	getArbitraryProviders(DomainContextBase base, int priority)
abstract java.util.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 Detail

implementation

protected static DomainContext.DomainContextFacade implementation

Constructor Detail

DomainContextFacade

public DomainContextFacade()

Method Detail

global

public abstract DomainContext global()

getArbitraryProviders

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

getArbitraryConfigurators

public abstract java.util.Collection<ArbitraryConfigurator> getArbitraryConfigurators(DomainContextBase base)

getReportingFormats

public abstract java.util.Collection<SampleReportingFormat> getReportingFormats(DomainContextBase base)