|
||||||||||
| 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 - File| Method 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 | |||||||||