📄 posizioneagenti.java
字号:
/** PosizioneAgenti
* Finestra per mostrare e "manipolare" gli agenti presenti in un certo place (locale).
* @author Luigi Antenucci
* @version 1.0
* @language jdk 1.2.2
*/
package SOMA.gui;
import SOMA.gui.lingua.Lingua;
import SOMA.Environment;
import SOMA.naming.PlaceID;
import SOMA.naming.AgentID;
import SOMA.agent.mobility.AgentPositionStore;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.table.TableModel;
import javax.swing.table.AbstractTableModel;
public class PosizioneAgenti extends Finestra {
/**
* ICONE CARICATE UNA VOLTA SOLA ALLA CREAZIONE DELLA CLASSE!
*/
protected static final ImageIcon IMG_ICO_UPDATE = new ImageIcon(PICTURE_PATH+"AgentUpdate.gif");
protected static final ImageIcon IMG_ICO_CANC = new ImageIcon(PICTURE_PATH+"BotKO.gif");
protected static final ImageIcon IMG_ICO_ZAMPA = new ImageIcon(PICTURE_PATH+"Zampina.gif");
/**
* Per memorizzare i parametri passati al costruttore,
* in modo che siano visibili anche agli altri metodi.
*/
protected Environment env;
protected AgentPositionStore mioAgentPositionStore;
/**
* Oggetti che mostrano frasi, coi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -