rowheader.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.table;

import javax.swing.*;
import javax.swing.event.TableModelEvent;
import javax.swing.table.*;
import java.awt.*;
import java.awt.event.MouseAdapter;
import java.awt.event.MouseEvent;
import java.awt.event.MouseMotionListener;

/**

 * @author alyf (Andrea Conti)
 * Date: 12-set-2003
 * Time: 22.44.09

 */

/**
 * A single-column JTable impersonating a table's row headers and listening to clicks for column selection
 */
public class RowHeader extends JTable {

	private int width = 80; //default header width

	private JTable table;
	private MouseRowSelector mrs;
	private TableCellRenderer cellRenderer;
	protected boolean listenerInstalled;

	/**
	 * make a RowHeader with default model (displaying row numbers)
	 */
	public RowHeader() {
		this(new DefaultRowHeaderModel());
	}

	/**
	 * make a RowHeader with the specified model.<br>
	 * If the supplied model does not implement <code>ModelHandlesRowHeader</code> the RowHeader will ignore it and use its default model showing row numbers.<br>
	 * If the model implements <code>PrototypedTableModel</code> The RowHeader will try to automatically determine its width, otherwise a default width will be used.
	 * @see jmt.gui.exact.table.ModelHandlesRowHeader
	 * @see jmt.gui.exact.table.PrototypedTableModel
	 */
	public RowHeader(TableModel dm) {

        super(new DefaultRowHeaderModel());
        if (dm instanceof ModelHandlesRowHeader) {
            setModel(dm);
        }

        cellRenderer = tableHeader.getDefaultRenderer();
        setFocusable(false);
        setToolTipText("Click or drag to select rows");
        mrs = new MouseRowSelector();

        installListener();

        /* try to automatically determine width */
        if (dataModel instanceof PrototypedTableModel) {
            PrototypedTableModel pm = (PrototypedTableModel) dataModel;
            width = cellRenderer.getTableCellRendererComponent(this, pm.getPrototype(-1), false, false, 0, 0).getPreferredSize().width;
        }
    }

	public void createDefaultColumnsFromModel() {
		TableModel m = getModel();
		if (m != null) {
			// Remove any current columns
			TableColumnModel cm = getColumnModel();
			while (cm.getColumnCount() > 0) {
				cm.removeColumn(cm.getColumn(0));
			}

			// Create one column only
			TableColumn newColumn = new TableColumn(0);
            addColumn(newColumn);
        }
	}

	public TableCellRenderer getCellRenderer(int row, int column) {
		return cellRenderer;
	}

	public void update() {
		/* mimic a "table changed" event from the model */
		tableChanged(new TableModelEvent(dataModel));
	}

	public void updateRows(int firstRow, int lastRow) {
		tableChanged(new TableModelEvent(dataModel, firstRow, lastRow));
	}

	public void install(JTable table, JScrollPane jsp) {
		if (this.table != null) throw new RuntimeException("already installed");

		JViewport jv = new JViewport() {
			/* keeps the #@