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 java.lang.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 Detail

JqwikSessionFacade

public JqwikSessionFacade()

Method Detail

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)