public class SingleThreadProblemLoader extends AbstractProblemLoader
AbstractProblemLoader.ReplayResult
Constructor and Description |
---|
SingleThreadProblemLoader(File file,
List<File> classPath,
File bootClassPath,
List<File> includes,
Profile profileOfNewProofs,
boolean forceNewProfileOfNewProofs,
ProblemLoaderControl control,
boolean askUiToSelectAProofObligationIfNotDefinedByLoadedFile,
Properties poPropertiesToForce)
Constructor.
|
createEnvInput, createInitConfig, createProblemInitializer, createProof, createProofObligationContainer, getBootClassPath, getClassPath, getEnvInput, getFile, getInitConfig, getProblemInitializer, getProof, getResult, hasProofScript, load, readProofScript, recoverParserErrorMessage
public SingleThreadProblemLoader(File file, List<File> classPath, File bootClassPath, List<File> includes, Profile profileOfNewProofs, boolean forceNewProfileOfNewProofs, ProblemLoaderControl control, boolean askUiToSelectAProofObligationIfNotDefinedByLoadedFile, 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
.