public class ReplConfig
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
ANSI_RESET |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
get(java.lang.String key) |
java.lang.String |
getColor(java.lang.String key) |
java.lang.String |
getLoadFile() |
java.lang.String |
getOrDefault(java.lang.String key,
java.lang.String defaultValue) |
java.lang.String |
getPrompt() |
static java.lang.String |
getRawClasspathConfig() |
java.lang.String |
getResultPrefix() |
java.lang.String |
getSecondaryPrompt() |
static ReplConfig |
load(CommandLineArgs cli) |
boolean |
useColors() |
public static final java.lang.String ANSI_RESET
public static ReplConfig load(CommandLineArgs cli)
public java.lang.String getColor(java.lang.String key)
public java.lang.String get(java.lang.String key)
public java.lang.String getOrDefault(java.lang.String key,
java.lang.String defaultValue)
public boolean useColors()
public java.lang.String getLoadFile()
public java.lang.String getPrompt()
public java.lang.String getSecondaryPrompt()
public java.lang.String getResultPrefix()
public static java.lang.String getRawClasspathConfig()