public class ProofDisposedEvent extends EventObject
Proof
and observed via a ProofDisposedListener
.Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID
Generated UID.
|
source
Constructor and Description |
---|
ProofDisposedEvent(Proof source)
Constructor.
|
private static final long serialVersionUID
public Proof getSource()
getSource
in class EventObject