|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--jason.core.JasManager
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 |
public JasManager(java.io.File f)
f
- FileMethod Detail |
public void init(Domain d)
public void setJasManagerListener(JasManagerListener listener)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |