📄 servicetimespanel.java
字号:
/**
* Copyright (C) 2006, Laboratorio di Valutazione delle Prestazioni - Politecnico di Milano
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*/
package jmt.gui.exact.panels;
import jmt.gui.exact.ExactConstants;
import jmt.gui.exact.ExactModel;
import jmt.gui.exact.ExactWizard;
import jmt.gui.exact.ld.LDEditor;
import jmt.gui.exact.table.ButtonCellRenderer;
import jmt.gui.exact.table.ExactTable;
import jmt.gui.exact.table.ExactTableModel;
import jmt.gui.exact.utils.ArrayUtils;
import jmt.gui.help.HoverHelp;
import jmt.gui.wizard.WizardPanel;
import javax.swing.*;
import javax.swing.table.TableCellEditor;
import javax.swing.table.TableCellRenderer;
import java.awt.*;
import java.awt.event.ActionEvent;
import java.util.EventObject;
/**
* @author alyf (Andrea Conti)
* Date: 11-set-2003
* Time: 23.48.19
*/
/**
* 4th panel: service times
*/
public final class ServiceTimesPanel extends WizardPanel implements ExactConstants, ForceUpdatablePanel {
private ExactWizard ew;
private HoverHelp help;
private static final String helpText = "<html>In this panel you can edit the service times of LI and delay stations for each class.<br><br>" +
" To enter values, single-click on the desired cell" +
" and start typing.<br> To select multiple cells drag the mouse on them; click or drag on" +
" row/column headers to select whole rows/columns.<br> <b>For a list of the available operations right-click" +
" on the table</b>; all operations except pasting affect selected cells.<br>" +
" To copy one value to multiple cells click on the cell containing the value, select the" +
" target cells by dragging and select <b>\"Fill\"</b>.<br><br>" +
" To edit service times of an LD station double-click anywhere on its row.<br></html>";
private boolean zeroLD;
private int classes, stations;
private String[] classNames;
private String[] stationNames;
private int[] stationTypes;
private double[][][] serviceTimes;
private STTable stTable;
private AbstractAction SWITCH_TO_SD = new AbstractAction("Service Demands") {
{
putValue(Action.SHORT_DESCRIPTION, "Input by Service Demands");
}
public void actionPerformed(ActionEvent e) {
ew.switchFromSTVtoSD();
}
};
public ServiceTimesPanel(ExactWizard ew) {
this.ew = ew;
help = ew.getHelp();
/* sync status with data object */
sync();
initComponents();
}
/**
* gets status from data object
*/
public void sync() {
/* arrays are copied to ensure data object consistency is preserved */
ExactModel data = ew.getData();
synchronized (data) {
zeroLD = (data.isLd() && (data.getMaxpop() == 0));
classes = data.getClasses();
stations = data.getStations();
classNames = data.getClassNames();
stationNames = data.getStationNames();
stationTypes = data.getStationTypes();
serviceTimes = ArrayUtils.copy3(data.getServiceTimes());
}
}
/**
* Set up the panel contents and layout
*/
private void initComponents() {
stTable = new STTable();
Box hBox = Box.createHorizontalBox();
hBox.add(Box.createHorizontalStrut(20));
//Horizontal box containing Description label and buttons
Box descrBox = Box.createVerticalBox();
descrBox.add(new JLabel(DESCRIPTION_SERVICETIMES));
descrBox.add(Box.createHorizontalStrut(10));
descrBox.add(new JButton(SWITCH_TO_SD));
descrBox.setPreferredSize(new Dimension(220,1000));
descrBox.setMinimumSize(new Dimension(200,200));
hBox.add(descrBox);
hBox.add(Box.createHorizontalStrut(10));
JScrollPane visitTablePane = new JScrollPane(stTable);
visitTablePane.setPreferredSize(new Dimension(1000,1000));
visitTablePane.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
visitTablePane.setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
hBox.add(visitTablePane);
hBox.add(Box.createHorizontalStrut(20));
Box totalBox = Box.createVerticalBox();
totalBox.add(Box.createVerticalStrut(20));
totalBox.add(hBox);
totalBox.add(Box.createVerticalStrut(20));
setLayout(new BorderLayout());
add(totalBox, BorderLayout.CENTER);
}
public String getName() {
return "Service Times";
}
private void commit() {
stTable.stopEditing();
ExactModel data = ew.getData();
synchronized (data) {
data.setServiceTimes(serviceTimes);
}
}
public void gotFocus() {
sync();
stTable.updateStructure();
}
public void lostFocus() {
commit();
//release();
}
private void switchToSD(){
}
/**
* Make sure we can't finish if we are editing LD data
*/
public boolean canFinish() {
return !stTable.isLDEditing();
}
/**
* Make sure we can't switch tabs if we are editing LD data
*/
public boolean canGoBack() {
return !stTable.isLDEditing();
}
/**
* Make sure we can't switch tabs if we are editing LD data
*/
public boolean canGoForward() {
return !stTable.isLDEditing();
}
public void help() {
JOptionPane.showMessageDialog(this, helpText, "Help", JOptionPane.INFORMATION_MESSAGE);
}
/**{@see ForceUpdatablePanel} for further details*/
public void retrieveData() {
this.sync();
}
/**{@see ForceUpdatablePanel} for further details*/
public void commitData() {
this.commit();
}
private class STTable extends ExactTable {
private LDEditor ldEditor;
STTable() {
super(new STTableModel());
autoResizeMode = AUTO_RESIZE_OFF;
setDisplaysScrollLabels(true);
setRowSelectionAllowed(true);
setColumnSelectionAllowed(true);
setClipboardTransferEnabled(true);
help.addHelp(this, "Click or drag to select cells; to edit data single-click and start typing. Right-click for a list of available operations");
help.addHelp(moreColumnsLabel, "There are more classes: scroll right to see them");
help.addHelp(moreRowsLabel, "There are more stations: scroll down to see them");
help.addHelp(selectAllButton, "Click to select all cells");
tableHeader.setToolTipText(null);
help.addHelp(tableHeader, "Click, SHIFT-click or drag to select columns");
rowHeader.setToolTipText(null);
help.addHelp(rowHeader, "Click, SHIFT-click or drag to select rows");
}
/**
* We don't want selectable columns
*/
/*public boolean getColumnSelectionAllowed() {return false;} */
/**
* A little hack to make LD rows selectable
* @return true iif the focused cell is on a LD row
*/
/*public boolean getRowSelectionAllowed() {
if (stationTypes[selectionModel.getAnchorSelectionIndex()]==STATION_LD) return true;
return false;
} */
/**
* @return true if the LDEditor window is currently open
*/
public boolean isLDEditing() {
return (cellEditor instanceof LDEditor);
}
public TableCellRenderer getCellRenderer(int row, int column){
if(stationTypes[row]==STATION_LD)
return new ButtonCellRenderer("LD Settings...");
else
return super.getCellRenderer(row, column);
}
/**
* Overridden to obtain a different editor for LD stations.
* Cannot choose editor via standard JTable mechanism because cell type is not column-dependant
*/
public TableCellEditor getCellEditor(int row, int column) {
if (stationTypes[row] == STATION_LD) {
return getLDEditor();
} else {
return super.getCellEditor(row, column);
}
}
/**
* the LDEditor needs to be treated in a special way.
*/
public Component prepareEditor(TableCellEditor editor, int row, int column) {
if (editor instanceof LDEditor) {
LDEditor lde = ((LDEditor) editor);
lde.setStatus("Editing Service Times for "+stationNames[row], stationNames[row], classNames, serviceTimes[row]);
lde.startEditing(this, row);
return getCellRenderer(row, column)
.getTableCellRendererComponent(this, "LD Settings...", true, true, row, column);
} else {
return super.prepareEditor(editor, row, column);
}
}
/**
* If the request is to edit ld times in a system with zero customers, shows a warning messages and returns false.
* Otherwise passes request to superclass method
*/
public boolean editCellAt(int row, int col, EventObject e) {
if (zeroLD && (stationTypes[row] == STATION_LD)) {
JOptionPane.showMessageDialog(ServiceTimesPanel.this, "<html><center>Cannot edit LD service times in a system with zero customers</center></html>", "Warning", JOptionPane.WARNING_MESSAGE);
return false;
}
return super.editCellAt(row, col, e);
}
/**
* @return a lazily created LDEditor. Creation of the LDEditor at initialization time is not possible
* because the LDEditor needs a reference to the root Frame.
*/
private LDEditor getLDEditor() {
if (ldEditor == null) ldEditor = new LDEditor(parentWizard);
return ldEditor;
}
}
/**
* the model backing the service times table.
* Rows represent stations, columns classes.
*/
private class STTableModel extends ExactTableModel {
STTableModel() {
prototype = "LD Settings Button";
rowHeaderPrototype = "Station10000";
}
public int getRowCount() {
return stations;
}
public int getColumnCount() {
return classes;
}
public String getColumnName(int index) {
return classNames[index];
}
protected Object getValueAtImpl(int rowIndex, int columnIndex) {
switch (stationTypes[rowIndex]) {
case STATION_LI:
case STATION_DELAY:
return new Double(serviceTimes[rowIndex][columnIndex][0]);
case STATION_LD:
return "LD";
default:
return null;
}
}
protected Object getRowName(int rowIndex) {
return stationNames[rowIndex];
}
public void setValueAt(Object value, int rowIndex, int columnIndex) {
if (value instanceof String) { //coming from the defaultEditor
//if ("LD".equals((String)value)) return;
try {
double newVal = Double.parseDouble((String) value);
if (newVal >= 0) serviceTimes[rowIndex][columnIndex][0] = newVal;
} catch (NumberFormatException e) {
}
} else if (value instanceof double[][]) { // coming from the LDEditor
serviceTimes[rowIndex] = (double[][]) value;
}
}
public boolean isCellEditable(int rowIndex, int columnIndex) {
return true;
}
public void clear(int row, int col) {
if (stationTypes[row] == STATION_LD) return;
serviceTimes[row][col][0] = 0;
}
/**
* Copy the contents of a cell to an area. Works directly on the data set.<br>
* Does nothing if the source cell is in an LD row; LD rows are skipped
*/
public void copyCellToArea(int sourceRow, int sourceCol, int rowFrom, int rowTo, int colFrom, int colTo) {
if (stationTypes[sourceRow] == STATION_LD) return;
double source = serviceTimes[sourceRow][sourceCol][0];
for (int row = rowFrom; row <= rowTo; row++) {
if (!(stationTypes[row] == STATION_LD)) {
for (int col = colFrom; col <= colTo; col++) {
serviceTimes[row][col][0] = source;
}
}
}
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -