de.uka.ilkd.key.gui.prooftree

Class DisableGoal

java.lang.Object

javax.swing.AbstractAction

de.uka.ilkd.key.gui.prooftree.DisableGoal

All Implemented Interfaces:

ActionListener, Serializable, Cloneable, EventListener, Action

Direct Known Subclasses:

GoalList.DisableOtherGoals, GoalList.DisableSingleGoal, ProofTreeView.ProofTreePopupMenu.SetGoalsBelowEnableStatus

public abstract class DisableGoal
extends AbstractAction

Action enabling or disabling a selected set of goals. The component to which this action is registered must implement the ListSelectionModel interface.

Author:

bubel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	enableGoals indicates whether this action enables or disables goals
static Icon	KEY_HOLE_DISABLED_PULL_DOWN_MENU
static ImageIcon	KEY_HOLE_PULL_DOWN_MENU
private static long	serialVersionUID

Fields inherited from class javax.swing.AbstractAction

changeSupport, enabled

Fields inherited from interface javax.swing.Action

ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

Constructor and Description
DisableGoal()

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent e)
abstract Iterable<Goal>	getGoalList() an implementation should return an iterable collection over those goals that are to be disabled or enabled according to the setting of enableGoals.
private void	setGoalStatus(Iterable<Goal> goals) enables or disables all given goals

Methods inherited from class javax.swing.AbstractAction

addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled

Methods inherited from class java.lang.Object

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

Field Detail

KEY_HOLE_DISABLED_PULL_DOWN_MENU

public static final Icon KEY_HOLE_DISABLED_PULL_DOWN_MENU

KEY_HOLE_PULL_DOWN_MENU

public static final ImageIcon KEY_HOLE_PULL_DOWN_MENU

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

enableGoals

protected boolean enableGoals

indicates whether this action enables or disables goals

Constructor Detail

DisableGoal

public DisableGoal()

Method Detail

setGoalStatus

private void setGoalStatus(Iterable<Goal> goals)

enables or disables all given goals

Parameters:

goals - array of goals to be enabled or disabled

getGoalList

public abstract Iterable<Goal> getGoalList()

an implementation should return an iterable collection over those goals that are to be disabled or enabled according to the setting of enableGoals.

Returns:

an iterator of Goals to set the enable state for, not null

actionPerformed

public void actionPerformed(ActionEvent e)