net.jqwik.api.domains

Class DomainContextBase

java.lang.Object

net.jqwik.api.domains.DomainContextBase

All Implemented Interfaces:

DomainContext

@API(status=MAINTAINED,
     since="1.5.2")
public abstract class DomainContextBase
extends java.lang.Object
implements DomainContext

Base class for convention based implementations of DomainContext

In subclasses you can:

• Add methods annotated with Provide and a return type of Arbitrary<T>. The result of an annotated method will then be used as an arbitrary provider for type T.
  Those methods follow the same rules as provider methods in container classes, i.e. they have an optional parameters of type TypeUsage or with annotation ForAll.
• Add inner classes (static or not static, but not private) that implement ArbitraryProvider. An instance of this class will then be used as providers.
• Add inner classes (static or not static, but not private) that implement ArbitraryConfigurator. An instance of this class will then be used as configurator.

Mind that a domain context does not automatically import global providers and configurators. If you want to have them available, you have to add the global domain context to the domain class or at the point of usage like this: @Domain(DomainContext.Global.class).

See Also:

DomainContext, Provide

Nested Class Summary

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

DomainContext.DomainContextFacade, DomainContext.Global

Constructor Summary

Constructors

Constructor and Description
DomainContextBase()

Method Summary

Modifier and Type	Method and Description
java.util.Collection<ArbitraryConfigurator>	getArbitraryConfigurators()
java.util.Collection<ArbitraryProvider>	getArbitraryProviders()
java.util.Collection<SampleReportingFormat>	getReportingFormats() Provide additional reporting formats that are used to format objects that are reported in property results or when using a Reporter.
void	setDefaultPriority(int priority)

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

global, initialize

Constructor Detail

DomainContextBase

public DomainContextBase()

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

getReportingFormats

public java.util.Collection<SampleReportingFormat> getReportingFormats()

Description copied from interface: DomainContext

Provide additional reporting formats that are used to format objects that are reported in property results or when using a Reporter.

Specified by:

getReportingFormats in interface DomainContext

Returns:

Collection of SampleReportingFormat instances

setDefaultPriority

public void setDefaultPriority(int priority)

Specified by:

setDefaultPriority in interface DomainContext