public interface DebugListener
| Modifier and Type | Method and Description |
|---|---|
void |
addDebugSession(DebugSession<?> session)
Add a debug session.
|
void |
endSession()
Called when the session has ended.
|
default void |
installScript(ScriptSource source,
ScriptWrapper wrapper)
Called when a script is installed.
|
default boolean |
isScriptInstalled(ScriptSource source)
Return true if the script associated with a specified script source has already been installed.
|
void |
step(DebugSession<?> session,
Step step)
Apply a step.
|
void addDebugSession(DebugSession<?> session)
session - the debug sessionvoid step(DebugSession<?> session, Step step)
session - the Debug sessionstep - the stepdefault void installScript(ScriptSource source, ScriptWrapper wrapper)
source - the script sourcewrapper - the ScriptWrapperdefault boolean isScriptInstalled(ScriptSource source)
source - the script sourcevoid endSession()
Copyright © 2019-2025 Herve Girod. All Rights Reserved. Documentation and source under the BSD licence