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.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.taclettranslation.lemma | |
de.uka.ilkd.key.ui |
Modifier and Type | Class and Description |
---|---|
class |
AbstractUserInterfaceControl
Provides a basic implementation of
UserInterfaceControl . |
class |
DefaultUserInterfaceControl
The
DefaultUserInterfaceControl which allows proving in case
that no specific user interface is available. |
Modifier and Type | Class and Description |
---|---|
class |
WindowUserInterfaceControl
Implementation of
UserInterfaceControl which controls the MainWindow
with the typical user interface of KeY. |
Constructor and Description |
---|
ProblemInitializer(ProgressMonitor mon,
Services services,
ProblemInitializer.ProblemInitializerListener listener) |
Modifier and Type | Interface and Description |
---|---|
interface |
ProblemLoaderControl
Allows to observe and control the loading performed by an
AbstractProblemLoader . |
Modifier and Type | Field and Description |
---|---|
protected ProblemInitializer.ProblemInitializerListener |
TacletLoader.listener |
Constructor and Description |
---|
KeYsTacletsLoader(ProgressMonitor monitor,
ProblemInitializer.ProblemInitializerListener listener,
Profile profile) |
TacletFromFileLoader(ProgressMonitor pm,
ProblemInitializer.ProblemInitializerListener listener,
ProblemInitializer problemInitializer,
java.io.File fileForTaclets,
java.util.Collection<java.io.File> filesForAxioms,
InitConfig initConfig) |
TacletFromFileLoader(ProgressMonitor pm,
ProblemInitializer.ProblemInitializerListener listener,
ProblemInitializer problemInitializer,
Profile profile,
java.io.File fileForTaclets,
java.util.Collection<java.io.File> filesForAxioms) |
TacletLoader(ProgressMonitor monitor,
ProblemInitializer.ProblemInitializerListener listener,
Profile profile) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractMediatorUserInterfaceControl
Provides a basic implementation of
UserInterfaceControl for
user interfaces in which a KeYMediator is available. |
class |
ConsoleUserInterfaceControl
Implementation of
UserInterfaceControl used by command line interface of KeY. |
Copyright © 2003-2019 The KeY-Project.