de.uka.ilkd.key.proof.event

Class ProofDisposedEvent

java.lang.Object

java.util.EventObject

de.uka.ilkd.key.proof.event.ProofDisposedEvent

All Implemented Interfaces:

java.io.Serializable

public class ProofDisposedEvent
extends java.util.EventObject

An event thrown by a Proof and observed via a ProofDisposedListener.

Author:

Martin Hentschel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID Generated UID.

Fields inherited from class java.util.EventObject

source

Constructor Summary

Constructors

Constructor and Description
ProofDisposedEvent(Proof source) Constructor.

Method Summary

Modifier and Type	Method and Description
Proof	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

Generated UID.

See Also:

Constant Field Values

Constructor Detail

ProofDisposedEvent

public ProofDisposedEvent(Proof source)

Constructor.

Parameters:

source - The Proof.

Method Detail

getSource

public Proof getSource()

Overrides:

getSource in class java.util.EventObject