Package net.jqwik.api.sessions

Class JqwikSession.JqwikSessionFacade

java.lang.Object

net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

Enclosing class:

JqwikSession

@API(status=INTERNAL)
public abstract static class JqwikSession.JqwikSessionFacade
extends Object

Constructor Summary

Constructors

Constructor	Description
JqwikSessionFacade()

Method Summary

Modifier and Type	Method	Description
abstract void	finishSession()
abstract void	finishTry()
abstract Optional<Random>	getRandom()
abstract boolean	isSessionOpen()
abstract void	runInSession(@Nullable String randomSeed, JqwikSession.Runnable runnable)
abstract void	startSession(@Nullable String randomSeed)

Methods inherited from class java.lang.Object

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

Constructor Details

JqwikSessionFacade

public JqwikSessionFacade()

Method Details

finishSession

public abstract void finishSession()

finishTry

public abstract void finishTry()

isSessionOpen

public abstract boolean isSessionOpen()

runInSession

public abstract void runInSession(@Nullable String randomSeed,
 JqwikSession.Runnable runnable)

getRandom

public abstract Optional<Random> getRandom()

startSession

public abstract void startSession(@Nullable String randomSeed)