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.io |
Classes related to loading and saving proof files.
|
Modifier and Type | Method and Description |
---|---|
AbstractProblemLoader |
AbstractUserInterfaceControl.load(Profile profile,
java.io.File file,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
java.util.List<java.io.File> includes,
java.util.Properties poPropertiesToForce,
boolean forceNewProfileOfNewProofs)
Opens a java file in this
UserInterfaceControl and returns the instantiated AbstractProblemLoader
which can be used to instantiated proofs programmatically. |
AbstractProblemLoader |
UserInterfaceControl.load(Profile profile,
java.io.File file,
java.util.List<java.io.File> classPaths,
java.io.File bootClassPath,
java.util.List<java.io.File> includes,
java.util.Properties poPropertiesToForce,
boolean forceNewProfileOfNewProofs)
Opens a java file in this
UserInterfaceControl and returns the instantiated AbstractProblemLoader
which can be used to instantiated proofs programmatically. |
Modifier and Type | Method and Description |
---|---|
void |
AbstractUserInterfaceControl.loadingFinished(AbstractProblemLoader loader,
IPersistablePO.LoadedPOContainer poContainer,
ProofAggregate proofList,
AbstractProblemLoader.ReplayResult result) |
void |
AbstractUserInterfaceControl.loadingStarted(AbstractProblemLoader loader) |
Modifier and Type | Method and Description |
---|---|
AbstractProblemLoader |
WindowUserInterfaceControl.load(Profile profile,
java.io.File file,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
java.util.List<java.io.File> includes,
java.util.Properties poPropertiesToForce,
boolean forceNewProfileOfNewProofs)
Opens a java file in this
UserInterfaceControl and returns the instantiated AbstractProblemLoader
which can be used to instantiated proofs programmatically. |
Modifier and Type | Method and Description |
---|---|
void |
WindowUserInterfaceControl.loadingFinished(AbstractProblemLoader loader,
IPersistablePO.LoadedPOContainer poContainer,
ProofAggregate proofList,
AbstractProblemLoader.ReplayResult result) |
void |
WindowUserInterfaceControl.loadingStarted(AbstractProblemLoader loader) |
Modifier and Type | Class and Description |
---|---|
class |
ProblemLoader
This class extends the functionality of the
AbstractProblemLoader . |
class |
SingleThreadProblemLoader
This single threaded problem loader is used by the Eclipse integration of KeY.
|
Modifier and Type | Method and Description |
---|---|
AbstractProblemLoader |
ProblemLoaderException.getOrigin() |
Modifier and Type | Method and Description |
---|---|
void |
ProblemLoaderControl.loadingFinished(AbstractProblemLoader loader,
IPersistablePO.LoadedPOContainer poContainer,
ProofAggregate proofList,
AbstractProblemLoader.ReplayResult result)
The loading has stopped.
|
void |
ProblemLoaderControl.loadingStarted(AbstractProblemLoader loader)
The loading has started.
|
Constructor and Description |
---|
IntermediateProofReplayer(AbstractProblemLoader loader,
Proof proof,
de.uka.ilkd.key.proof.io.IntermediatePresentationProofFileParser.Result parserResult)
Constructs a new
IntermediateProofReplayer . |
ProblemLoaderException(AbstractProblemLoader origin,
java.lang.String msg) |
ProblemLoaderException(AbstractProblemLoader origin,
java.lang.String msg,
java.lang.Throwable cause) |
ProblemLoaderException(AbstractProblemLoader origin,
java.lang.Throwable cause) |
Copyright © 2003-2019 The KeY-Project.