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 and Description
protected static DomainContext.DomainContextFacade	implementation

Constructor Summary

Constructors

Constructor and Description
DomainContextFacade()

Method Summary

Modifier and Type	Method and 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)