Package net.jqwik.engine.properties

Class DefaultArbitraries

java.lang.Object

net.jqwik.engine.properties.DefaultArbitraries

public class DefaultArbitraries
extends Object

Default providers are available even if the global domain context is not loaded

Constructor Summary

Constructors

Constructor	Description
DefaultArbitraries()

Method Summary

Modifier and Type	Method	Description
static List<net.jqwik.api.configurators.ArbitraryConfigurator>	getDefaultConfigurators()
static List<net.jqwik.api.providers.ArbitraryProvider>	getDefaultProviders()

Methods inherited from class java.lang.Object

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

Constructor Details

DefaultArbitraries

public DefaultArbitraries()

Method Details

getDefaultProviders

public static List<net.jqwik.api.providers.ArbitraryProvider> getDefaultProviders()

getDefaultConfigurators

public static List<net.jqwik.api.configurators.ArbitraryConfigurator> getDefaultConfigurators()