public interface Language
| Modifier and Type | Method and Description |
|---|---|
void |
destroy(ShellSession session)
Destroy session callback.
|
Compiler |
getCompiler() |
String |
getDisplayName() |
String |
getName() |
Repl |
getRepl() |
void |
init(ShellSession session)
Init session callback.
|
boolean |
isActive() |
String getDisplayName()
boolean isActive()
Repl getRepl()
Compiler getCompiler()
void init(ShellSession session)
session - the initialized sessionvoid destroy(ShellSession session)
session - the destroyed sessionCopyright © 2015 eXo Platform SAS. All Rights Reserved.