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.macros | |
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.prover | |
de.uka.ilkd.key.prover.impl | |
de.uka.ilkd.key.ui |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractUserInterfaceControl.fireTaskFinished(TaskFinishedInfo info)
Fires the event
ProverTaskListener.taskFinished(TaskFinishedInfo) to all listener. |
void |
AbstractUserInterfaceControl.taskFinished(TaskFinishedInfo info) |
void |
AbstractProofControl.FocussedAutoModeTaskListener.taskFinished(TaskFinishedInfo info) |
void |
CompositePTListener.taskFinished(TaskFinishedInfo info) |
Modifier and Type | Method and Description |
---|---|
void |
WindowUserInterfaceControl.taskFinished(TaskFinishedInfo info) |
Modifier and Type | Class and Description |
---|---|
class |
ProofMacroFinishedInfo
An information object with additional information about the
finished proof macro.
|
Modifier and Type | Method and Description |
---|---|
void |
ProofMacroListener.taskFinished(TaskFinishedInfo info) |
void |
ProofMacro.ProgressBarListener.taskFinished(TaskFinishedInfo info) |
Modifier and Type | Method and Description |
---|---|
void |
AutoSaver.taskFinished(TaskFinishedInfo info) |
Modifier and Type | Method and Description |
---|---|
void |
ProverTaskListener.taskFinished(TaskFinishedInfo info)
Called when a task is finished.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultTaskFinishedInfo |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractProverCore.fireTaskFinished(TaskFinishedInfo info)
propagation method for the event that a task has finished
|
Modifier and Type | Method and Description |
---|---|
void |
ConsoleUserInterfaceControl.taskFinished(TaskFinishedInfo info) |
Copyright © 2003-2019 The KeY-Project.