DomainContextBase (documentation 1.7.0 API)

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.
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 Description

DomainContextBase()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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
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