Package net.jqwik.engine.properties.arbitraries

Class 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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.arbitraries.CharacterArbitrary all()  
      net.jqwik.api.arbitraries.CharacterArbitrary ascii()  
      net.jqwik.api.arbitraries.CharacterArbitrary digit()  
      net.jqwik.api.EdgeCases<java.lang.Character> edgeCases()  
      java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.Character>> exhaustive​(long maxNumberOfSamples)  
      net.jqwik.api.RandomGenerator<java.lang.Character> generator​(int genSize)  
      boolean isUnique()  
      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)  
      net.jqwik.api.arbitraries.CharacterArbitrary with​(net.jqwik.api.Arbitrary<java.lang.Character> characterArbitrary)  

      • 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, asGeneric, collect, dontShrink, edgeCases, exhaustive, filter, fixGenSize, flatMap, forEachValue, ignoreException, injectDuplicates, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, unique

    • 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>

      • edgeCases

        public net.jqwik.api.EdgeCases<java.lang.Character> edgeCases()
        Specified by:
        edgeCases in interface net.jqwik.api.Arbitrary<java.lang.Character>

      • isUnique

        public boolean isUnique()
        Specified by:
        isUnique 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

      • with

        public net.jqwik.api.arbitraries.CharacterArbitrary with​(net.jqwik.api.Arbitrary<java.lang.Character> characterArbitrary)
        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