Package net.jqwik.api.sessions
Class JqwikSession
- java.lang.Object
-
- net.jqwik.api.sessions.JqwikSession
-
@API(status=EXPERIMENTAL, since="1.6.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 Description static class
JqwikSession.JqwikSessionFacade
static interface
JqwikSession.Runnable
-
Constructor Summary
Constructors Constructor Description JqwikSession()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
finish()
static void
finishTry()
static boolean
isActive()
static void
run(JqwikSession.Runnable runnable)
static void
start()
-
-
-
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)
-
-