public class CustomREPL
extends java.lang.Object
| Constructor and Description |
|---|
CustomREPL(IInterceptor interceptor,
java.util.List<java.lang.String> loadPaths,
java.io.File app) |
| Modifier and Type | Method and Description |
|---|---|
void |
run(java.lang.String[] args) |
void |
setHandler(java.util.function.Consumer<java.lang.String> handler) |
void |
setPrompt(java.lang.String prompt) |
void |
setPrompt(java.lang.String prompt,
java.lang.String secondaryPrompt) |
public CustomREPL(IInterceptor interceptor, java.util.List<java.lang.String> loadPaths, java.io.File app)