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
Modifier and Type | Field and Description |
---|---|
private KeYMediator |
mediator |
private ProverTaskListener |
ptl |
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 |
---|---|
private java.lang.Throwable |
doWork() |
private void |
fireTaskFinished(long runningTime,
java.lang.Throwable message) |
private void |
fireTaskStarted() |
void |
runAsynchronously()
Launch a loading process asynchronously (on a swingworker thread).
|
void |
runSynchronously() |
createEnvInput, createInitConfig, createProblemInitializer, createProof, createProofObligationContainer, getBootClassPath, getClassPath, getEnvInput, getFile, getInitConfig, getProblemInitializer, getProof, getProofScript, getResult, hasProofScript, load, readProofScript, recoverParserErrorMessage
private final ProverTaskListener ptl
private final KeYMediator mediator
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()
private java.lang.Throwable doWork()
private void fireTaskStarted()
private void fireTaskFinished(long runningTime, java.lang.Throwable message)
public void runAsynchronously()
ProverTaskListener#taskStarted(String, int)
on the registered
listener.
Termination is announced by invoking
ProverTaskListener.taskFinished(TaskFinishedInfo)
on the
registered listener.