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

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

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)