📄 finagentelencoplace.java
字号:
/** FinAgentElencoPlace
* Finestra per mostrare un elenco di place.
* Utile per un agente che vuole mostrare l'elenco dei place che ha visitato
* @author Luigi Antenucci
* @version 1.6
* @language jdk 1.2.2
*/
package SOMA.gui;
import SOMA.gui.lingua.Lingua;
import SOMA.naming.PlaceID;
import java.util.Vector;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.table.TableModel;
import javax.swing.table.AbstractTableModel;
import javax.swing.table.TableColumnModel;
public class FinAgentElencoPlace extends Finestra {
/**
* Per memorizzare i parametri passati al costruttore,
* in modo che siano visibili anche agli altri metodi.
*/
protected FinGoto1000Listener agente;
protected boolean conBotGoto;
protected String fraseTesta;
protected Vector elencoPlace;
protected PlaceID placeHome,
placeAtt;
/**
* Oggetti che mostrano frasi, coi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -