public class SystemProperties extends Object
| Modifier and Type | Field and Description |
|---|---|
static boolean |
ASSERTIONS_ENABLED |
static boolean |
RUNNING_IN_ECLIPSE |
| Constructor and Description |
|---|
SystemProperties() |
| Modifier and Type | Method and Description |
|---|---|
static Properties |
getAllProperties() |
static boolean |
getBoolean(String name)
Get boolean property, returning false if a security manager prevents us
from accessing system properties
(incomplete) list of known system properties
"report_TESTING_pattern_in_standard_detectors" - default is false
|
static boolean |
getBoolean(String name,
boolean defaultValue) |
static int |
getInt(String name,
int defaultValue) |
static Integer |
getInteger(String arg0,
int arg1)
Deprecated.
Use
getInt(String,int) instead |
static Properties |
getLocalProperties() |
static String |
getOSDependentProperty(String name) |
static String |
getProperty(String name) |
static String |
getProperty(String name,
String defaultValue) |
static void |
loadPropertiesFromURL(URL url)
This method is public to allow clients to set system properties via any
URL |
static String |
rewriteURLAccordingToProperties(String u) |
static void |
setProperty(String name,
String value) |
public static final boolean ASSERTIONS_ENABLED
public static final boolean RUNNING_IN_ECLIPSE
public static Properties getLocalProperties()
public static Properties getAllProperties()
public static void loadPropertiesFromURL(URL url)
URLurl - an url to load system properties from, may be nullerrorMsgpublic static boolean getBoolean(String name)
(incomplete) list of known system properties
public static boolean getBoolean(String name, boolean defaultValue)
@Deprecated public static Integer getInteger(String arg0, int arg1)
getInt(String,int) insteadarg0 - property namearg1 - default valuepublic static int getInt(String name, int defaultValue)
name - property namedefaultValue - default valuepublic static String getOSDependentProperty(String name)
name - property namepublic static String getProperty(String name)
name - property namepublic static String getProperty(String name, String defaultValue)
name - property namedefaultValue - default valueCopyright © 2003–2015. All rights reserved.