Package net.jqwik.engine.properties.arbitraries

Class JustArbitrary<T>

java.lang.Object
net.jqwik.engine.properties.arbitraries.JustArbitrary<T>
All Implemented Interfaces:
net.jqwik.api.Arbitrary<T>
public class JustArbitrary<T> extends Object implements net.jqwik.api.Arbitrary<T>

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    JustArbitrary(T value)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.EdgeCases<T>
    edgeCases(int maxEdgeCases1)
     
    boolean
    equals(Object o)
     
    Optional<net.jqwik.api.ExhaustiveGenerator<T>>
    exhaustive(long maxNumberOfSamples)
     
    <U> net.jqwik.api.Arbitrary<U>
    flatMap(Function<T,net.jqwik.api.Arbitrary<U>> mapper)
     
    net.jqwik.api.RandomGenerator<T>
    generator(int tries)
     
    int
    hashCode()
     
    <U> net.jqwik.api.Arbitrary<U>
    map(Function<T,U> mapper)
     

    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, forEachValue, generator, generatorWithEmbeddedEdgeCases, ignoreException, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

  • Constructor Details

    • JustArbitrary

      public JustArbitrary(T value)

  • Method Details

    • flatMap

      public <U> net.jqwik.api.Arbitrary<U> flatMap(Function<T,net.jqwik.api.Arbitrary<U>> mapper)
      Specified by:
      flatMap in interface net.jqwik.api.Arbitrary<T>

    • map

      public <U> net.jqwik.api.Arbitrary<U> map(Function<T,U> mapper)
      Specified by:
      map in interface net.jqwik.api.Arbitrary<T>

    • generator

      public net.jqwik.api.RandomGenerator<T> generator(int tries)
      Specified by:
      generator in interface net.jqwik.api.Arbitrary<T>

    • exhaustive

      public Optional<net.jqwik.api.ExhaustiveGenerator<T>> exhaustive(long maxNumberOfSamples)
      Specified by:
      exhaustive in interface net.jqwik.api.Arbitrary<T>

    • edgeCases

      public net.jqwik.api.EdgeCases<T> edgeCases(int maxEdgeCases1)
      Specified by:
      edgeCases in interface net.jqwik.api.Arbitrary<T>

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object