de.uka.ilkd.key.symbolic_execution.util

Class SideProofStore.Entry

java.lang.Object

de.uka.ilkd.key.symbolic_execution.util.SideProofStore.Entry

Enclosing class:

SideProofStore

public static class SideProofStore.Entry
extends java.lang.Object

An SideProofStore.Entry of a SideProofStore.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	description The description.
private KeYEnvironment<DefaultUserInterfaceControl>	environment The KeYEnvironment.
private Proof	proof The Proof.

Constructor Summary

Constructors

Constructor and Description
Entry(java.lang.String description, Proof proof) Constructor.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDescription() Returns the description.
KeYEnvironment<DefaultUserInterfaceControl>	getEnvironment() Returns the KeYEnvironment.
Proof	getProof() Returns the Proof.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

description

private final java.lang.String description

The description.

proof

private final Proof proof

The Proof.

environment

private final KeYEnvironment<DefaultUserInterfaceControl> environment

The KeYEnvironment.

Constructor Detail

Entry

public Entry(java.lang.String description,
             Proof proof)

Constructor.

Parameters:

description - The description.

proof - The Proof.

Method Detail

getDescription

public java.lang.String getDescription()

Returns the description.

Returns:

The description.

getProof

public Proof getProof()

Returns the Proof.

Returns:

The Proof.

getEnvironment

public KeYEnvironment<DefaultUserInterfaceControl> getEnvironment()

Returns the KeYEnvironment.

Returns:

The KeYEnvironment.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object