public final class ProblemLoader extends AbstractProblemLoader
AbstractProblemLoader
. It
allows to do the loading process as SwingWorker3
Thread
and
it opens the proof obligation browser it is not possible to instantiate a
proof configured by the opened file.AbstractProblemLoader.ReplayResult
Constructor and Description |
---|
ProblemLoader(java.io.File file,
java.util.List<java.io.File> classPath,
java.io.File bootClassPath,
java.util.List<java.io.File> includes,
Profile profileOfNewProofs,
boolean forceNewProfileOfNewProofs,
KeYMediator mediator,
boolean askUiToSelectAProofObligationIfNotDefinedByLoadedFile,
java.util.Properties poPropertiesToForce,
ProverTaskListener ptl) |
Modifier and Type | Method and Description |
---|---|
void |
runAsynchronously()
Launch a loading process asynchronously (on a swingworker thread).
|
void |
runSynchronously() |
protected void |
selectAndLoadProof(ProblemLoaderControl control,
InitConfig initConfig)
Asks the user to select a proof obligation and loads it.
|
createEnvInput, createFileRepo, createInitConfig, createProblemInitializer, createProof, createProofObligationContainer, getBootClassPath, getClassPath, getEnvInput, getFile, getInitConfig, getProblemInitializer, getProof, getProofScript, getResult, hasProofScript, isLoadSingleJavaFile, load, loadEnvironment, loadSelectedProof, readProofScript, recoverParserErrorMessage, setLoadSingleJavaFile, setProof, setProofPath
public ProblemLoader(java.io.File file, java.util.List<java.io.File> classPath, java.io.File bootClassPath, java.util.List<java.io.File> includes, Profile profileOfNewProofs, boolean forceNewProfileOfNewProofs, KeYMediator mediator, boolean askUiToSelectAProofObligationIfNotDefinedByLoadedFile, java.util.Properties poPropertiesToForce, ProverTaskListener ptl)
public void runSynchronously()
protected void selectAndLoadProof(ProblemLoaderControl control, InitConfig initConfig)
AbstractProblemLoader
selectAndLoadProof
in class AbstractProblemLoader
control
- the ui controller.initConfig
- the proof configuration.AbstractProblemLoader.load()
public void runAsynchronously()
ProverTaskListener#taskStarted(String, int)
on the registered
listener.
Termination is announced by invoking
ProverTaskListener.taskFinished(TaskFinishedInfo)
on the
registered listener.Copyright © 2003-2019 The KeY-Project.