|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
An object implementing this interface provides location services. This server is an RMI object.
Method Summary | |
java.util.ArrayList |
getAllLocations()
Return the list of locations of all registered bodies. |
UniversalBody |
getLocation(UniqueID id)
Return the current known location of a registred body. |
void |
initialize()
Reinit the state of the location server. |
UniversalBody |
searchObject(UniqueID id,
UniversalBody oldLocation,
UniqueID caller)
Return the current location of object id. |
void |
updateLocation(UniqueID id,
UniversalBody newLocation)
Set the new location of the active object identified by id. |
Method Detail |
public UniversalBody searchObject(UniqueID id, UniversalBody oldLocation, UniqueID caller) throws java.rmi.RemoteException
id
- Unique id of the searched objectoldLocation
- last known location of the searched object
java.rmi.RemoteException
public void updateLocation(UniqueID id, UniversalBody newLocation) throws java.rmi.RemoteException
id
- id of the callernewLocation
- new location of the caller. If this location is null,
the body id is removed from the location table.
java.rmi.RemoteException
public java.util.ArrayList getAllLocations() throws java.rmi.RemoteException
java.rmi.RemoteException
public UniversalBody getLocation(UniqueID id) throws java.rmi.RemoteException
java.rmi.RemoteException
public void initialize() throws java.rmi.RemoteException
java.rmi.RemoteException
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |