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 | |
de.uka.ilkd.key.util |
This package is a grab bag of miscellaneous useful code fragments.
|
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 |
---|
KeYUserProblemFile(java.lang.String name,
java.io.File file,
FileRepo fileRepo,
ProgressMonitor monitor,
Profile profile,
boolean compressed)
Instantiates a new user problem file.
|
KeYUserProblemFile(java.lang.String name,
java.io.File file,
ProgressMonitor monitor,
Profile profile)
Creates a new representation of a KeYUserFile with the given name,
a rule source representing the physical source of the input, and
a graphical representation to call back in order to report the progress
while reading.
|
KeYUserProblemFile(java.lang.String name,
java.io.File file,
ProgressMonitor monitor,
Profile profile,
boolean compressed)
Instantiates a new user problem file.
|
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 ProgressMonitor |
KeYFile.monitor
the graphical entity to notify on the state of reading.
|
Constructor and Description |
---|
CountingBufferedReader(java.io.InputStream in,
ProgressMonitor monitor,
int step) |
CountingBufferedReader(java.io.InputStream in,
ProgressMonitor monitor,
int step,
int alreadyRead) |
KeYFile(java.lang.String name,
java.io.File file,
FileRepo fileRepo,
ProgressMonitor monitor,
Profile profile,
boolean compressed)
Creates a new representation for a given file by indicating a name and a
file representing the physical source of the .key file.
|
KeYFile(java.lang.String name,
java.io.File file,
ProgressMonitor monitor,
Profile profile)
creates a new representation for a given file by indicating a name
and a file representing the physical source of the .key file.
|
KeYFile(java.lang.String name,
java.io.File file,
ProgressMonitor monitor,
Profile profile,
boolean compressed)
Creates a new representation for a given file by indicating a name and a
file representing the physical source of the .key file.
|
KeYFile(java.lang.String name,
RuleSource file,
ProgressMonitor monitor,
Profile profile)
creates a new representation for a given file by indicating a name
and a RuleSource representing the physical source of the .key file.
|
KeYFile(java.lang.String name,
RuleSource file,
ProgressMonitor monitor,
Profile profile,
FileRepo fileRepo)
creates a new representation for a given file by indicating a name
and a RuleSource representing the physical source of the .key file.
|
Modifier and Type | Field and Description |
---|---|
protected ProgressMonitor |
TacletLoader.monitor |
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. |
Modifier and Type | Class and Description |
---|---|
static class |
ProgressMonitor.Empty
A progress monitor that does nothing.
|
Copyright © 2003-2019 The KeY-Project.