org.jledit.jline

Class JlineConfiguration

java.lang.Object

org.jledit.jline.JlineConfiguration

public class JlineConfiguration
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	JLINE_CONFIGURATION System property which can point to a file or URL containing configuration properties to load.
static String	JLINE_RC Default configuration file name loaded from user's home directory.

Constructor Summary

Constructors

Constructor and Description
JlineConfiguration()

Method Summary

Methods

Modifier and Type	Method and Description
static boolean	getBoolean(String name, boolean defaultValue)
static String	getEncoding()
static String	getFileEncoding()
static int	getInteger(String name, int defaultValue)
static String	getLineSeparator()
static long	getLong(String name, long defaultValue)
static String	getOsName()
static Properties	getProperties()
static String	getString(String name)
static String	getString(String name, String defaultValue)
static File	getUserHome()
static boolean	isWindows()
static void	reset()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

JLINE_CONFIGURATION

public static final String JLINE_CONFIGURATION

System property which can point to a file or URL containing configuration properties to load.

Since:

2.7

See Also:

Constant Field Values

JLINE_RC

public static final String JLINE_RC

Default configuration file name loaded from user's home directory.

See Also:

Constant Field Values

Constructor Detail

JlineConfiguration

public JlineConfiguration()

Method Detail

reset

public static void reset()

Since:

2.7

getProperties

public static Properties getProperties()

Since:

2.7

getString

public static String getString(String name,
               String defaultValue)

getString

public static String getString(String name)

getBoolean

public static boolean getBoolean(String name,
                 boolean defaultValue)

getInteger

public static int getInteger(String name,
             int defaultValue)

Since:

2.6

getLong

public static long getLong(String name,
           long defaultValue)

Since:

2.6

getLineSeparator

public static String getLineSeparator()

Since:

2.7

getUserHome

public static File getUserHome()

getOsName

public static String getOsName()

isWindows

public static boolean isWindows()

Since:

2.7

getFileEncoding

public static String getFileEncoding()

getEncoding

public static String getEncoding()