net.jqwik.api.arbitraries

Interface CharacterArbitrary

All Superinterfaces:

Arbitrary<java.lang.Character>

@API(status=MAINTAINED,
     since="1.0")
public interface CharacterArbitrary
extends Arbitrary<java.lang.Character>

Fluent interface to configure the generation of Character and char values.

Nested Class Summary

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

Arbitrary.ArbitraryFacade

Method Summary

Modifier and Type	Method and Description
CharacterArbitrary	all() Allow all unicode chars to show up in generated values.
CharacterArbitrary	ascii() Allow all ascii chars to show up in generated values.
CharacterArbitrary	digit() Allow all numeric chars (digits) to show up in generated values.
CharacterArbitrary	range(char min, char max) Allow all chars within min (included) and max (included) to show up in generated values.
CharacterArbitrary	whitespace() Allow all whitespace chars to show up in generated values.
CharacterArbitrary	with(char... allowedChars) Allow all chars in chars show up in generated values.

Methods inherited from interface net.jqwik.api.Arbitrary

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

Method Detail

all

CharacterArbitrary all()

Allow all unicode chars to show up in generated values. Resets previous settings.

with

@API(status=MAINTAINED,
     since="1.1.3")
CharacterArbitrary with(char... allowedChars)

Allow all chars in chars show up in generated values. Adds to all already allowed chars.

range

@API(status=MAINTAINED,
     since="1.1.3")
CharacterArbitrary range(char min,
                                                                     char max)

Allow all chars within min (included) and max (included) to show up in generated values. Adds to all already allowed chars.

ascii

CharacterArbitrary ascii()

Allow all ascii chars to show up in generated values. Adds to all already allowed chars.

digit

CharacterArbitrary digit()

Allow all numeric chars (digits) to show up in generated values. Adds to all already allowed chars.

whitespace

@API(status=MAINTAINED,
     since="1.1.3")
CharacterArbitrary whitespace()

Allow all whitespace chars to show up in generated values. Adds to all already allowed chars.