Package net.jqwik.engine.facades

Klasse JqwikSessionFacadeImpl

java.lang.Object

net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

net.jqwik.engine.facades.JqwikSessionFacadeImpl

public class JqwikSessionFacadeImpl
extends net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

Is loaded through reflection in api module

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
JqwikSessionFacadeImpl()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
void	finishSession()
void	finishTry()
Optional<Random>	getRandom()
boolean	isSessionOpen()
void	runInSession(@Nullable String randomSeed, net.jqwik.api.sessions.JqwikSession.Runnable runnable)
void	startSession(@Nullable String randomSeed)

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

JqwikSessionFacadeImpl

public JqwikSessionFacadeImpl()

Methodendetails

finishSession

public void finishSession()

Angegeben von:

finishSession in Klasse net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

finishTry

public void finishTry()

Angegeben von:

finishTry in Klasse net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

isSessionOpen

public boolean isSessionOpen()

Angegeben von:

isSessionOpen in Klasse net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

runInSession

public void runInSession(@Nullable String randomSeed,
 net.jqwik.api.sessions.JqwikSession.Runnable runnable)

Angegeben von:

runInSession in Klasse net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

getRandom

public Optional<Random> getRandom()

Angegeben von:

getRandom in Klasse net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

startSession

public void startSession(@Nullable String randomSeed)

Angegeben von:

startSession in Klasse net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade