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