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, setValueAtpublic 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.TableModelgetColumnName in class javax.swing.table.AbstractTableModelpublic java.lang.Object getValueAt(int rowIndex,
int columnIndex)
public boolean isCellEditable(int row,
int col)
isCellEditable in interface javax.swing.table.TableModelisCellEditable in class javax.swing.table.AbstractTableModelCopyright 2003 Ralph Freese. All Rights Reserved.