public interface IRepl
| Modifier and Type | Method and Description |
|---|---|
int |
getTerminalHeight() |
int |
getTerminalWidth() |
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) |
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)
int getTerminalWidth()
int getTerminalHeight()