public class DeadLockTableModel
extends java.lang.Object
implements javax.swing.table.TableModel
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) |
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) |
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)
public org.cpntools.accesscpn.engine.highlevel.instance.Binding[] getBinding(int index)
public java.lang.Class<?> getColumnClass(int arg0)
getColumnClass
in interface javax.swing.table.TableModel
public int getColumnCount()
getColumnCount
in interface javax.swing.table.TableModel
public java.lang.String getColumnName(int arg0)
getColumnName
in interface javax.swing.table.TableModel
public int getRowCount()
getRowCount
in interface javax.swing.table.TableModel
public java.lang.Object getValueAt(int row, int column)
getValueAt
in interface javax.swing.table.TableModel
public boolean isCellEditable(int arg0, int arg1)
isCellEditable
in interface javax.swing.table.TableModel
public void addTableModelListener(javax.swing.event.TableModelListener l)
addTableModelListener
in interface javax.swing.table.TableModel
public void removeTableModelListener(javax.swing.event.TableModelListener l)
removeTableModelListener
in interface javax.swing.table.TableModel
public void setValueAt(java.lang.Object aValue, int rowIndex, int columnIndex)
setValueAt
in interface javax.swing.table.TableModel