Package net.jqwik.engine.properties.stateful

Klasse DefaultActionSequenceArbitrary<M extends @Nullable Object>

java.lang.Object

net.jqwik.engine.properties.arbitraries.TypedCloneable

net.jqwik.engine.properties.stateful.DefaultActionSequenceArbitrary<M>

Alle implementierten Schnittstellen:

Cloneable, net.jqwik.api.Arbitrary<net.jqwik.api.stateful.ActionSequence<M>>, net.jqwik.api.stateful.ActionSequenceArbitrary<M>

public class DefaultActionSequenceArbitrary<M extends @Nullable Object>
extends TypedCloneable
implements net.jqwik.api.stateful.ActionSequenceArbitrary<M>

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.Arbitrary

net.jqwik.api.Arbitrary.ArbitraryFacade

Konstruktorübersicht

Konstruktoren

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

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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)

Von Klasse geerbte Methoden net.jqwik.engine.properties.arbitraries.TypedCloneable

typedClone

Von Klasse geerbte Methoden java.lang.Object

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

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

Konstruktordetails

DefaultActionSequenceArbitrary

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

Methodendetails

ofSize

public net.jqwik.api.stateful.ActionSequenceArbitrary<M> ofSize(int size)

Angegeben von:

ofSize in Schnittstelle net.jqwik.api.stateful.ActionSequenceArbitrary<M extends @Nullable Object>

generator

public net.jqwik.api.RandomGenerator<net.jqwik.api.stateful.ActionSequence<M>> generator(int genSize)

Angegeben von:

generator in Schnittstelle net.jqwik.api.Arbitrary<M extends @Nullable Object>

edgeCases

public net.jqwik.api.EdgeCases<net.jqwik.api.stateful.ActionSequence<M>> edgeCases(int maxEdgeCases)

Angegeben von:

edgeCases in Schnittstelle net.jqwik.api.Arbitrary<M extends @Nullable Object>