Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
org.key_project.ui.interactionlog.api | |
org.key_project.ui.interactionlog.model | |
org.key_project.ui.interactionlog.model.builtin |
Modifier and Type | Method and Description |
---|---|
WindowUserInterfaceControl |
MainWindow.getUserInterface() |
Modifier and Type | Method and Description |
---|---|
static KeYEnvironment<WindowUserInterfaceControl> |
WindowUserInterfaceControl.loadInMainWindow(Profile profile,
java.io.File location,
java.util.List<java.io.File> classPaths,
java.io.File bootClassPath,
java.util.List<java.io.File> includes,
boolean forceNewProfileOfNewProofs,
boolean makeMainWindowVisible)
Loads the given location and returns all required references as
KeYEnvironment
with KeY's MainWindow . |
Modifier and Type | Method and Description |
---|---|
default void |
Reapplicable.reapply(WindowUserInterfaceControl uic,
Goal goal) |
Modifier and Type | Method and Description |
---|---|
void |
AutoModeInteraction.reapply(WindowUserInterfaceControl uic,
Goal goal) |
void |
RuleInteraction.reapply(WindowUserInterfaceControl uic,
Goal goal) |
void |
SettingChangeInteraction.reapply(WindowUserInterfaceControl uic,
Goal goal) |
void |
PruneInteraction.reapply(WindowUserInterfaceControl uic,
Goal goal) |
void |
MacroInteraction.reapply(WindowUserInterfaceControl uic,
Goal goal) |
Modifier and Type | Method and Description |
---|---|
void |
OSSBuiltInRuleInteraction.reapply(WindowUserInterfaceControl uic,
Goal goal) |
Copyright © 2003-2019 The KeY-Project.