Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.actions | |
de.uka.ilkd.key.gui.docking | |
de.uka.ilkd.key.gui.extension.api | |
de.uka.ilkd.key.gui.extension.impl | |
de.uka.ilkd.key.gui.join | |
de.uka.ilkd.key.gui.mergerule | |
de.uka.ilkd.key.gui.nodeviews | |
de.uka.ilkd.key.gui.notification | |
de.uka.ilkd.key.gui.originlabels | |
de.uka.ilkd.key.gui.proofdiff | |
de.uka.ilkd.key.gui.prooftree | |
de.uka.ilkd.key.gui.testgen |
This package contains the graphical user interface of the test generation backend.
|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.ui | |
org.key_project.exploration | |
org.key_project.ui.interactionlog |
Modifier and Type | Field and Description |
---|---|
protected KeYMediator |
ApplyTacletDialog.mediator |
Modifier and Type | Method and Description |
---|---|
KeYMediator |
WindowUserInterfaceControl.getMediator()
Returns the used
KeYMediator . |
KeYMediator |
MainWindow.getMediator()
return the mediator
|
protected KeYMediator |
ApplyTacletDialog.mediator() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<TabPanel> |
KeyboardTacletExtension.getPanels(MainWindow window,
KeYMediator mediator) |
void |
StrategySelectionView.setMediator(KeYMediator mediator) |
void |
MaxRuleAppSlider.setMediator(KeYMediator mediator) |
void |
InfoView.setMediator(KeYMediator m) |
Constructor and Description |
---|
ApplyTacletDialog(java.awt.Frame parent,
TacletInstantiationModel[] model,
KeYMediator mediator) |
GoalList(KeYMediator mediator) |
InfoView(MainWindow window,
KeYMediator mediator) |
MaxRuleAppSlider(KeYMediator mediator,
java.lang.String text) |
ProofMacroMenu(KeYMediator mediator)
Instantiates a new proof macro menu.
|
ProofMacroMenu(KeYMediator mediator,
PosInOccurrence posInOcc)
Instantiates a new proof macro menu.
|
ProofMacroWorker(Node node,
ProofMacro macro,
KeYMediator mediator,
PosInOccurrence posInOcc)
Instantiates a new proof macro worker.
|
ProofScriptWorker(KeYMediator mediator,
java.io.File file) |
ProofScriptWorker(KeYMediator mediator,
java.lang.String script,
Location location)
Instantiates a new proof script worker.
|
ProofScriptWorker(KeYMediator mediator,
java.lang.String script,
Location location,
Goal initiallySelectedGoal)
Instantiates a new proof script worker.
|
RecentFileMenu(KeYMediator mediator)
Create a new RecentFiles list.
|
StrategySelectionView(MainWindow window,
KeYMediator mediator) |
TacletMatchCompletionDialog(MainWindow parent,
TacletInstantiationModel[] model,
Goal goal,
KeYMediator mediator) |
TaskTree(KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
protected KeYMediator |
MainWindowAction.getMediator() |
Modifier and Type | Method and Description |
---|---|
static void |
MacroKeyBinding.registerMacroKeyBindings(KeYMediator mediator,
SequentView sequentView,
javax.swing.JComponent comp) |
Constructor and Description |
---|
MacroKeyBinding(KeYMediator mediator,
SequentView sequentView,
ProofMacro macro) |
ProofScriptFromFileAction(KeYMediator mediator)
Instantiates a new proof script from file action.
|
ProofScriptInputAction(KeYMediator mediator)
Instantiates a new proof script input action.
|
Modifier and Type | Method and Description |
---|---|
void |
DockingLayout.init(MainWindow window,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.fallbackShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component)
Fallback implementation for non commonly known extension points.
|
java.util.List<javax.swing.Action> |
ContextMenuAdapter.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
Node underlyingObject) |
java.util.List<javax.swing.Action> |
ContextMenuAdapter.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
java.lang.Object underlyingObject) |
java.util.List<javax.swing.Action> |
KeYGuiExtension.ContextMenu.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
java.lang.Object underlyingObject)
A list of actions which should be added to the main menu.
|
java.util.List<javax.swing.Action> |
ContextMenuAdapter.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
PosInSequent underlyingObject) |
java.util.List<javax.swing.Action> |
ContextMenuAdapter.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
Proof underlyingObject) |
java.util.List<javax.swing.Action> |
ContextMenuAdapter.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
Rule underlyingObject) |
java.util.Collection<TabPanel> |
KeYGuiExtension.LeftPanel.getPanels(MainWindow window,
KeYMediator mediator)
Initialization and return of the sub components.
|
protected java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.getShortcuts(KeYMediator mediator,
GoalList component) |
protected java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.getShortcuts(KeYMediator mediator,
InfoView component) |
protected java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.getShortcuts(KeYMediator mediator,
ProofTreeView component) |
protected java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.getShortcuts(KeYMediator mediator,
SequentView component) |
protected java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.getShortcuts(KeYMediator mediator,
SourceView component) |
protected java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.getShortcuts(KeYMediator mediator,
StrategySelectionView component) |
java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.getShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component) |
java.util.Collection<javax.swing.Action> |
KeYGuiExtension.KeyboardShortcuts.getShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component) |
protected java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.getShortcutsMainWindow(KeYMediator mediator,
javax.swing.JPanel component)
MainWindow shortcuts.
|
void |
KeYGuiExtension.Startup.init(MainWindow window,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
static void |
KeYGuiExtensionFacade.addContextMenuItems(ContextMenuKind kind,
javax.swing.JPopupMenu menu,
java.lang.Object underlyingObject,
KeYMediator mediator) |
static javax.swing.JPopupMenu |
KeYGuiExtensionFacade.createContextMenu(ContextMenuKind kind,
java.lang.Object underlyingObject,
KeYMediator mediator) |
static javax.swing.JMenu |
KeYGuiExtensionFacade.createTermMenu(ContextMenuKind kind,
java.lang.Object underlyingObject,
KeYMediator mediator) |
java.util.List<javax.swing.Action> |
TestExtension.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
java.lang.Object underlyingObject) |
static java.util.List<javax.swing.Action> |
KeYGuiExtensionFacade.getContextMenuItems(ContextMenuKind kind,
java.lang.Object underlyingObject,
KeYMediator mediator) |
static java.util.stream.Stream<javax.swing.Action> |
KeYGuiExtensionFacade.getKeyboardShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component) |
java.util.Collection<TabPanel> |
TestExtension.getPanels(MainWindow window,
KeYMediator mediator) |
java.util.Collection<javax.swing.Action> |
TestExtension.getShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component) |
static void |
KeYGuiExtensionFacade.installKeyboardShortcuts(KeYMediator mediator,
javax.swing.JComponent component,
java.lang.String componentId) |
Constructor and Description |
---|
JoinMenuItem(java.util.List<ProspectivePartner> partner,
Proof proof,
KeYMediator mediator) |
Constructor and Description |
---|
MergeRuleMenuItem(Goal goal,
PosInOccurrence pio,
KeYMediator mediator)
Creates a new menu item for the join rule.
|
Modifier and Type | Method and Description |
---|---|
KeYMediator |
CurrentGoalView.getMediator()
returns the mediator of this view
|
Constructor and Description |
---|
NotificationManager(KeYMediator mediator,
javax.swing.JFrame comp)
creates an instance of the notification manager
|
Modifier and Type | Method and Description |
---|---|
java.util.List<javax.swing.Action> |
OriginTermLabelsExt.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
java.lang.Object underlyingObject) |
Constructor and Description |
---|
ProofDifferenceView(Node left,
Node right,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
KeYMediator |
ProofTreeView.getMediator()
returns the mediator to communicate with the model
|
Constructor and Description |
---|
ProofTreeView(KeYMediator m)
creates a new proof tree
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<javax.swing.Action> |
TestgenExtension.getShortcuts(KeYMediator mediator,
java.lang.String componentId,
javax.swing.JComponent component) |
void |
TestgenExtension.init(MainWindow window,
KeYMediator mediator) |
Constructor and Description |
---|
MainWindowCounterExampleGenerator(KeYMediator mediator)
Constructor.
|
Constructor and Description |
---|
ProblemLoader(java.io.File file,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
java.util.List<java.io.File> includes,
Profile profileOfNewProofs,
boolean forceNewProfileOfNewProofs,
KeYMediator mediator,
boolean askUiToSelectAProofObligationIfNotDefinedByLoadedFile,
java.util.Properties poPropertiesToForce,
ProverTaskListener ptl) |
Modifier and Type | Method and Description |
---|---|
KeYMediator |
ConsoleUserInterfaceControl.getMediator()
Returns the used
KeYMediator . |
abstract KeYMediator |
AbstractMediatorUserInterfaceControl.getMediator()
Returns the used
KeYMediator . |
Modifier and Type | Method and Description |
---|---|
ProblemLoader |
AbstractMediatorUserInterfaceControl.getProblemLoader(java.io.File file,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
java.util.List<java.io.File> includes,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
static ProofExplorationService |
ProofExplorationService.get(KeYMediator mediator) |
java.util.List<javax.swing.Action> |
ExplorationExtension.getContextActions(KeYMediator mediator,
ContextMenuKind kind,
java.lang.Object underlyingObject) |
java.util.Collection<TabPanel> |
ExplorationExtension.getPanels(MainWindow window,
KeYMediator mediator) |
void |
ExplorationExtension.init(MainWindow window,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<TabPanel> |
InteractionLogExt.getPanels(MainWindow window,
KeYMediator mediator) |
void |
InteractionLogView.setMediator(KeYMediator mediator) |
Constructor and Description |
---|
InteractionLogView(MainWindow window,
KeYMediator mediator) |
Copyright © 2003-2019 The KeY-Project.