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-2024 Herve Girod. All Rights Reserved. Documentation and source under the BSD licence