org.grinvin.worksheet
Class ConjecturingComboBoxModel
AbstractListModel
org.grinvin.worksheet.ConjecturingComboBoxModel
- ComboBoxModel, InvariantListModelListener, ListDataListener
public class ConjecturingComboBoxModel
extends AbstractListModel
Combo box model for the conjecturing window. Keeps track of an
ordered list of invariants, and only shows those that are accepted
by the associated engine.
ConjecturingComboBoxModel
public ConjecturingComboBoxModel(Engine engine,
WorksheetModel worksheetModel)
add
public void add(Invariant invariant)
Add an invariant to the combobox. Only adds the invariant when this is
allowed by the engine.
contentsChanged
public void contentsChanged(ListDataEvent e)
getElementAt
public Invariant getElementAt(int index)
getEngine
public Engine getEngine()
getSelectedIndex
public int getSelectedIndex()
Returns the internal index of the selected item.
Note: This is a slow operation, use of
getSelectedItem()
is to be preferred
getSelectedItem
public Invariant getSelectedItem()
getSize
public int getSize()
indexOf
public int indexOf(Invariant invariant)
Return the index of the given invariant in the internal list.
intervalAdded
public void intervalAdded(ListDataEvent e)
intervalRemoved
public void intervalRemoved(ListDataEvent e)