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 boolean	isSessionOpen()
abstract void	runInSession(JqwikSession.Runnable runnable)
abstract void	startSession()

Von Klasse geerbte Methoden java.lang.Object

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

Konstruktordetails

JqwikSessionFacade

public JqwikSessionFacade()

Methodendetails

startSession

public abstract void startSession()

finishSession

public abstract void finishSession()

finishTry

public abstract void finishTry()

isSessionOpen

public abstract boolean isSessionOpen()

runInSession

public abstract void runInSession(JqwikSession.Runnable runnable)