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 java.lang.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
java.util.Collection<ArbitraryConfigurator>	getArbitraryConfigurators()
java.util.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 Detail

Global

public Global()

Method Detail

getArbitraryProviders

public java.util.Collection<ArbitraryProvider> getArbitraryProviders()

Specified by:

getArbitraryProviders in interface DomainContext

getArbitraryConfigurators

public java.util.Collection<ArbitraryConfigurator> getArbitraryConfigurators()

Specified by:

getArbitraryConfigurators in interface DomainContext