org.grinvin.list.commands

Class RunConjecturing

Implemented Interfaces:
ConjecturingWindowListener, ListDataListener, ListSelectionListener, InvariantListModelListener

public class RunConjecturing
extends ActionCommand
implements ConjecturingWindowListener

GUI command which runs the QD-engine on the invariant table of a given window and outputs the result to the given text area.

Constructor Summary

RunConjecturing(CommandManager manager, String id)

Method Summary

void
contentsChanged(ListDataEvent e)
void
handleExecute()
void
intervalAdded(ListDataEvent e)
void
intervalRemoved(ListDataEvent e)
void
valueChanged(ListSelectionEvent e)

Constructor Details

RunConjecturing

public RunConjecturing(CommandManager manager,
                       String id)

Method Details

contentsChanged

public void contentsChanged(ListDataEvent e)

handleExecute

public void handleExecute()

intervalAdded

public void intervalAdded(ListDataEvent e)

intervalRemoved

public void intervalRemoved(ListDataEvent e)

valueChanged

public void valueChanged(ListSelectionEvent e)