net.jqwik.engine.properties

Class DefaultArbitraries

java.lang.Object

net.jqwik.engine.properties.DefaultArbitraries

public class DefaultArbitraries
extends java.lang.Object

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

Constructor Summary

Constructors

Constructor and Description
DefaultArbitraries()

Method Summary

Modifier and Type	Method and Description
static java.util.List<net.jqwik.api.configurators.ArbitraryConfigurator>	getDefaultConfigurators()
static java.util.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 Detail

DefaultArbitraries

public DefaultArbitraries()

Method Detail

getDefaultProviders

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

getDefaultConfigurators

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