Package jason.util
Class Config
java.lang.Object
java.util.Dictionary<K,V>
java.util.Hashtable<java.lang.Object,java.lang.Object>
java.util.Properties
jason.util.Config
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Cloneable
,java.util.Map<java.lang.Object,java.lang.Object>
public class Config
extends java.util.Properties
Jason configuration (used by JasonID to generate the project's scripts)
- Author:
- jomi
- See Also:
- Serialized Form
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
ANT_LIB
path to ant home (jar directory)static java.lang.String
CHECK_VERSION
static java.lang.String
CLOSEALL
protected static java.lang.String
configFactory
static java.lang.String
JADE_ARGS
runtime jade arguments (the same used in jade.Boot)static java.lang.String
JADE_JAR
path to jade.jarstatic java.lang.String
JADE_RMA
boolean, whether to start jade RMA or notstatic java.lang.String
JADE_SNIFFER
boolean, whether to start jade Sniffer or notstatic java.lang.String
JASON_JAR
path to jason.jarstatic java.lang.String
JAVA_HOME
path to java homestatic java.lang.String
KQML_PLANS_FILE
static java.lang.String
KQML_RECEIVED_FUNCTOR
static java.lang.String
NB_TH_SCH
static java.lang.String
RUN_AS_THREAD
private static long
serialVersionUID
static java.lang.String
SHELL_CMD
static java.lang.String
SHORT_UNNAMED_VARS
static java.lang.String
SHOW_ANNOTS
protected static boolean
showFixMsgs
protected static Config
singleton
static java.lang.String
START_WEB_EI
static java.lang.String
START_WEB_MI
static java.lang.String
START_WEB_OI
static java.lang.String
WARN_SING_VAR
Fields inherited from class java.util.Properties
defaults
-
Constructor Summary
Constructors Constructor Description Config()
-
Method Summary
Modifier and Type Method Description static boolean
checkAntLib(java.lang.String al)
static boolean
checkJar(java.lang.String jar)
boolean
checkJar(java.lang.String jar, java.lang.String file)
boolean
checkJarHasFile(java.lang.String jarFile, java.lang.String file)
static boolean
checkJavaHomePath(java.lang.String javaHome)
static boolean
checkJREHomePath(java.lang.String javaHome)
(package private) static java.lang.String
findFile(java.io.File p, java.lang.String file)
static java.lang.String
findJarInDirectory(java.io.File dir, java.lang.String prefix)
void
fix()
Set most important parameters with default valuesstatic Config
get()
static Config
get(boolean tryToFixConfig)
java.lang.String
getAntJar()
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.lang.Class
getClassForClassLoaderTest(java.lang.String jarEntry)
java.io.InputStream
getDetaultResource(java.lang.String templateName)
protected java.lang.String
getEclipseInstallationDirectory()
java.lang.String
getFileConfComment()
protected java.lang.String
getHome()
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 filejava.lang.String
getJarFileForFixTest(java.lang.String jarEntry)
protected java.lang.String
getJarFromClassPath(java.lang.String file, java.lang.String fileInsideJar)
private java.lang.String
getJarFromEclipseInstallation(java.lang.String 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 filejava.lang.String
getJasonVersion()
java.lang.String
getJavaHome()
Returns the path to the java home directoryjava.lang.String
getKqmlFunctor()
java.lang.String
getKqmlPlansFile()
java.io.File
getLocalConfFile()
java.lang.String
getMindInspectorArchClassName()
java.lang.String
getMindInspectorWebServerClassName()
java.lang.String
getPresentation()
java.lang.String
getShellCommand()
java.lang.String
getTemplate(java.lang.String templateName)
java.io.File
getUserConfFile()
returns the file where the user preferences are storedstatic boolean
isWindows()
boolean
load()
Returns true if the file is loaded correctlystatic void
main(java.lang.String[] args)
void
removeInfrastructureFactoryClass(java.lang.String infraId)
void
resetSomeProps()
void
setAntLib(java.lang.String al)
static void
setClassFactory(java.lang.String f)
private void
setDefaultInfra()
void
setInfrastructureFactoryClass(java.lang.String infraId, java.lang.String factory)
void
setJavaHome(java.lang.String jh)
void
setShowFixMsgs(boolean b)
void
store()
void
store(java.io.File f)
boolean
tryToFixJarFileConf(java.lang.String jarEntry, java.lang.String jarFilePrefix)
Methods inherited from class java.util.Properties
clear, clone, compute, computeIfAbsent, computeIfPresent, contains, containsKey, containsValue, elements, entrySet, equals, forEach, get, getOrDefault, getProperty, getProperty, hashCode, isEmpty, keys, keySet, list, list, load, load, loadFromXML, merge, propertyNames, put, putAll, putIfAbsent, rehash, remove, remove, replace, replace, replaceAll, save, setProperty, size, store, store, storeToXML, storeToXML, storeToXML, stringPropertyNames, toString, values
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
-
Field Details
-
serialVersionUID
private static final long serialVersionUID- See Also:
- Constant Field Values
-
JASON_JAR
public static final java.lang.String JASON_JARpath to jason.jar- See Also:
- Constant Field Values
-
ANT_LIB
public static final java.lang.String ANT_LIBpath to ant home (jar directory)- See Also:
- Constant Field Values
-
JADE_JAR
public static final java.lang.String JADE_JARpath to jade.jar- See Also:
- Constant Field Values
-
JADE_ARGS
public static final java.lang.String JADE_ARGSruntime jade arguments (the same used in jade.Boot)- See Also:
- Constant Field Values
-
JADE_RMA
public static final java.lang.String JADE_RMAboolean, whether to start jade RMA or not- See Also:
- Constant Field Values
-
JADE_SNIFFER
public static final java.lang.String JADE_SNIFFERboolean, whether to start jade Sniffer or not- See Also:
- Constant Field Values
-
JAVA_HOME
public static final java.lang.String JAVA_HOMEpath to java home- See Also:
- Constant Field Values
-
RUN_AS_THREAD
public static final java.lang.String RUN_AS_THREAD- See Also:
- Constant Field Values
-
SHELL_CMD
public static final java.lang.String SHELL_CMD- See Also:
- Constant Field Values
-
CLOSEALL
public static final java.lang.String CLOSEALL- See Also:
- Constant Field Values
-
CHECK_VERSION
public static final java.lang.String CHECK_VERSION- See Also:
- Constant Field Values
-
WARN_SING_VAR
public static final java.lang.String WARN_SING_VAR- See Also:
- Constant Field Values
-
SHOW_ANNOTS
public static final java.lang.String SHOW_ANNOTS- See Also:
- Constant Field Values
-
SHORT_UNNAMED_VARS
public static final java.lang.String SHORT_UNNAMED_VARS- See Also:
- Constant Field Values
-
START_WEB_MI
public static final java.lang.String START_WEB_MI- See Also:
- Constant Field Values
-
START_WEB_EI
public static final java.lang.String START_WEB_EI- See Also:
- Constant Field Values
-
START_WEB_OI
public static final java.lang.String START_WEB_OI- See Also:
- Constant Field Values
-
NB_TH_SCH
public static final java.lang.String NB_TH_SCH- See Also:
- Constant Field Values
-
KQML_RECEIVED_FUNCTOR
public static final java.lang.String KQML_RECEIVED_FUNCTOR- See Also:
- Constant Field Values
-
KQML_PLANS_FILE
public static final java.lang.String KQML_PLANS_FILE- See Also:
- Constant Field Values
-
singleton
-
configFactory
protected static java.lang.String configFactory -
showFixMsgs
protected static boolean showFixMsgs
-
-
Constructor Details
-
Config
public Config()
-
-
Method Details
-
setClassFactory
public static void setClassFactory(java.lang.String f) -
get
-
get
-
setShowFixMsgs
public void setShowFixMsgs(boolean b) -
getUserConfFile
public java.io.File getUserConfFile()returns the file where the user preferences are stored -
getLocalConfFile
public java.io.File getLocalConfFile() -
getFileConfComment
public java.lang.String getFileConfComment() -
load
public boolean load()Returns true if the file is loaded correctly -
getBoolean
public boolean getBoolean(java.lang.String key) -
getJasonJar
public java.lang.String getJasonJar()Returns the full path to the jason.jar file -
getJasonHome
public java.lang.String getJasonHome()returns the jason home (based on jason.jar) -
getJadeJar
public java.lang.String getJadeJar()Returns the full path to the jade.jar file -
getJadeArgs
public java.lang.String getJadeArgs()Return the jade args (those used in jade.Boot) -
getJadeArrayArgs
public java.lang.String[] getJadeArrayArgs() -
getJavaHome
public java.lang.String getJavaHome()Returns the path to the java home directory -
getAntLib
public java.lang.String getAntLib()Returns the path to the ant home directory (where its jars are stored) -
getAntJar
public java.lang.String getAntJar() -
setJavaHome
public void setJavaHome(java.lang.String jh) -
setAntLib
public void setAntLib(java.lang.String al) -
getShellCommand
public java.lang.String getShellCommand() -
getKqmlFunctor
public java.lang.String getKqmlFunctor() -
getKqmlPlansFile
public java.lang.String getKqmlPlansFile() -
resetSomeProps
public void resetSomeProps() -
fix
public void fix()Set most important parameters with default values -
setDefaultInfra
private void setDefaultInfra() -
store
public void store() -
store
public void store(java.io.File f) -
getAvailableInfrastructures
public java.lang.String[] getAvailableInfrastructures() -
getInfrastructureFactoryClass
public java.lang.String getInfrastructureFactoryClass(java.lang.String infraId) -
setInfrastructureFactoryClass
public void setInfrastructureFactoryClass(java.lang.String infraId, java.lang.String factory) -
removeInfrastructureFactoryClass
public void removeInfrastructureFactoryClass(java.lang.String infraId) -
getJasonVersion
public java.lang.String getJasonVersion() -
getJasonBuiltDate
public java.lang.String getJasonBuiltDate() -
getClassForClassLoaderTest
public java.lang.Class getClassForClassLoaderTest(java.lang.String jarEntry) -
getJarFileForFixTest
public java.lang.String getJarFileForFixTest(java.lang.String jarEntry) -
tryToFixJarFileConf
public boolean tryToFixJarFileConf(java.lang.String jarEntry, java.lang.String jarFilePrefix) -
findFile
static java.lang.String findFile(java.io.File p, java.lang.String file) -
findJarInDirectory
public static java.lang.String findJarInDirectory(java.io.File dir, java.lang.String prefix) -
checkJar
public static boolean checkJar(java.lang.String jar) -
checkJar
public boolean checkJar(java.lang.String jar, java.lang.String file) -
checkJarHasFile
public boolean checkJarHasFile(java.lang.String jarFile, java.lang.String file) -
checkJavaHomePath
public static boolean checkJavaHomePath(java.lang.String javaHome) -
checkJREHomePath
public static boolean checkJREHomePath(java.lang.String javaHome) -
checkAntLib
public static boolean checkAntLib(java.lang.String al) -
isWindows
public static boolean isWindows() -
getJarFromClassPath
protected java.lang.String getJarFromClassPath(java.lang.String file, java.lang.String fileInsideJar) -
getEclipseInstallationDirectory
protected java.lang.String getEclipseInstallationDirectory() -
getJarFromEclipseInstallation
private java.lang.String getJarFromEclipseInstallation(java.lang.String file) -
getTemplate
public java.lang.String getTemplate(java.lang.String templateName) -
getHome
protected java.lang.String getHome() -
getDetaultResource
public java.io.InputStream getDetaultResource(java.lang.String templateName) throws java.io.IOException- Throws:
java.io.IOException
-
main
public static void main(java.lang.String[] args) -
getMindInspectorArchClassName
public java.lang.String getMindInspectorArchClassName() -
getMindInspectorWebServerClassName
public java.lang.String getMindInspectorWebServerClassName() -
getPresentation
public java.lang.String getPresentation()
-