public static class IPersistablePO.LoadedPOContainer
extends java.lang.Object
Properties
instance via key must provide
the static method with the following signature:
public static LoadedPOContainer loadFrom(InitConfig initConfig, Properties properties) throws IOException
This method is called by the ProblemLoader
to recreate a proof obligation.
This class defines the result of this method which is the created proof obligation and its proof number.Constructor and Description |
---|
LoadedPOContainer(ProofOblInput proofOblInput)
Constructor.
|
LoadedPOContainer(ProofOblInput proofOblInput,
int proofNum)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
int |
getProofNum()
Returns the proof number which is
0 by default. |
ProofOblInput |
getProofOblInput()
Returns the created
ProofOblInput . |
public LoadedPOContainer(ProofOblInput proofOblInput)
proofOblInput
- The created ProofOblInput
.public LoadedPOContainer(ProofOblInput proofOblInput, int proofNum)
proofOblInput
- The created ProofOblInput
.proofNum
- The proof number which is 0
by default.public ProofOblInput getProofOblInput()
ProofOblInput
.ProofOblInput
.public int getProofNum()
0
by default.0
by default.Copyright © 2003-2019 The KeY-Project.