net.jqwik.api.sessions

Class JqwikSession

java.lang.Object

net.jqwik.api.sessions.JqwikSession

@API(status=MAINTAINED,
     since="1.8.0")
public class JqwikSession
extends java.lang.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.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JqwikSession.JqwikSessionFacade
static interface	JqwikSession.Runnable

Constructor Summary

Constructors

Constructor and Description
JqwikSession()

Method Summary

Modifier and Type	Method and Description
static void	finish()
static void	finishTry()
static boolean	isActive()
static void	run(JqwikSession.Runnable runnable)
static void	start()

Methods inherited from class java.lang.Object

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

Constructor Detail

JqwikSession

public JqwikSession()

Method Detail

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)