Package net.jqwik.engine.properties.arbitraries

Class DefaultStringArbitrary

  • All Implemented Interfaces:
    java.lang.Cloneable, net.jqwik.api.arbitraries.StringArbitrary, net.jqwik.api.Arbitrary<java.lang.String>
    public class DefaultStringArbitrary
extends AbstractArbitraryBase
implements net.jqwik.api.arbitraries.StringArbitrary

    • 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.StringArbitrary all()  
      net.jqwik.api.arbitraries.StringArbitrary alpha()  
      net.jqwik.api.arbitraries.StringArbitrary ascii()  
      net.jqwik.api.EdgeCases<java.lang.String> edgeCases()  
      java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.String>> exhaustive​(long maxNumberOfSamples)  
      net.jqwik.api.RandomGenerator<java.lang.String> generator​(int genSize)  
      net.jqwik.api.arbitraries.StringArbitrary numeric()  
      net.jqwik.api.arbitraries.StringArbitrary ofMaxLength​(int maxLength)  
      net.jqwik.api.arbitraries.StringArbitrary ofMinLength​(int minLength)  
      net.jqwik.api.arbitraries.StringArbitrary whitespace()  
      net.jqwik.api.arbitraries.StringArbitrary withCharRange​(char from, char to)  
      net.jqwik.api.arbitraries.StringArbitrary withChars​(char... chars)  
      net.jqwik.api.arbitraries.StringArbitrary withChars​(java.lang.CharSequence chars)  
      net.jqwik.api.arbitraries.StringArbitrary withChars​(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, isUnique, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, unique

      • Methods inherited from interface net.jqwik.api.arbitraries.StringArbitrary

        ofLength

    • Constructor Detail

      • DefaultStringArbitrary

        public DefaultStringArbitrary()

    • Method Detail

      • generator

        public net.jqwik.api.RandomGenerator<java.lang.String> generator​(int genSize)
        Specified by:
        generator in interface net.jqwik.api.Arbitrary<java.lang.String>

      • exhaustive

        public java.util.Optional<net.jqwik.api.ExhaustiveGenerator<java.lang.String>> exhaustive​(long maxNumberOfSamples)
        Specified by:
        exhaustive in interface net.jqwik.api.Arbitrary<java.lang.String>

      • edgeCases

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

      • ofMinLength

        public net.jqwik.api.arbitraries.StringArbitrary ofMinLength​(int minLength)
        Specified by:
        ofMinLength in interface net.jqwik.api.arbitraries.StringArbitrary

      • ofMaxLength

        public net.jqwik.api.arbitraries.StringArbitrary ofMaxLength​(int maxLength)
        Specified by:
        ofMaxLength in interface net.jqwik.api.arbitraries.StringArbitrary

      • withChars

        public net.jqwik.api.arbitraries.StringArbitrary withChars​(char... chars)
        Specified by:
        withChars in interface net.jqwik.api.arbitraries.StringArbitrary

      • withChars

        public net.jqwik.api.arbitraries.StringArbitrary withChars​(java.lang.CharSequence chars)
        Specified by:
        withChars in interface net.jqwik.api.arbitraries.StringArbitrary

      • withChars

        public net.jqwik.api.arbitraries.StringArbitrary withChars​(net.jqwik.api.Arbitrary<java.lang.Character> characterArbitrary)
        Specified by:
        withChars in interface net.jqwik.api.arbitraries.StringArbitrary

      • withCharRange

        public net.jqwik.api.arbitraries.StringArbitrary withCharRange​(char from,
                                                               char to)
        Specified by:
        withCharRange in interface net.jqwik.api.arbitraries.StringArbitrary

      • ascii

        public net.jqwik.api.arbitraries.StringArbitrary ascii()
        Specified by:
        ascii in interface net.jqwik.api.arbitraries.StringArbitrary

      • alpha

        public net.jqwik.api.arbitraries.StringArbitrary alpha()
        Specified by:
        alpha in interface net.jqwik.api.arbitraries.StringArbitrary

      • numeric

        public net.jqwik.api.arbitraries.StringArbitrary numeric()
        Specified by:
        numeric in interface net.jqwik.api.arbitraries.StringArbitrary

      • whitespace

        public net.jqwik.api.arbitraries.StringArbitrary whitespace()
        Specified by:
        whitespace in interface net.jqwik.api.arbitraries.StringArbitrary

      • all

        public net.jqwik.api.arbitraries.StringArbitrary all()
        Specified by:
        all in interface net.jqwik.api.arbitraries.StringArbitrary