de.uka.ilkd.key.proof.mgt

Class ProofEnvironmentEvent

java.lang.Object

java.util.EventObject

de.uka.ilkd.key.proof.mgt.ProofEnvironmentEvent

All Implemented Interfaces:

java.io.Serializable

public class ProofEnvironmentEvent
extends java.util.EventObject

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private ProofOblInput	po
private ProofAggregate	proofList
private static long	serialVersionUID

Fields inherited from class java.util.EventObject

source

Constructor Summary

Constructors

Constructor and Description
ProofEnvironmentEvent(ProofEnvironment source, ProofOblInput po, ProofAggregate proofList)

Method Summary

Modifier and Type	Method and Description
ProofOblInput	getPo()
ProofAggregate	getProofList()
ProofEnvironment	getSource()

Methods inherited from class java.util.EventObject

toString

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

po

private final ProofOblInput po

proofList

private final ProofAggregate proofList

Constructor Detail

ProofEnvironmentEvent

public ProofEnvironmentEvent(ProofEnvironment source,
                             ProofOblInput po,
                             ProofAggregate proofList)

Method Detail

getSource

public ProofEnvironment getSource()

Overrides:

getSource in class java.util.EventObject

getProofList

public ProofAggregate getProofList()

getPo

public ProofOblInput getPo()