de.uka.ilkd.key.proof.init

Class IPersistablePO.LoadedPOContainer

java.lang.Object

de.uka.ilkd.key.proof.init.IPersistablePO.LoadedPOContainer

Enclosing interface:

IPersistablePO

public static class IPersistablePO.LoadedPOContainer
extends java.lang.Object

The class stored in a 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.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private int	proofNum The proof number which is 0 by default.
private ProofOblInput	proofOblInput The created ProofOblInput.

Constructor Summary

Constructors

Constructor and Description
LoadedPOContainer(ProofOblInput proofOblInput) Constructor.
LoadedPOContainer(ProofOblInput proofOblInput, int proofNum) Constructor.

Method Summary

Modifier and Type	Method and Description
int	getProofNum() Returns the proof number which is 0 by default.
ProofOblInput	getProofOblInput() Returns the created ProofOblInput.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

proofOblInput

private ProofOblInput proofOblInput

The created ProofOblInput.

proofNum

private int proofNum

The proof number which is 0 by default.

Constructor Detail

LoadedPOContainer

public LoadedPOContainer(ProofOblInput proofOblInput)

Constructor.

Parameters:

proofOblInput - The created ProofOblInput.

LoadedPOContainer

public LoadedPOContainer(ProofOblInput proofOblInput,
                         int proofNum)

Constructor.

Parameters:

proofOblInput - The created ProofOblInput.

proofNum - The proof number which is 0 by default.

Method Detail

getProofOblInput

public ProofOblInput getProofOblInput()

Returns the created ProofOblInput.

Returns:

The created ProofOblInput.

getProofNum

public int getProofNum()

Returns the proof number which is 0 by default.

Returns:

The proof number which is 0 by default.