public class Config
extends java.util.Properties
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ANT_LIB
path to ant home (jar directory)
|
static java.lang.String |
CHECK_VERSION |
static java.lang.String |
CLOSEALL |
static java.lang.String |
JACAMO_JAR |
static java.lang.String |
jacamoHomeProp |
static java.lang.String |
JADE_ARGS
runtime jade arguments (the same used in jade.Boot)
|
static java.lang.String |
JADE_JAR
path to jade.jar
|
static java.lang.String |
JADE_RMA
boolean, whether to start jade RMA or not
|
static java.lang.String |
JADE_SNIFFER
boolean, whether to start jade Sniffer or not
|
static java.lang.String |
JASON_JAR
path to jason.jar
|
static java.lang.String |
JAVA_HOME
path to java home
|
static java.lang.String |
MOISE_JAR |
static java.lang.String |
RUN_AS_THREAD |
static java.lang.String |
SHELL_CMD |
static java.lang.String |
SHORT_UNNAMED_VARS |
static java.lang.String |
SHOW_ANNOTS |
static java.lang.String |
START_WEB_MI |
static java.lang.String |
WARN_SING_VAR |
Modifier | Constructor and Description |
---|---|
protected |
Config() |
Modifier and Type | Method and Description |
---|---|
static boolean |
checkAntLib(java.lang.String al) |
static boolean |
checkJar(java.lang.String jar) |
static boolean |
checkJar(java.lang.String jar,
int minSize) |
static boolean |
checkJavaHomePath(java.lang.String javaHome) |
static boolean |
checkJREHomePath(java.lang.String javaHome) |
void |
fix()
Set most important parameters with default values
|
static Config |
get() |
static Config |
get(boolean tryToFixConfig) |
java.lang.String |
getAntLib()
Returns the path to the ant home directory (where its jars are stored)
|
java.lang.String[] |
getAvailableInfrastructures() |
boolean |
getBoolean(java.lang.String key) |
java.io.InputStream |
getDetaultResource(java.lang.String templateName) |
java.lang.String |
getFileConfComment() |
java.lang.String |
getInfrastructureFactoryClass(java.lang.String infraId) |
java.lang.String |
getJadeArgs()
Return the jade args (those used in jade.Boot)
|
java.lang.String[] |
getJadeArrayArgs() |
java.lang.String |
getJadeJar()
Returns the full path to the jade.jar file
|
java.lang.String |
getJasonBuiltDate() |
java.lang.String |
getJasonHome()
returns the jason home (based on jason.jar)
|
java.lang.String |
getJasonJar()
Returns the full path to the jason.jar file
|
java.lang.String |
getJasonRunningVersion() |
java.lang.String |
getJavaHome()
Returns the path to the java home directory
|
java.io.File |
getMasterConfFile() |
java.lang.String |
getShellCommand() |
java.lang.String |
getTemplate(java.lang.String templateName) |
java.io.File |
getUserConfFile()
returns the file where the user preferences are stored
|
static boolean |
isWindows() |
boolean |
load()
Returns true if the file is loaded correctly
|
static void |
main(java.lang.String[] args) |
void |
removeInfrastructureFactoryClass(java.lang.String infraId) |
void |
setAntLib(java.lang.String al) |
void |
setInfrastructureFactoryClass(java.lang.String infraId,
java.lang.String factory) |
void |
setJavaHome(java.lang.String jh) |
void |
store() |
void |
store(java.io.File f) |
getProperty, getProperty, list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames
public static final java.lang.String JASON_JAR
public static final java.lang.String ANT_LIB
public static final java.lang.String JADE_JAR
public static final java.lang.String MOISE_JAR
public static final java.lang.String JACAMO_JAR
public static final java.lang.String JADE_ARGS
public static final java.lang.String JADE_RMA
public static final java.lang.String JADE_SNIFFER
public static final java.lang.String JAVA_HOME
public static final java.lang.String RUN_AS_THREAD
public static final java.lang.String SHELL_CMD
public static final java.lang.String CLOSEALL
public static final java.lang.String CHECK_VERSION
public static final java.lang.String WARN_SING_VAR
public static final java.lang.String SHOW_ANNOTS
public static final java.lang.String jacamoHomeProp
public static final java.lang.String SHORT_UNNAMED_VARS
public static final java.lang.String START_WEB_MI
public static Config get()
public static Config get(boolean tryToFixConfig)
public java.io.File getUserConfFile()
public java.io.File getMasterConfFile()
public java.lang.String getFileConfComment()
public boolean load()
public boolean getBoolean(java.lang.String key)
public java.lang.String getJasonJar()
public java.lang.String getJasonHome()
public java.lang.String getJadeJar()
public java.lang.String getJadeArgs()
public java.lang.String[] getJadeArrayArgs()
public java.lang.String getJavaHome()
public java.lang.String getAntLib()
public void setJavaHome(java.lang.String jh)
public void setAntLib(java.lang.String al)
public java.lang.String getShellCommand()
public void fix()
public void store()
public void store(java.io.File f)
public java.lang.String[] getAvailableInfrastructures()
public java.lang.String getInfrastructureFactoryClass(java.lang.String infraId)
public void setInfrastructureFactoryClass(java.lang.String infraId, java.lang.String factory)
public void removeInfrastructureFactoryClass(java.lang.String infraId)
public java.lang.String getJasonRunningVersion()
public java.lang.String getJasonBuiltDate()
public static boolean checkJar(java.lang.String jar)
public static boolean checkJar(java.lang.String jar, int minSize)
public static boolean checkJavaHomePath(java.lang.String javaHome)
public static boolean checkJREHomePath(java.lang.String javaHome)
public static boolean checkAntLib(java.lang.String al)
public static boolean isWindows()
public java.lang.String getTemplate(java.lang.String templateName)
public java.io.InputStream getDetaultResource(java.lang.String templateName) throws java.io.IOException
java.io.IOException
public static void main(java.lang.String[] args)