Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
de.uka.ilkd.key.proof.io.consistency | |
de.uka.ilkd.key.ui |
Modifier and Type | Class and Description |
---|---|
class |
WindowUserInterfaceControl
Implementation of
UserInterfaceControl which controls the MainWindow
with the typical user interface of KeY. |
Modifier and Type | Method and Description |
---|---|
ProofDisposedListener[] |
Proof.getProofDisposedListeners()
Returns all registered
ProofDisposedListener . |
Modifier and Type | Method and Description |
---|---|
void |
Proof.addProofDisposedListener(ProofDisposedListener l)
Registers the given
ProofDisposedListener . |
void |
Proof.removeProofDisposedListener(ProofDisposedListener l)
Unregisters the given
ProofDisposedListener . |
Modifier and Type | Interface and Description |
---|---|
interface |
FileRepo
This interface provides access to files.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractFileRepo
Abstract repo implementation to perform tasks independent from the concrete way the files are
cached.
|
class |
DiskFileRepo
This class uses a temporary directory as a store for the proof-relevant files.
|
class |
MemoryFileRepo
This class uses the memory as a store for the proof-relevant files.
|
class |
SimpleFileRepo
This FileRepo is able to build a proof bundle but is not able to guarantee consistency
between the saved proof and the source code because it does not cache the source code.
|
class |
TrivialFileRepo
This FileRepo does not cache any files but writes to / reads from the original files on disk.
|
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.