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: ConditionsTableModel.java 70402 2014-10-23 00:52:20Z cxh $

Author:

Patricia Derler

See Also:

Serialized Form

Accepted Rating:

Red (pd)

Proposed Rating:

Red (pd)

Field Summary

Fields inherited from class javax.swing.table.AbstractTableModel

listenerList

Constructor Summary

Constructors

Constructor and Description
ConditionsTableModel(IOPort port, FSMActor model) Construct a new conditions table model for a given output port and the FSMActor.

Method Summary

Modifier and Type	Method and Description
void	addColumn() Add a column.
void	checkDisjointness() Check that all modes are unique. -- by definition Check that all values 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

Methods inherited from class java.lang.Object

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

Constructor Detail

ConditionsTableModel

public ConditionsTableModel(IOPort port,
                            FSMActor model)

Construct a new conditions table model for a given output port and the FSMActor. Initialize the column count to 3.

Parameters:

port -

model -

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

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 interface javax.swing.table.TableModel

Overrides:

isCellEditable in class javax.swing.table.AbstractTableModel

setValueAt

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

Specified by:

setValueAt in interface javax.swing.table.TableModel

Overrides:

setValueAt in class javax.swing.table.AbstractTableModel

saveModel

public void saveModel()
               throws NameDuplicationException

Save the model.

Throws:

IllegalActionException - If thrown while saving the model.

NameDuplicationException - If thrown while saving the model.