public interface ProblemLoaderControl extends ProblemInitializer.ProblemInitializerListener, ProgressMonitor
AbstractProblemLoader
.ProgressMonitor.Empty
Modifier and Type | Method and Description |
---|---|
void |
loadingFinished(AbstractProblemLoader loader,
IPersistablePO.LoadedPOContainer poContainer,
ProofAggregate proofList,
AbstractProblemLoader.ReplayResult result)
The loading has stopped.
|
void |
loadingStarted(AbstractProblemLoader loader)
The loading has started.
|
void |
reportWarnings(ImmutableSet<PositionedString> warnings)
Report the occurred warnings.
|
boolean |
selectProofObligation(InitConfig initConfig)
This method is called if no
IPersistablePO.LoadedPOContainer was created
via AbstractProblemLoader.createProofObligationContainer() and can be overwritten
for instance to open the proof management dialog as done by ProblemLoader . |
progressStarted, progressStopped, proofCreated, reportException, reportStatus, reportStatus, resetStatus
setMaximum, setProgress
void loadingStarted(AbstractProblemLoader loader)
loader
- The source AbstractProblemLoader
.void loadingFinished(AbstractProblemLoader loader, IPersistablePO.LoadedPOContainer poContainer, ProofAggregate proofList, AbstractProblemLoader.ReplayResult result) throws ProblemLoaderException
loader
- The source AbstractProblemLoader
.poContainer
- The loaded IPersistablePO.LoadedPOContainer
.proofList
- The created ProofAggregate
.result
- The occurred AbstractProblemLoader.ReplayResult
.ProblemLoaderException
- Occurred Exception.boolean selectProofObligation(InitConfig initConfig)
IPersistablePO.LoadedPOContainer
was created
via AbstractProblemLoader.createProofObligationContainer()
and can be overwritten
for instance to open the proof management dialog as done by ProblemLoader
.void reportWarnings(ImmutableSet<PositionedString> warnings)
warnings
- The occurred warnings.