public class ParamData
extends javax.swing.table.AbstractTableModel
TableModel
class to be used as
model for the tabel for filling the parameters of a template ltl formula.Constructor and Description |
---|
ParamData(java.util.List<FormulaParameter> params) |
Modifier and Type | Method and Description |
---|---|
SetValueNode |
createSetValueNode(java.lang.String value,
int indexInTable) |
int |
getColumnCount() |
java.lang.String |
getColumnName(int col) |
int |
getRowCount() |
Substitutes |
getSubstitutes(LTLParser parser)
The parameters of this table are used as values for the selected formula.
|
java.lang.Object |
getValueAt(int row,
int col) |
boolean |
isCellEditable(int row,
int col) |
void |
removeData() |
void |
setValueAt(java.lang.Object value,
int row,
int col) |
addTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getColumnClass, getListeners, getTableModelListeners, removeTableModelListener
public ParamData(java.util.List<FormulaParameter> params)
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 row, int col)
public boolean isCellEditable(int row, int col)
isCellEditable
in interface javax.swing.table.TableModel
isCellEditable
in class javax.swing.table.AbstractTableModel
public void setValueAt(java.lang.Object value, int row, int col)
setValueAt
in interface javax.swing.table.TableModel
setValueAt
in class javax.swing.table.AbstractTableModel
public void removeData()
public Substitutes getSubstitutes(LTLParser parser)
Substitutes
,
therefor this method, to create such a list.parser
- The LTLParser containing all the information needed to create
the substitutes list.public SetValueNode createSetValueNode(java.lang.String value, int indexInTable)