Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.utilities |
Modifier and Type | Class and Description |
---|---|
class |
InspectorForDecisionPredicates |
Modifier and Type | Class and Description |
---|---|
class |
InspectorForFormulas
Inspects whether a given string can be translated into a formula.
|
Modifier and Type | Method and Description |
---|---|
void |
CheckedUserInput.setInspector(CheckedUserInput.CheckedUserInputInspector inspector) |
static java.lang.String |
CheckedUserInput.showAsDialog(java.lang.String title,
java.lang.String description,
java.lang.String helpText,
java.lang.String defaultInput,
CheckedUserInput.CheckedUserInputInspector inspector,
boolean showInformation) |
Constructor and Description |
---|
CheckedUserInput(CheckedUserInput.CheckedUserInputInspector inspector,
boolean showInformation) |
Copyright © 2003-2019 The KeY-Project.