Package net.jqwik.engine.facades

Class 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

  • Constructor Details

    • JqwikSessionFacadeImpl

      public JqwikSessionFacadeImpl()

  • Method Details

    • startSession

      public void startSession()
      Specified by:
      startSession in class net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

    • finishSession

      public void finishSession()
      Specified by:
      finishSession in class net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

    • finishTry

      public void finishTry()
      Specified by:
      finishTry in class net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

    • isSessionOpen

      public boolean isSessionOpen()
      Specified by:
      isSessionOpen in class net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade

    • runInSession

      public void runInSession(net.jqwik.api.sessions.JqwikSession.Runnable runnable)
      Specified by:
      runInSession in class net.jqwik.api.sessions.JqwikSession.JqwikSessionFacade