org.processmining.datapetrinets.validation

Class DeadLockTableModel

java.lang.Object

org.processmining.datapetrinets.validation.DeadLockTableModel

All Implemented Interfaces:

javax.swing.table.TableModel

public class DeadLockTableModel
extends java.lang.Object
implements javax.swing.table.TableModel

Constructor Summary

Constructors

Constructor and Description
DeadLockTableModel(java.util.List<org.processmining.framework.util.Pair<org.cpntools.accesscpn.engine.highlevel.instance.State,org.cpntools.accesscpn.engine.highlevel.instance.Binding[]>> deadlocks)

Method Summary

Modifier and Type	Method and Description
void	addTableModelListener(javax.swing.event.TableModelListener l)
org.cpntools.accesscpn.engine.highlevel.instance.Binding[]	getBinding(int index)
java.lang.Class<?>	getColumnClass(int arg0)
int	getColumnCount()
java.lang.String	getColumnName(int arg0)
int	getRowCount()
java.lang.Object	getValueAt(int row, int column)
boolean	isCellEditable(int arg0, int arg1)
void	removeTableModelListener(javax.swing.event.TableModelListener l)
void	setValueAt(java.lang.Object aValue, int rowIndex, int columnIndex)

Methods inherited from class java.lang.Object

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

Constructor Detail

DeadLockTableModel

public DeadLockTableModel(java.util.List<org.processmining.framework.util.Pair<org.cpntools.accesscpn.engine.highlevel.instance.State,org.cpntools.accesscpn.engine.highlevel.instance.Binding[]>> deadlocks)

Method Detail

getBinding

public org.cpntools.accesscpn.engine.highlevel.instance.Binding[] getBinding(int index)

getColumnClass

public java.lang.Class<?> getColumnClass(int arg0)

Specified by:

getColumnClass in interface javax.swing.table.TableModel

getColumnCount

public int getColumnCount()

Specified by:

getColumnCount in interface javax.swing.table.TableModel

getColumnName

public java.lang.String getColumnName(int arg0)

Specified by:

getColumnName in interface javax.swing.table.TableModel

getRowCount

public int getRowCount()

Specified by:

getRowCount in interface javax.swing.table.TableModel

getValueAt

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

Specified by:

getValueAt in interface javax.swing.table.TableModel

isCellEditable

public boolean isCellEditable(int arg0,
                              int arg1)

Specified by:

isCellEditable in interface javax.swing.table.TableModel

addTableModelListener

public void addTableModelListener(javax.swing.event.TableModelListener l)

Specified by:

addTableModelListener in interface javax.swing.table.TableModel

removeTableModelListener

public void removeTableModelListener(javax.swing.event.TableModelListener l)

Specified by:

removeTableModelListener in interface javax.swing.table.TableModel

setValueAt

public void setValueAt(java.lang.Object aValue,
                       int rowIndex,
                       int columnIndex)

Specified by:

setValueAt in interface javax.swing.table.TableModel