jason.core
Class JasManager

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

public class JasManager
extends java.lang.Object

Created Mon Jun 10 15:11:51 2002

This is a manager for the .jas format. This format is a compact way for integrating services in JASon. This format is always temporary and uncompress in the specified directory each time for performance usage.


Constructor Summary
JasManager(java.io.File f)
           
 
Method Summary
 void init(Domain d)
          Load the '.jas' file
 void setJasManagerListener(JasManagerListener listener)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JasManager

public JasManager(java.io.File f)
Parameters:
f - File
Method Detail

init

public void init(Domain d)
Load the '.jas' file


setJasManagerListener

public void setJasManagerListener(JasManagerListener listener)