public abstract class DisableGoal
extends javax.swing.AbstractAction
ListSelectionModel
interface.Modifier and Type | Field and Description |
---|---|
protected boolean |
enableGoals
indicates whether this action enables or disables goals
|
static javax.swing.Icon |
KEY_HOLE_DISABLED_PULL_DOWN_MENU |
static javax.swing.ImageIcon |
KEY_HOLE_PULL_DOWN_MENU |
Constructor and Description |
---|
DisableGoal() |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
abstract 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
enableGoals . |
public static final javax.swing.Icon KEY_HOLE_DISABLED_PULL_DOWN_MENU
public static final javax.swing.ImageIcon KEY_HOLE_PULL_DOWN_MENU
protected boolean enableGoals
public abstract java.lang.Iterable<Goal> getGoalList()
enableGoals
.public void actionPerformed(java.awt.event.ActionEvent e)
Copyright © 2003-2019 The KeY-Project.