Package net.jqwik.api.domains

Klasse DomainContextBase

java.lang.Object

net.jqwik.api.domains.DomainContextBase

Alle implementierten Schnittstellen:

DomainContext

@API(status=MAINTAINED,
     since="1.5.2")
public abstract class DomainContextBase
extends 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).

Siehe auch:

• DomainContext
• Provide

Verschachtelte Klassen - Übersicht

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

DomainContext.DomainContextFacade, DomainContext.Global

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
DomainContextBase()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
Collection<ArbitraryConfigurator>	getArbitraryConfigurators()
Collection<ArbitraryProvider>	getArbitraryProviders()
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)

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

initialize

Konstruktordetails

DomainContextBase

public DomainContextBase()

Methodendetails

getArbitraryProviders

public Collection<ArbitraryProvider> getArbitraryProviders()

Angegeben von:

getArbitraryProviders in Schnittstelle DomainContext

getArbitraryConfigurators

public Collection<ArbitraryConfigurator> getArbitraryConfigurators()

Angegeben von:

getArbitraryConfigurators in Schnittstelle DomainContext

getReportingFormats

public Collection<SampleReportingFormat> getReportingFormats()

Beschreibung aus Schnittstelle kopiert: DomainContext

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

Angegeben von:

getReportingFormats in Schnittstelle DomainContext

Gibt zurück:

Collection of SampleReportingFormat instances

setDefaultPriority

public void setDefaultPriority(int priority)

Angegeben von:

setDefaultPriority in Schnittstelle DomainContext