agentid.java

一个agent 工具包,可以开发移动设备应用,考虑了安全措施

package SOMA.naming;

import SOMA.mobilePlace.MobilePlaceID;

/** Identificatore di un {@link SOMA.agent.Agent agente}.
*
* @author Livio Profiri
*/
public class AgentID implements java.io.Serializable
{
  /** Numero di serie dell'agente, unico nell'ambito di un place.
  * @serial
  */
  public final int ID;

  /**
  * Identificatore del place in cui l'agente e' stato creato.
  * @serial*/
  public final PlaceID place;



  /** Costruisce un identificatore a partire dalle sue componenti. */
  public AgentID (PlaceID place, int ID)
  {
      this.ID = ID;
      this.place = place;
  }

  /** Costruisce un identificatore a partire da una stringa.
  * <BR> E' l'inversa di {@link #toString()}.
  */
  public AgentID ( String s ) throws NameException, NumberFormatException
  {
    // Vedo se c'