Class Overview
Provides access to configuration values.
Summary
Constants |
String |
JLINE_CONFIGURATION |
System property which can point to a file or URL containing configuration properties to load. |
String |
JLINE_RC |
Default configuration file name loaded from user's home directory. |
[Expand]
Inherited Methods |
From class
java.lang.Object
Object
|
clone()
|
boolean
|
equals(Object arg0)
|
void
|
finalize()
|
final
Class<?>
|
getClass()
|
int
|
hashCode()
|
final
void
|
notify()
|
final
void
|
notifyAll()
|
String
|
toString()
|
final
void
|
wait()
|
final
void
|
wait(long arg0, int arg1)
|
final
void
|
wait(long arg0)
|
|
Constants
public
static
final
String
JLINE_CONFIGURATION
System property which can point to a file or URL containing configuration properties to load.
Constant Value:
"jline.configuration"
public
static
final
String
JLINE_RC
Default configuration file name loaded from user's home directory.
Constant Value:
".jline.rc"
Public Constructors
Public Methods
public
static
boolean
getBoolean
(String name, boolean defaultValue)
public
static
String
getEncoding
()
Get the default encoding. Will first look at the LC_CTYPE environment variable, then the input.encoding
system property, then the default charset according to the JVM.
Returns
- The default encoding to use when none is specified.
public
static
String
getFileEncoding
()
public
static
int
getInteger
(String name, int defaultValue)
public
static
String
getLineSeparator
()
public
static
long
getLong
(String name, long defaultValue)
public
static
String
getOsName
()
public
static
File
getUserHome
()
public
static
boolean
isWindows
()
public
static
void
reset
()