Package net.jqwik.api.sessions

Klasse JqwikSession.JqwikSessionFacade

java.lang.Object

net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

Umschließende Klasse:

JqwikSession

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

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
JqwikSessionFacade()

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
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)

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

JqwikSessionFacade

public JqwikSessionFacade()

Methodendetails

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)