public class ReplConfig
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
ReplConfig.ColorMode |
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
ANSI_RESET |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getColor(java.lang.String key) |
ReplConfig.ColorMode |
getColorMode() |
java.lang.String |
getConfigSource() |
static java.lang.String |
getDefaultClasspathConfig() |
static java.lang.String |
getDefaultClasspathLauncherScript() |
java.lang.String |
getJansiVersion() |
java.util.logging.Level |
getJLineLogLevel() |
static java.lang.String |
getLauncherScriptName() |
java.lang.String |
getLoadFile() |
java.lang.String |
getPrompt() |
java.lang.String |
getResultPrefix() |
java.lang.String |
getSecondaryPrompt() |
boolean |
isJLineDumbTerminal() |
static ReplConfig |
load(CommandLineArgs cli) |
public static final java.lang.String ANSI_RESET
public static ReplConfig load(CommandLineArgs cli)
public java.lang.String getConfigSource()
public ReplConfig.ColorMode getColorMode()
public java.lang.String getColor(java.lang.String key)
public java.lang.String getLoadFile()
public java.lang.String getPrompt()
public java.lang.String getSecondaryPrompt()
public java.lang.String getResultPrefix()
public java.util.logging.Level getJLineLogLevel()
public boolean isJLineDumbTerminal()
public java.lang.String getJansiVersion()
public static java.lang.String getDefaultClasspathConfig()
public static java.lang.String getLauncherScriptName()
public static java.lang.String getDefaultClasspathLauncherScript()