de.uka.ilkd.key.gui

Class GoalList.DisableOtherGoals

java.lang.Object

javax.swing.AbstractAction

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

de.uka.ilkd.key.gui.GoalList.DisableOtherGoals

All Implemented Interfaces:

java.awt.event.ActionListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action

Enclosing class:

GoalList

private final class GoalList.DisableOtherGoals
extends DisableGoal

This action dis-/enables all goals except the chosen one.

Author:

Richard Bubel

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class de.uka.ilkd.key.gui.prooftree.DisableGoal

enableGoals, KEY_HOLE_DISABLED_PULL_DOWN_MENU, KEY_HOLE_PULL_DOWN_MENU

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
DisableOtherGoals()

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)
java.lang.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 DisableGoal.enableGoals.

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

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

DisableOtherGoals

DisableOtherGoals()

Method Detail

getGoalList

public java.lang.Iterable<Goal> getGoalList()

Description copied from class: DisableGoal

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

Specified by:

getGoalList in class DisableGoal

Returns:

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

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener

Overrides:

actionPerformed in class DisableGoal