public class SideProofStoreEvent
extends java.util.EventObject
SideProofStore
and observed via an ISideProofStoreListener
.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() |
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
Copyright © 2003-2019 The KeY-Project.