public class SideProofStoreEvent
extends java.util.EventObject
SideProofStore
and observed via an ISideProofStoreListener
.Modifier and Type | Field and Description |
---|---|
private SideProofStore.Entry[] |
entries
The added or removed
SideProofStore.Entry s. |
private static long |
serialVersionUID
Generated UID.
|
Constructor and Description |
---|
SideProofStoreEvent(SideProofStore source,
SideProofStore.Entry[] entries)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
SideProofStore.Entry[] |
getEntries()
Returns the added or removed
SideProofStore.Entry s. |
SideProofStore |
getSource() |
private static final long serialVersionUID
private final SideProofStore.Entry[] entries
SideProofStore.Entry
s.public SideProofStoreEvent(SideProofStore source, SideProofStore.Entry[] entries)
source
- The source.proof
- The added or removed SideProofStore.Entry
s.public SideProofStore.Entry[] getEntries()
SideProofStore.Entry
s.SideProofStore.Entry
s.public SideProofStore getSource()
getSource
in class java.util.EventObject