Package net.jqwik.engine.properties.state

Class DefaultActionChainArbitrary<T>

java.lang.Object
net.jqwik.api.arbitraries.ArbitraryDecorator<net.jqwik.api.state.ActionChain<T>>
net.jqwik.engine.properties.state.DefaultActionChainArbitrary<T>
All Implemented Interfaces:
Cloneable, net.jqwik.api.Arbitrary<net.jqwik.api.state.ActionChain<T>>, net.jqwik.api.state.ActionChainArbitrary<T>
public class DefaultActionChainArbitrary<T> extends net.jqwik.api.arbitraries.ArbitraryDecorator<net.jqwik.api.state.ActionChain<T>> implements net.jqwik.api.state.ActionChainArbitrary<T>

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

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

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.state.ActionChainArbitrary<T>
    addAction(int weight, net.jqwik.api.state.Action<T> action)
     
    protected net.jqwik.api.Arbitrary<net.jqwik.api.state.ActionChain<T>>
    arbitrary()
     
    net.jqwik.api.state.ActionChainArbitrary<T>
    improveShrinkingWith(Supplier<net.jqwik.api.state.ChangeDetector<T>> changeDetectorSupplier)
     
    boolean
    isGeneratorMemoizable()
     
    net.jqwik.api.state.ActionChainArbitrary<T>
    withMaxTransformations(int maxSize)
     

    Methods inherited from class net.jqwik.api.arbitraries.ArbitraryDecorator

    edgeCases, exhaustive, generator, generatorWithEmbeddedEdgeCases, toString, typedClone

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

    addAction, infinite

    Methods inherited from interface net.jqwik.api.Arbitrary

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

  • Constructor Details

    • DefaultActionChainArbitrary

      public DefaultActionChainArbitrary(Supplier<? extends T> initialSupplier)

  • Method Details

    • addAction

      public net.jqwik.api.state.ActionChainArbitrary<T> addAction(int weight, net.jqwik.api.state.Action<T> action)
      Specified by:
      addAction in interface net.jqwik.api.state.ActionChainArbitrary<T>

    • withMaxTransformations

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

    • improveShrinkingWith

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

    • arbitrary

      protected net.jqwik.api.Arbitrary<net.jqwik.api.state.ActionChain<T>> arbitrary()
      Specified by:
      arbitrary in class net.jqwik.api.arbitraries.ArbitraryDecorator<net.jqwik.api.state.ActionChain<T>>

    • isGeneratorMemoizable

      public boolean isGeneratorMemoizable()
      Specified by:
      isGeneratorMemoizable in interface net.jqwik.api.Arbitrary<T>
      Overrides:
      isGeneratorMemoizable in class net.jqwik.api.arbitraries.ArbitraryDecorator<net.jqwik.api.state.ActionChain<T>>