org.processmining.plugins.ltlchecker.util

Class ParamData

java.lang.Object

javax.swing.table.AbstractTableModel

org.processmining.plugins.ltlchecker.util.ParamData

All Implemented Interfaces:

java.io.Serializable, javax.swing.table.TableModel

public class ParamData
extends javax.swing.table.AbstractTableModel

ParamData is an implementation of the TableModel class to be used as model for the tabel for filling the parameters of a template ltl formula.

Version:

0.1

Author:

HT de Beer

See Also:

Serialized Form

Field Summary

Fields inherited from class javax.swing.table.AbstractTableModel

listenerList

Constructor Summary

Constructors

Constructor and Description
ParamData(java.util.List<FormulaParameter> params)

Method Summary

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)

Methods inherited from class javax.swing.table.AbstractTableModel

addTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getColumnClass, getListeners, getTableModelListeners, removeTableModelListener

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ParamData

public ParamData(java.util.List<FormulaParameter> params)

Method Detail

getColumnCount

public int getColumnCount()

getRowCount

public int getRowCount()

getColumnName

public java.lang.String getColumnName(int col)

Specified by:

getColumnName in interface javax.swing.table.TableModel

Overrides:

getColumnName in class javax.swing.table.AbstractTableModel

getValueAt

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

isCellEditable

public boolean isCellEditable(int row,
                              int col)

Specified by:

isCellEditable in interface javax.swing.table.TableModel

Overrides:

isCellEditable in class javax.swing.table.AbstractTableModel

setValueAt

public void setValueAt(java.lang.Object value,
                       int row,
                       int col)

Specified by:

setValueAt in interface javax.swing.table.TableModel

Overrides:

setValueAt in class javax.swing.table.AbstractTableModel

removeData

public void removeData()

getSubstitutes

public Substitutes getSubstitutes(LTLParser parser)

The parameters of this table are used as values for the selected formula. These values must be added as a list of so called Substitutes, therefor this method, to create such a list.

Parameters:

parser - The LTLParser containing all the information needed to create the substitutes list.

Returns:

The substitutes list of parameters of the selected formula.

createSetValueNode

public SetValueNode createSetValueNode(java.lang.String value,
                                       int indexInTable)