public abstract class KeyboardShortcutAdapter extends java.lang.Object implements KeYGuiExtension.KeyboardShortcuts
KeYGuiExtension.KeyboardShortcuts
interface.
This adapter helps at implementing the keyboard shortcuts interface correctly, by supporting dispatching for the common shortcut extension points.
GOAL_LIST, INFO_VIEW, MAIN_WINDOW, PROOF_TREE_VIEW, SEQUENT_VIEW, SOURCE_VIEW, STRATEGY_SELECTION_VIEW
Constructor and Description |
---|
KeyboardShortcutAdapter() |
Modifier and Type | Method and Description |
---|---|
protected java.util.Collection<javax.swing.Action> |
fallbackShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component)
Fallback implementation for non commonly known extension points.
|
protected java.util.Collection<javax.swing.Action> |
getShortcuts(KeYMediator mediator,
GoalList component) |
protected java.util.Collection<javax.swing.Action> |
getShortcuts(KeYMediator mediator,
InfoView component) |
protected java.util.Collection<javax.swing.Action> |
getShortcuts(KeYMediator mediator,
ProofTreeView component) |
protected java.util.Collection<javax.swing.Action> |
getShortcuts(KeYMediator mediator,
SequentView component) |
protected java.util.Collection<javax.swing.Action> |
getShortcuts(KeYMediator mediator,
SourceView component) |
protected java.util.Collection<javax.swing.Action> |
getShortcuts(KeYMediator mediator,
StrategySelectionView component) |
java.util.Collection<javax.swing.Action> |
getShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component) |
protected java.util.Collection<javax.swing.Action> |
getShortcutsMainWindow(KeYMediator mediator,
javax.swing.JPanel component)
MainWindow shortcuts.
|
public final java.util.Collection<javax.swing.Action> getShortcuts(KeYMediator mediator, java.lang.String componentId, javax.swing.JComponent component)
getShortcuts
in interface KeYGuiExtension.KeyboardShortcuts
protected java.util.Collection<javax.swing.Action> fallbackShortcuts(KeYMediator mediator, java.lang.String componentId, javax.swing.JComponent component)
mediator
- componentId
- component
- protected java.util.Collection<javax.swing.Action> getShortcutsMainWindow(KeYMediator mediator, javax.swing.JPanel component)
mediator
- component
- protected java.util.Collection<javax.swing.Action> getShortcuts(KeYMediator mediator, SequentView component)
mediator
- component
- protected java.util.Collection<javax.swing.Action> getShortcuts(KeYMediator mediator, ProofTreeView component)
mediator
- component
- protected java.util.Collection<javax.swing.Action> getShortcuts(KeYMediator mediator, StrategySelectionView component)
mediator
- component
- protected java.util.Collection<javax.swing.Action> getShortcuts(KeYMediator mediator, InfoView component)
mediator
- component
- protected java.util.Collection<javax.swing.Action> getShortcuts(KeYMediator mediator, SourceView component)
mediator
- component
- protected java.util.Collection<javax.swing.Action> getShortcuts(KeYMediator mediator, GoalList component)
mediator
- component
- Copyright © 2003-2019 The KeY-Project.