public class ReplCompleter
extends java.lang.Object
implements org.jline.reader.Completer
| Constructor and Description |
|---|
ReplCompleter(VeniceInterpreter venice,
Env env,
java.util.List<java.lang.String> loadPaths) |
| Modifier and Type | Method and Description |
|---|---|
void |
complete(org.jline.reader.LineReader reader,
org.jline.reader.ParsedLine line,
java.util.List<org.jline.reader.Candidate> candidates) |
public ReplCompleter(VeniceInterpreter venice, Env env, java.util.List<java.lang.String> loadPaths)