public class TermTableModel
extends javax.swing.table.AbstractTableModel
Modifier and Type | Class and Description |
---|---|
static class |
TermTableModel.ResultTableType |
Constructor and Description |
---|
TermTableModel() |
TermTableModel(Term[] terms) |
TermTableModel(Term[] terms,
Variable[] variables) |
TermTableModel(TermTableModel.ResultTableType t) |
Modifier and Type | Method and Description |
---|---|
int |
getColumnCount() |
java.lang.String |
getColumnName(int col) |
java.lang.String |
getDescription()
For the description text field (not really part of the table model).
|
int |
getRowCount() |
Term[] |
getTerms() |
TermTableModel.ResultTableType |
getType() |
java.lang.Object |
getValueAt(int rowIndex,
int columnIndex) |
Variable[] |
getVariables() |
boolean |
isCellEditable(int row,
int col) |
void |
setCentralityList(java.util.List<CentralityData> lst) |
void |
setCongruenceList(java.util.List<Partition> lst) |
void |
setDescription(java.lang.String desc)
For the description text field (not really part of the table model).
|
void |
setTerms(java.util.List<Term> termList) |
void |
setTerms(Term[] lst) |
void |
setUniverse(java.util.List<IntArray> univ) |
void |
setVariables(java.util.List<Variable> varList) |
addTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getColumnClass, getListeners, getTableModelListeners, removeTableModelListener, setValueAt
public TermTableModel()
public TermTableModel(TermTableModel.ResultTableType t)
public TermTableModel(Term[] terms)
public TermTableModel.ResultTableType getType()
public void setTerms(java.util.List<Term> termList)
public void setVariables(java.util.List<Variable> varList)
public void setUniverse(java.util.List<IntArray> univ)
public void setCentralityList(java.util.List<CentralityData> lst)
public void setCongruenceList(java.util.List<Partition> lst)
public void setDescription(java.lang.String desc)
public java.lang.String getDescription()
public void setTerms(Term[] lst)
public Term[] getTerms()
public Variable[] getVariables()
public int getColumnCount()
public int getRowCount()
public java.lang.String getColumnName(int col)
getColumnName
in interface javax.swing.table.TableModel
getColumnName
in class javax.swing.table.AbstractTableModel
public java.lang.Object getValueAt(int rowIndex, int columnIndex)
public boolean isCellEditable(int row, int col)
isCellEditable
in interface javax.swing.table.TableModel
isCellEditable
in class javax.swing.table.AbstractTableModel
Copyright 2003 Ralph Freese. All Rights Reserved.