|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--jason.core.JasonEnv
Created Wed Mar 27 09:53:26 2002
This is the major configuration manager. It parses the 'jason.xml' file and build an Domain object managing with all available services.
Field Summary | |
static java.lang.String |
version
|
Constructor Summary | |
JasonEnv(java.io.File file)
It parses the following file with a domain jason definition |
Method Summary | |
Domain |
getRootDomain()
Return the domain tied to the configuration file |
void |
helpMessage()
|
void |
init()
Parse the jason.xml file |
protected void |
initDomain(org.w3c.dom.Element domain)
|
protected void |
initEnv(org.w3c.dom.Element root)
|
void |
run()
|
void |
setArgumentProperty(java.lang.String name,
java.lang.String value)
Set a property for the command line |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static java.lang.String version
Constructor Detail |
public JasonEnv(java.io.File file) throws JasonException
Method Detail |
public void setArgumentProperty(java.lang.String name, java.lang.String value)
public void helpMessage()
public void init() throws JasonException
JasonException
public void run()
public Domain getRootDomain()
protected void initEnv(org.w3c.dom.Element root) throws JasonException
JasonException
protected void initDomain(org.w3c.dom.Element domain) throws JasonException
JasonException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |