tip.display
Class CFGDisplay.PointTableModel

java.lang.Object
  extended by javax.swing.table.AbstractTableModel
      extended by tip.display.CFGDisplay.PointTableModel
All Implemented Interfaces:
java.io.Serializable, javax.swing.table.TableModel
Enclosing class:
CFGDisplay

private static class CFGDisplay.PointTableModel
extends javax.swing.table.AbstractTableModel


Field Summary
private  int columnCount
           
private  java.lang.String[][] data
           
private  int rowCount
           
private  javax.swing.table.DefaultTableColumnModel tableColumnModel
           
 
Fields inherited from class javax.swing.table.AbstractTableModel
listenerList
 
Constructor Summary
CFGDisplay.PointTableModel(java.util.Map<IProgramPoint,java.lang.Integer> map, java.util.Collection<FixedPointAnalysis<?>> analyses, java.util.Collection<PointsToMap> pointsToMaps, int vicinity)
           
 
Method Summary
 int getColumnCount()
           
 int getRowCount()
           
 javax.swing.table.TableColumnModel getTableColumnModel()
           
 java.lang.Object getValueAt(int row, int column)
           
 
Methods inherited from class javax.swing.table.AbstractTableModel
addTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getColumnClass, getColumnName, getListeners, getTableModelListeners, isCellEditable, removeTableModelListener, setValueAt
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

rowCount

private int rowCount

columnCount

private int columnCount

data

private java.lang.String[][] data

tableColumnModel

private javax.swing.table.DefaultTableColumnModel tableColumnModel
Constructor Detail

CFGDisplay.PointTableModel

public CFGDisplay.PointTableModel(java.util.Map<IProgramPoint,java.lang.Integer> map,
                                  java.util.Collection<FixedPointAnalysis<?>> analyses,
                                  java.util.Collection<PointsToMap> pointsToMaps,
                                  int vicinity)
Method Detail

getRowCount

public int getRowCount()

getColumnCount

public int getColumnCount()

getValueAt

public java.lang.Object getValueAt(int row,
                                   int column)

getTableColumnModel

public javax.swing.table.TableColumnModel getTableColumnModel()