zeus.generator.task
Class ConstraintsModel

java.lang.Object
  javax.swing.table.AbstractTableModel
      zeus.generator.task.ConstraintsModel

All Implemented Interfaces:

javax.swing.event.ChangeListener, java.util.EventListener, RenameListener, java.io.Serializable, javax.swing.table.TableModel, ValidatingModel

public class ConstraintsModel

extends javax.swing.table.AbstractTableModel

implements javax.swing.event.ChangeListener, ValidatingModel, RenameListener

See Also:

Serialized Form

Field Summary

protected javax.swing.event.EventListenerList	changeListeners
protected static java.lang.String[]	columnNames
(package private) static int	CONSTRAINT
protected java.util.Vector	data
protected BasicFactModel	postconditionsModel
protected BasicFactModel	preconditionsModel
protected java.util.Vector	validityInfo

Fields inherited from class javax.swing.table.AbstractTableModel

listenerList

Constructor Summary

ConstraintsModel(BasicFactModel preconditionsModel, BasicFactModel postconditionsModel, LogicalFn[] input)

Method Summary

void	addChangeListener(javax.swing.event.ChangeListener x)
void	addNewRow()
protected void	fireChanged()
int	getColumnCount()
java.lang.String	getColumnName(int col)
protected java.util.Vector	getConditions()
LogicalFn[]	getData()
int	getRowCount()
java.lang.Object	getValueAt(int row, int column)
boolean	isCellEditable(int row, int col)
protected java.lang.Boolean	isValid(LogicalFn fn, java.util.Vector items)
protected java.lang.Boolean	isValid(java.lang.String input, java.util.Vector items)
boolean	isValidEntry(int row, int col)
void	nameChanged(RenameEvent e)
void	removeChangeListener(javax.swing.event.ChangeListener x)
void	removeRows(int[] rows)
void	reset(LogicalFn[] input)
void	setValueAt(java.lang.Object aValue, int row, int column)
void	stateChanged(javax.swing.event.ChangeEvent e)

Methods inherited from class javax.swing.table.AbstractTableModel

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

Methods inherited from class java.lang.Object

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

Field Detail

CONSTRAINT

static final int CONSTRAINT

See Also:

Constant Field Values

columnNames

protected static final java.lang.String[] columnNames

changeListeners

protected javax.swing.event.EventListenerList changeListeners

data

protected java.util.Vector data

validityInfo

protected java.util.Vector validityInfo

preconditionsModel

protected BasicFactModel preconditionsModel

postconditionsModel

protected BasicFactModel postconditionsModel

Constructor Detail

ConstraintsModel

public ConstraintsModel(BasicFactModel preconditionsModel,
                        BasicFactModel postconditionsModel,
                        LogicalFn[] input)

Method Detail

reset

public void reset(LogicalFn[] input)

getData

public LogicalFn[] getData()

removeRows

public void removeRows(int[] rows)

addNewRow

public void addNewRow()

getConditions

protected java.util.Vector getConditions()

isValid

protected java.lang.Boolean isValid(LogicalFn fn,
                                    java.util.Vector items)

isValid

protected java.lang.Boolean isValid(java.lang.String input,
                                    java.util.Vector items)

getColumnCount

public int getColumnCount()

Specified by:

getColumnCount in interface javax.swing.table.TableModel

isCellEditable

public boolean isCellEditable(int row,
                              int col)

Specified by:

isCellEditable in interface javax.swing.table.TableModel

getRowCount

public int getRowCount()

Specified by:

getRowCount in interface javax.swing.table.TableModel

getColumnName

public java.lang.String getColumnName(int col)

Specified by:

getColumnName in interface javax.swing.table.TableModel

isValidEntry

public boolean isValidEntry(int row,
                            int col)

Specified by:

isValidEntry in interface ValidatingModel

getValueAt

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

Specified by:

getValueAt in interface javax.swing.table.TableModel

setValueAt

public void setValueAt(java.lang.Object aValue,
                       int row,
                       int column)

Specified by:

setValueAt in interface javax.swing.table.TableModel

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent e)

Specified by:

stateChanged in interface javax.swing.event.ChangeListener

nameChanged

public void nameChanged(RenameEvent e)

Specified by:

nameChanged in interface RenameListener

addChangeListener

public void addChangeListener(javax.swing.event.ChangeListener x)

removeChangeListener

public void removeChangeListener(javax.swing.event.ChangeListener x)

fireChanged

protected void fireChanged()