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.ObjectJqwikSession 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 classJqwikSession.JqwikSessionFacadestatic interfaceJqwikSession.Runnable
-
Constructor Summary
Constructors Constructor Description JqwikSession()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static voidfinish()static voidfinishTry()static booleanisActive()static voidrun(JqwikSession.Runnable runnable)static voidstart()
-
-
-
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)
-
-