Package net.jqwik.engine.properties.state

Class DefaultChainArbitrary<T>

java.lang.Object
net.jqwik.engine.properties.arbitraries.TypedCloneable
net.jqwik.engine.properties.state.DefaultChainArbitrary<T>
All Implemented Interfaces:
Cloneable, net.jqwik.api.Arbitrary<net.jqwik.api.state.Chain<T>>, net.jqwik.api.state.ChainArbitrary<T>
public class DefaultChainArbitrary<T> extends TypedCloneable implements net.jqwik.api.state.ChainArbitrary<T>

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultChainArbitrary(Supplier<? extends T> initialSupplier)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.EdgeCases<net.jqwik.api.state.Chain<T>>
    edgeCases(int maxEdgeCases)
     
    net.jqwik.api.RandomGenerator<net.jqwik.api.state.Chain<T>>
    generator(int genSize)
     
    net.jqwik.api.state.ChainArbitrary<T>
    improveShrinkingWith(Supplier<net.jqwik.api.state.ChangeDetector<T>> changeDetectorSupplier)
     
    boolean
    isGeneratorMemoizable()
     
    net.jqwik.api.state.ChainArbitrary<T>
    withMaxTransformations(int maxTransformations)
     
    net.jqwik.api.state.ChainArbitrary<T>
    withTransformation(int weight, net.jqwik.api.state.Transformation<T> transformation)
     

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

    typedClone

    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, edgeCases, exhaustive, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generatorWithEmbeddedEdgeCases, ignoreException, ignoreException, ignoreExceptions, ignoreExceptions, injectDuplicates, injectNull, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

    Methods inherited from interface net.jqwik.api.state.ChainArbitrary

    infinite, withTransformation

  • Constructor Details

    • DefaultChainArbitrary

      public DefaultChainArbitrary(Supplier<? extends T> initialSupplier)

  • Method Details

    • generator

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

    • withTransformation

      public net.jqwik.api.state.ChainArbitrary<T> withTransformation(int weight, net.jqwik.api.state.Transformation<T> transformation)
      Specified by:
      withTransformation in interface net.jqwik.api.state.ChainArbitrary<T>

    • withMaxTransformations

      public net.jqwik.api.state.ChainArbitrary<T> withMaxTransformations(int maxTransformations)
      Specified by:
      withMaxTransformations in interface net.jqwik.api.state.ChainArbitrary<T>

    • improveShrinkingWith

      public net.jqwik.api.state.ChainArbitrary<T> improveShrinkingWith(Supplier<net.jqwik.api.state.ChangeDetector<T>> changeDetectorSupplier)
      Specified by:
      improveShrinkingWith in interface net.jqwik.api.state.ChainArbitrary<T>

    • edgeCases

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

    • isGeneratorMemoizable

      public boolean isGeneratorMemoizable()
      Specified by:
      isGeneratorMemoizable in interface net.jqwik.api.Arbitrary<T>