Package net.jqwik.api.domains

Class DomainContext.Global

java.lang.Object

net.jqwik.api.domains.DomainContext.Global

All Implemented Interfaces:

DomainContext

Enclosing interface:

DomainContext

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

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.domains.DomainContext

DomainContext.DomainContextFacade, DomainContext.Global

Constructor Summary

Constructors

Constructor	Description
Global()

Method Summary

Modifier and Type	Method	Description
Collection<ArbitraryConfigurator>	getArbitraryConfigurators()
Collection<ArbitraryProvider>	getArbitraryProviders()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.jqwik.api.domains.DomainContext

getReportingFormats, initialize, setDefaultPriority

Constructor Details

Global

public Global()

Method Details

getArbitraryProviders

public Collection<ArbitraryProvider> getArbitraryProviders()

Specified by:

getArbitraryProviders in interface DomainContext

getArbitraryConfigurators

public Collection<ArbitraryConfigurator> getArbitraryConfigurators()

Specified by:

getArbitraryConfigurators in interface DomainContext