lancioagente.java

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

/**  LancioAgente
 *     Finestra per definire e lanciare un AGENTE in un certo place
 *     @author     Luigi Antenucci
 *     @version    1.0
 *     @language   jdk 1.2.2
 */

package SOMA.gui;

import SOMA.gui.lingua.Lingua;
import SOMA.naming.PlaceID;
import SOMA.Environment;
import SOMA.security.SecurityEnvironment;

import java.util.Enumeration;
import java.util.Vector;
import java.util.StringTokenizer;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;


public class LancioAgente extends Finestra implements PanPlaceListener {

      /**
       *  ICONE CARICATE UNA VOLTA SOLA ALLA CREAZIONE DELLA CLASSE!
       */
  protected static final ImageIcon IMG_ICO_LANCIO  = new ImageIcon(PICTURE_PATH+"Lancio.gif");
  protected static final ImageIcon IMG_ICO_CANCEL  = new ImageIcon(PICTURE_PATH+"BotKO.gif");
  protected static final ImageIcon IMG_ICO_ZAMP    = new ImageIcon(PICTURE_PATH+"Zampina.gif");

  // Variabili protette:
      /**
       *  Finestra genitore (da disabilitare).
       */
  protected Finestra finGenitore;

      /**
       *  ActionPlace di riferimento, a cui inviare le richieste di qualsiasi dato.
       *  La cosa principale da chiedere