|
Method Summary | ||
static String |
getPlatformID() | |
void |
setLocalName(String n) Overridden to use a proper platform name. |
|
static void |
setPlatformID(String id) |
Methods inherited from class jade.core.AID |
addAddresses, addResolvers, addUserDefinedSlot, clearAllAddresses, clearAllResolvers, clone, compareTo, createGUID, equals, getAddressesArray, getAllAddresses, getAllResolvers, getAllUserDefinedSlot, getHap, getLocalName, getName, getResolversArray, hashCode, removeAddresses, removeResolvers, removeUserDefinedSlot, setName, toString |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
|