Package ptolemy.vergil.scr
Class ConditionsTableModel
- java.lang.Object
-
- javax.swing.table.AbstractTableModel
-
- ptolemy.vergil.scr.ConditionsTableModel
-
- All Implemented Interfaces:
java.io.Serializable
,javax.swing.table.TableModel
public class ConditionsTableModel extends javax.swing.table.AbstractTableModel
The conditions table for configuring an SCR Model.- Since:
- Ptolemy II 10.0
- Version:
- $Id$
- Author:
- Patricia Derler
- See Also:
- Serialized Form
- Pt.AcceptedRating:
- Red (pd)
- Pt.ProposedRating:
- Red (pd)
-
-
Constructor Summary
Constructors Constructor Description ConditionsTableModel(IOPort port, FSMActor model)
Construct a new conditions table model for a given output port and the FSMActor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addColumn()
Add a column.void
checkDisjointness()
Check that all modes are unique.void
deleteColumn(int index)
Delete a column.int
getColumnCount()
int
getRowCount()
java.lang.Object
getValueAt(int rowIndex, int columnIndex)
boolean
isCellEditable(int rowIndex, int columnIndex)
void
saveModel()
Save the model.void
setValueAt(java.lang.Object aValue, int rowIndex, int columnIndex)
-
Methods inherited from class javax.swing.table.AbstractTableModel
addTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getColumnClass, getColumnName, getListeners, getTableModelListeners, removeTableModelListener
-
-
-
-
Method Detail
-
addColumn
public void addColumn()
Add a column.
-
checkDisjointness
public void checkDisjointness() throws IllegalActionException
Check that all modes are unique. -- by definition Check that all values are unique. Check that pairwise OR of events in a row is always false. --- check coverage: AND of all events in a row is true- Throws:
IllegalActionException
- If thrown while checking the disjointness.
-
deleteColumn
public void deleteColumn(int index)
Delete a column.- Parameters:
index
- The column to be deleted.
-
getColumnCount
public int getColumnCount()
-
getValueAt
public java.lang.Object getValueAt(int rowIndex, int columnIndex)
-
getRowCount
public int getRowCount()
-
isCellEditable
public boolean isCellEditable(int rowIndex, int columnIndex)
- Specified by:
isCellEditable
in interfacejavax.swing.table.TableModel
- Overrides:
isCellEditable
in classjavax.swing.table.AbstractTableModel
-
setValueAt
public void setValueAt(java.lang.Object aValue, int rowIndex, int columnIndex)
- Specified by:
setValueAt
in interfacejavax.swing.table.TableModel
- Overrides:
setValueAt
in classjavax.swing.table.AbstractTableModel
-
saveModel
public void saveModel() throws NameDuplicationException
Save the model.- Throws:
NameDuplicationException
- If thrown while saving the model.
-
-