Package jason.util

Class Config

java.lang.Object

java.util.Dictionary<Object,Object>

java.util.Hashtable<Object,Object>

java.util.Properties

jason.util.Config

All Implemented Interfaces:

Serializable, Cloneable, Map<Object,Object>

public class Config
extends Properties

Jason configuration

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected static String	configFactory
static final String	JADE_ARGS	runtime jade arguments (the same used in jade.Boot)
static final String	JADE_RMA	boolean, whether to start jade RMA or not
static final String	JADE_SNIFFER	boolean, whether to start jade Sniffer or not
static final String	JASON_JAR	path to jason.jar
static final String	JASON_PKG
static final String	KQML_PLANS_FILE
static final String	KQML_RECEIVED_FUNCTOR
static final String	NB_TH_SCH
protected Map<String,File>	packages
static final String	SHORT_UNNAMED_VARS
static final String	SHOW_ANNOTS
protected static boolean	showFixMsgs
protected static Config	singleton
static final String	START_WEB_EI
static final String	START_WEB_MI
static final String	START_WEB_OI
static final 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
void	addPackage(String key, File value)
static boolean	checkJar(String jar)
boolean	checkJar(String jar, String file)
boolean	checkJarHasFile(String jarFile, String file)
void	clearPackages()
static String	findJarInDirectory(File dir, String prefix)
void	fix()	Set most important parameters with default values
static Config	get()
static Config	get(boolean tryToFixConfig)
boolean	getBoolean(String key)
Class	getClassForClassLoaderTest(String jarEntry)
InputStream	getDefaultResource(String templateName)
String	getFileConfComment()
protected String	getHome()
String	getJadeArgs()	Return the jade args (those used in jade.Boot)
String[]	getJadeArrayArgs()
String	getJarFileForFixTest(String jarEntry)
protected String	getJarFromClassPath(String file, String fileInsideJar)
String	getJasonBuiltDate()
String	getJasonHome()	returns the jason home (based on jason.jar)
String	getJasonJar()	Returns the full path to the jason.jar file
String	getJasonVersion()
String	getKqmlFunctor()
String	getKqmlPlansFile()
File	getLocalConfFile()
String	getMindInspectorArchClassName()
String	getMindInspectorWebServerClassName()
File	getPackage(String key)
Map<String,File>	getPackages()
String	getPresentation()
String	getTemplate(String templateName)
File	getUserConfFile()	returns the file where the user preferences are stored
boolean	load()	Returns true if the file is loaded correctly
static void	main(String[] args)
Object	put(Object key, Object value)
static void	setClassFactory(String f)
void	setShowFixMsgs(boolean b)
void	store()
void	store(File f)
boolean	tryToFixJarFileConf(String jarEntry, String jarFileNamePrefix)

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, 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

JASON_JAR

public static final String JASON_JAR

path to jason.jar

See Also:

• Constant Field Values

JASON_PKG

public static final String JASON_PKG

See Also:

• Constant Field Values

JADE_ARGS

public static final String JADE_ARGS

runtime jade arguments (the same used in jade.Boot)

See Also:

• Constant Field Values

JADE_RMA

public static final String JADE_RMA

boolean, whether to start jade RMA or not

See Also:

• Constant Field Values

JADE_SNIFFER

public static final String JADE_SNIFFER

boolean, whether to start jade Sniffer or not

See Also:

• Constant Field Values

WARN_SING_VAR

public static final String WARN_SING_VAR

See Also:

• Constant Field Values

SHOW_ANNOTS

public static final String SHOW_ANNOTS

See Also:

• Constant Field Values

SHORT_UNNAMED_VARS

public static final String SHORT_UNNAMED_VARS

See Also:

• Constant Field Values

START_WEB_MI

public static final String START_WEB_MI

See Also:

• Constant Field Values

START_WEB_EI

public static final String START_WEB_EI

See Also:

• Constant Field Values

START_WEB_OI

public static final String START_WEB_OI

See Also:

• Constant Field Values

NB_TH_SCH

public static final String NB_TH_SCH

See Also:

• Constant Field Values

KQML_RECEIVED_FUNCTOR

public static final String KQML_RECEIVED_FUNCTOR

See Also:

• Constant Field Values

KQML_PLANS_FILE

public static final String KQML_PLANS_FILE

See Also:

• Constant Field Values

singleton

protected static Config singleton

configFactory

protected static String configFactory

showFixMsgs

protected static boolean showFixMsgs

packages

protected Map<String,File> packages

Constructor Details

Config

public Config()

Method Details

setClassFactory

public static void setClassFactory(String f)

get

public static Config get()

get

public static Config get(boolean tryToFixConfig)

setShowFixMsgs

public void setShowFixMsgs(boolean b)

getUserConfFile

public File getUserConfFile()

returns the file where the user preferences are stored

getLocalConfFile

public File getLocalConfFile()

getFileConfComment

public String getFileConfComment()

load

public boolean load()

Returns true if the file is loaded correctly

getBoolean

public boolean getBoolean(String key)

put

public Object put(Object key,
 Object value)

Specified by:

put in interface Map<Object,Object>

Overrides:

put in class Properties

getJasonJar

public String getJasonJar()

Returns the full path to the jason.jar file

getJasonHome

public String getJasonHome()

returns the jason home (based on jason.jar)

getJadeArgs

public String getJadeArgs()

Return the jade args (those used in jade.Boot)

getJadeArrayArgs

public String[] getJadeArrayArgs()

getKqmlFunctor

public String getKqmlFunctor()

getKqmlPlansFile

public String getKqmlPlansFile()

fix

public void fix()

Set most important parameters with default values

store

public void store()

store

public void store(File f)

getJasonVersion

public String getJasonVersion()

getJasonBuiltDate

public String getJasonBuiltDate()

getClassForClassLoaderTest

public Class getClassForClassLoaderTest(String jarEntry)

getJarFileForFixTest

public String getJarFileForFixTest(String jarEntry)

tryToFixJarFileConf

public boolean tryToFixJarFileConf(String jarEntry,
 String jarFileNamePrefix)

findJarInDirectory

public static String findJarInDirectory(File dir,
 String prefix)

checkJar

public static boolean checkJar(String jar)

checkJar

public boolean checkJar(String jar,
 String file)

checkJarHasFile

public boolean checkJarHasFile(String jarFile,
 String file)

getJarFromClassPath

protected String getJarFromClassPath(String file,
 String fileInsideJar)

getTemplate

public String getTemplate(String templateName)

getHome

protected String getHome()

getDefaultResource

public InputStream getDefaultResource(String templateName)
                               throws IOException

Throws:

IOException

main

public static void main(String[] args)

getMindInspectorArchClassName

public String getMindInspectorArchClassName()

getMindInspectorWebServerClassName

public String getMindInspectorWebServerClassName()

getPresentation

public String getPresentation()

addPackage

public void addPackage(String key,
 File value)

getPackage

public File getPackage(String key)

getPackages

public Map<String,File> getPackages()

clearPackages

public void clearPackages()