jason.core
Class JasonEnv

java.lang.Object
  |
  +--jason.core.JasonEnv

public class JasonEnv
extends java.lang.Object

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

version

public static java.lang.String version
Constructor Detail

JasonEnv

public JasonEnv(java.io.File file)
         throws JasonException
It parses the following file with a domain jason definition

Method Detail

setArgumentProperty

public void setArgumentProperty(java.lang.String name,
                                java.lang.String value)
Set a property for the command line


helpMessage

public void helpMessage()

init

public void init()
          throws JasonException
Parse the jason.xml file

JasonException

run

public void run()

getRootDomain

public Domain getRootDomain()
Return the domain tied to the configuration file


initEnv

protected void initEnv(org.w3c.dom.Element root)
                throws JasonException
JasonException

initDomain

protected void initDomain(org.w3c.dom.Element domain)
                   throws JasonException
JasonException