Package net.jqwik.engine.properties.stateful

Class DefaultActionSequenceArbitrary<M>

java.lang.Object
net.jqwik.engine.properties.arbitraries.TypedCloneable
net.jqwik.engine.properties.stateful.DefaultActionSequenceArbitrary<M>
All Implemented Interfaces:
Cloneable, net.jqwik.api.Arbitrary<net.jqwik.api.stateful.ActionSequence<M>>, net.jqwik.api.stateful.ActionSequenceArbitrary<M>
public class DefaultActionSequenceArbitrary<M> extends TypedCloneable implements net.jqwik.api.stateful.ActionSequenceArbitrary<M>

  • Nested Class Summary

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

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Constructor Summary

    Constructors
    Constructor
    Description
    DefaultActionSequenceArbitrary(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    net.jqwik.api.EdgeCases<net.jqwik.api.stateful.ActionSequence<M>>
    edgeCases(int maxEdgeCases)
     
    net.jqwik.api.RandomGenerator<net.jqwik.api.stateful.ActionSequence<M>>
    generator(int genSize)
     
    net.jqwik.api.stateful.ActionSequenceArbitrary<M>
    ofSize(int size)
     

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

  • Constructor Details

    • DefaultActionSequenceArbitrary

      public DefaultActionSequenceArbitrary(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary)

  • Method Details

    • ofSize

      public net.jqwik.api.stateful.ActionSequenceArbitrary<M> ofSize(int size)
      Specified by:
      ofSize in interface net.jqwik.api.stateful.ActionSequenceArbitrary<M>

    • generator

      public net.jqwik.api.RandomGenerator<net.jqwik.api.stateful.ActionSequence<M>> generator(int genSize)
      Specified by:
      generator in interface net.jqwik.api.Arbitrary<M>

    • edgeCases

      public net.jqwik.api.EdgeCases<net.jqwik.api.stateful.ActionSequence<M>> edgeCases(int maxEdgeCases)
      Specified by:
      edgeCases in interface net.jqwik.api.Arbitrary<M>