public class TacletFindModel
extends javax.swing.table.AbstractTableModel
Constructor and Description |
---|
TacletFindModel(TacletApp app,
Services services,
NamespaceSet nss,
AbbrevMap scm,
Goal goal)
Create new data model for tree.
|
Modifier and Type | Method and Description |
---|---|
TacletApp |
createTacletAppFromVarInsts() |
int |
getColumnCount()
number of columns
|
int |
getRowCount()
number of rows
|
java.lang.Object |
getValueAt(int row,
int col)
get value at the specified row and col
|
boolean |
isCellEditable(int rowIndex,
int columnIndex)
returns true iff an instantiation is missing
|
void |
setValueAt(java.lang.Object instantiation,
int rowIndex,
int columnIndex)
sets the value of the cell
|
addTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getColumnClass, getColumnName, getListeners, getTableModelListeners, removeTableModelListener
public TacletFindModel(TacletApp app, Services services, NamespaceSet nss, AbbrevMap scm, Goal goal)
app
- the TacletApp where to get the necessary entriesservices
- services.nss
- universal namespace of variables, minimum for input in a row.scm
- the abbreviation map.goal
- the current goal.public int getColumnCount()
public int getRowCount()
public boolean isCellEditable(int rowIndex, int columnIndex)
isCellEditable
in interface javax.swing.table.TableModel
isCellEditable
in class javax.swing.table.AbstractTableModel
public TacletApp createTacletAppFromVarInsts() throws SVInstantiationException
SVInstantiationException
- if the instantiation is incorrectpublic void setValueAt(java.lang.Object instantiation, int rowIndex, int columnIndex)
setValueAt
in interface javax.swing.table.TableModel
setValueAt
in class javax.swing.table.AbstractTableModel
public java.lang.Object getValueAt(int row, int col)
Copyright © 2003-2019 The KeY-Project.