Package net.jqwik.api.domains

Klasse DomainContext.Global

java.lang.Object

net.jqwik.api.domains.DomainContext.Global

Alle implementierten Schnittstellen:

DomainContext

Umschließende Schnittstelle:

DomainContext

@API(status=MAINTAINED,
     since="1.1")
public static class DomainContext.Global
extends Object
implements DomainContext

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.domains.DomainContext

DomainContext.DomainContextFacade, DomainContext.Global

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
Global()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
Collection<ArbitraryConfigurator>	getArbitraryConfigurators()
Collection<ArbitraryProvider>	getArbitraryProviders()

Von Klasse geerbte Methoden java.lang.Object

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

Von Schnittstelle geerbte Methoden net.jqwik.api.domains.DomainContext

getReportingFormats, initialize, setDefaultPriority

Konstruktordetails

Global

public Global()

Methodendetails

getArbitraryProviders

public Collection<ArbitraryProvider> getArbitraryProviders()

Angegeben von:

getArbitraryProviders in Schnittstelle DomainContext

getArbitraryConfigurators

public Collection<ArbitraryConfigurator> getArbitraryConfigurators()

Angegeben von:

getArbitraryConfigurators in Schnittstelle DomainContext