Package | Description |
---|---|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.ui |
Modifier and Type | Method and Description |
---|---|
TacletInstantiationModel[] |
AbstractProofControl.completeAndApplyApp(java.util.List<TacletApp> apps,
Goal goal) |
TacletInstantiationModel |
AbstractProofControl.createModel(TacletApp app,
Goal goal) |
Modifier and Type | Method and Description |
---|---|
void |
RuleCompletionHandler.completeAndApplyTacletMatch(TacletInstantiationModel[] models,
Goal goal)
called to complete and apply a taclet instantiations
|
protected void |
AbstractProofControl.completeAndApplyTacletMatch(TacletInstantiationModel[] models,
Goal goal) |
static void |
InstantiationFileHandler.saveListFor(TacletInstantiationModel model) |
Modifier and Type | Field and Description |
---|---|
protected TacletInstantiationModel[] |
ApplyTacletDialog.model |
Modifier and Type | Method and Description |
---|---|
void |
WindowUserInterfaceControl.completeAndApplyTacletMatch(TacletInstantiationModel[] models,
Goal goal) |
Constructor and Description |
---|
ApplyTacletDialog(java.awt.Frame parent,
TacletInstantiationModel[] model,
KeYMediator mediator) |
TacletIfSelectionDialog(TacletInstantiationModel model,
TacletMatchCompletionDialog owner)
creates a new dialog
|
TacletMatchCompletionDialog(MainWindow parent,
TacletInstantiationModel[] model,
Goal goal,
KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
void |
ConsoleUserInterfaceControl.completeAndApplyTacletMatch(TacletInstantiationModel[] models,
Goal goal) |
Copyright © 2003-2019 The KeY-Project.