org.processmining.plugins.ltlchecker

Class CheckResultModel

java.lang.Object

javax.swing.table.AbstractTableModel

org.processmining.plugins.ltlchecker.CheckResultModel

All Implemented Interfaces:

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

public class CheckResultModel
extends javax.swing.table.AbstractTableModel

CheckResultModel is a tablemodel to store the checkresults of a check. For the correct and incorrect instances of the check, such a model is needed.

Version:

0.1

Author:

Fabrizio M. Maggi

See Also:

Serialized Form

Field Summary

Fields inherited from class javax.swing.table.AbstractTableModel

listenerList

Constructor Summary

Constructors

Constructor and Description
CheckResultModel(java.util.ArrayList checkResults, java.lang.String kind)

Method Summary

Modifier and Type	Method and Description
java.lang.Class	getColumnClass(int c)
int	getColumnCount()
java.lang.String	getColumnName(int col)
int	getRowCount()
java.lang.Object	getValueAt(int row, int col)
boolean	isCellEditable(int row, int col)

Methods inherited from class javax.swing.table.AbstractTableModel

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckResultModel

public CheckResultModel(java.util.ArrayList checkResults,
                        java.lang.String kind)

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)

getColumnClass

public java.lang.Class getColumnClass(int c)

Specified by:

getColumnClass in interface javax.swing.table.TableModel

Overrides:

getColumnClass in class javax.swing.table.AbstractTableModel

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