Package net.jqwik.engine.properties.arbitraries

Class ChooseCharacterArbitrary

java.lang.Object
net.jqwik.engine.properties.arbitraries.FromGeneratorsArbitrary<Character>
net.jqwik.engine.properties.arbitraries.ChooseCharacterArbitrary
All Implemented Interfaces:
net.jqwik.api.Arbitrary<Character>
public class ChooseCharacterArbitrary extends FromGeneratorsArbitrary<Character>

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    ChooseCharacterArbitrary(char[] chars)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    equals(Object o)
     
    int
    hashCode()
     

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

    edgeCases, exhaustive, generator

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface net.jqwik.api.Arbitrary

    allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generatorWithEmbeddedEdgeCases, ignoreException, ignoreException, ignoreExceptions, ignoreExceptions, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

  • Constructor Details

    • ChooseCharacterArbitrary

      public ChooseCharacterArbitrary(char[] chars)

  • Method Details