net.jqwik.engine.properties.arbitraries

Class DefaultCharacterArbitrary

java.lang.Object

net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

net.jqwik.engine.properties.arbitraries.DefaultCharacterArbitrary

All Implemented Interfaces:

java.lang.Cloneable, net.jqwik.api.arbitraries.CharacterArbitrary, net.jqwik.api.Arbitrary<java.lang.Character>

public class DefaultCharacterArbitrary
extends AbstractArbitraryBase
implements net.jqwik.api.arbitraries.CharacterArbitrary

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

net.jqwik.api.Arbitrary.ArbitraryFacade

Constructor Summary

Constructors

Constructor and Description
DefaultCharacterArbitrary()

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.arbitraries.CharacterArbitrary	all()
net.jqwik.api.arbitraries.CharacterArbitrary	ascii()
net.jqwik.api.arbitraries.CharacterArbitrary	digit()
java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Character>>	exhaustive(long maxNumberOfSamples)
net.jqwik.api.RandomGenerator<java.lang.Character>	generator(int genSize)
net.jqwik.api.arbitraries.CharacterArbitrary	range(char min, char max)
net.jqwik.api.arbitraries.CharacterArbitrary	whitespace()
net.jqwik.api.arbitraries.CharacterArbitrary	with(char... allowedChars)
net.jqwik.api.arbitraries.CharacterArbitrary	with(java.lang.CharSequence allowedChars)

Methods inherited from class net.jqwik.engine.properties.arbitraries.AbstractArbitraryBase

typedClone

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

allValues, array, collect, exhaustive, filter, fixGenSize, flatMap, forEachValue, injectNull, iterator, list, map, optional, set, stream, unique, withSamples

Constructor Detail

DefaultCharacterArbitrary

public DefaultCharacterArbitrary()

Method Detail

generator

public net.jqwik.api.RandomGenerator<java.lang.Character> generator(int genSize)

Specified by:

generator in interface net.jqwik.api.Arbitrary<java.lang.Character>

exhaustive

public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Character>> exhaustive(long maxNumberOfSamples)

Specified by:

exhaustive in interface net.jqwik.api.Arbitrary<java.lang.Character>

range

public net.jqwik.api.arbitraries.CharacterArbitrary range(char min,
                                                          char max)

Specified by:

range in interface net.jqwik.api.arbitraries.CharacterArbitrary

with

public net.jqwik.api.arbitraries.CharacterArbitrary with(char... allowedChars)

Specified by:

with in interface net.jqwik.api.arbitraries.CharacterArbitrary

with

public net.jqwik.api.arbitraries.CharacterArbitrary with(java.lang.CharSequence allowedChars)

Specified by:

with in interface net.jqwik.api.arbitraries.CharacterArbitrary

all

public net.jqwik.api.arbitraries.CharacterArbitrary all()

Specified by:

all in interface net.jqwik.api.arbitraries.CharacterArbitrary

ascii

public net.jqwik.api.arbitraries.CharacterArbitrary ascii()

Specified by:

ascii in interface net.jqwik.api.arbitraries.CharacterArbitrary

digit

public net.jqwik.api.arbitraries.CharacterArbitrary digit()

Specified by:

digit in interface net.jqwik.api.arbitraries.CharacterArbitrary

whitespace

public net.jqwik.api.arbitraries.CharacterArbitrary whitespace()

Specified by:

whitespace in interface net.jqwik.api.arbitraries.CharacterArbitrary