All Packages Class Hierarchy This Package Previous Next Index
Class AgentSystem.ObjManager
java.lang.Object
|
+----AgentSystem.ObjManager
- public class ObjManager
- extends Object
Questa classe statica ha il compito di gestire gli oggetti esterni agli agenti sia
per fini di condivisione che per necessitÇ di permanenza. Associa ad ogni Oggetto un
identificatore unico: ObjID che ne permette successive identificazioni.
E' un servizio assolutamente locale, la possibilitÇ di muovere eventualmente gli Oggetti
deve essere gestita ad un livello superiore.
- Version:
- 10/12/1997
- Author:
- Fabio Tarantino
-
ObjManager()
-
-
clone(ObjectID)
-
-
dispose(ObjectID)
-
-
get(ObjectID)
- Restituisce il riferimento all ObjectID fornito
-
init()
-
-
store(Object)
- Effettua lo store di un Oggetto
ObjManager
public ObjManager()
init
public static void init()
store
public static synchronized ObjectID store(Object obj)
- Effettua lo store di un Oggetto
get
public static synchronized Object get(ObjectID oid)
- Restituisce il riferimento all ObjectID fornito
dispose
public static synchronized void dispose(ObjectID oid)
clone
public static synchronized ObjectID clone(ObjectID oid)
All Packages Class Hierarchy This Package Previous Next Index