public class SingleThreadProblemLoader extends AbstractProblemLoader
AbstractProblemLoader.ReplayResult
Constructor and Description |
---|
SingleThreadProblemLoader(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,
ProblemLoaderControl control,
boolean askUiToSelectAProofObligationIfNotDefinedByLoadedFile,
java.util.Properties poPropertiesToForce)
Constructor.
|
createEnvInput, createInitConfig, createProblemInitializer, createProof, createProofObligationContainer, getBootClassPath, getClassPath, getEnvInput, getFile, getInitConfig, getProblemInitializer, getProof, getProofScript, getResult, hasProofScript, load, readProofScript, recoverParserErrorMessage
public SingleThreadProblemLoader(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, ProblemLoaderControl control, boolean askUiToSelectAProofObligationIfNotDefinedByLoadedFile, java.util.Properties poPropertiesToForce)
file
- The file or folder to load.classPath
- The optional class path entries to use.bootClassPath
- An optional boot class path.includes
- Optional includes to consider.profileOfNewProofs
- The Profile
to use for new Proof
s.forceNewProfileOfNewProofs
- true
AbstractProblemLoader.profileOfNewProofs
will be used as
Profile
of new proofs, false
Profile
specified by problem file will be used for new proofs.control
- The ProblemLoaderControl
to use.askUiToSelectAProofObligationIfNotDefinedByLoadedFile
- true
to call UserInterfaceControl#selectProofObligation(InitConfig)
if no Proof
is defined by the loaded proof or false
otherwise which still allows to work with the loaded InitConfig
.