Package net.jqwik.api.domains

Klasse DomainContext.DomainContextFacade

java.lang.Object

net.jqwik.api.domains.DomainContext.DomainContextFacade

Umschließende Schnittstelle:

DomainContext

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

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
protected static DomainContext.DomainContextFacade	implementation

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
DomainContextFacade()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
abstract Collection<ArbitraryConfigurator>	getArbitraryConfigurators(DomainContextBase base)
abstract Collection<ArbitraryProvider>	getArbitraryProviders(DomainContextBase base, int priority)
abstract Collection<SampleReportingFormat>	getReportingFormats(DomainContextBase base)
abstract DomainContext	global()

Von Klasse geerbte Methoden java.lang.Object

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

Felddetails

implementation

protected static DomainContext.DomainContextFacade implementation

Konstruktordetails

DomainContextFacade

public DomainContextFacade()

Methodendetails

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)