public class DebuggerEngine.Destructor extends Object
DebuggerEngineProvider.setDestructor(DebuggerEngine.Destructor)
, or
DelegatingDebuggerEngineProvider.setDestructor(DebuggerEngine.Destructor)
.Constructor and Description |
---|
Destructor() |
Modifier and Type | Method and Description |
---|---|
void |
killEngine()
Removes DebuggerEngine form all sessions.
|
void |
killLanguage(Session s,
String language)
Removes given language support from given session.
|