Package net.jqwik.api.sessions

Klasse JqwikSession

java.lang.Object

net.jqwik.api.sessions.JqwikSession

@API(status=MAINTAINED,
     since="1.8.0")
public class JqwikSession
extends Object

JqwikSession is the abstraction to give users of Arbitrary.sample() and Arbitrary.sampleStream() outside the jqwik lifecycle more control over the lifecycle. This has also influence on memory heap usage since an un-finished session will aggregate state, e.g. through caching and other stores.

Verschachtelte Klassen - Übersicht

Verschachtelte Klassen

Modifizierer und Typ	Klasse	Beschreibung
static class	JqwikSession.JqwikSessionFacade
static interface	JqwikSession.Runnable

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
JqwikSession()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
static void	finish()
static void	finishTry()
static boolean	isActive()
static void	run(JqwikSession.Runnable runnable)
static void	start()

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

JqwikSession

public JqwikSession()

Methodendetails

start

public static void start()

isActive

public static boolean isActive()

finish

public static void finish()

finishTry

public static void finishTry()

run

public static void run(JqwikSession.Runnable runnable)