Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.util | |
de.uka.ilkd.key.symbolic_execution.util.event |
Modifier and Type | Method and Description |
---|---|
protected void |
SideProofStore.fireEntriesAdded(SideProofStoreEvent e)
Fires the event
ISideProofStoreListener.entriesAdded(SideProofStoreEvent) . |
protected void |
SideProofStore.fireEntriesRemoved(SideProofStoreEvent e)
Fires the event
ISideProofStoreListener.entriesRemoved(SideProofStoreEvent) . |
Modifier and Type | Method and Description |
---|---|
void |
ISideProofStoreListener.entriesAdded(SideProofStoreEvent e)
When new
SideProofStore.Entry s are added. |
void |
ISideProofStoreListener.entriesRemoved(SideProofStoreEvent e)
When existing
SideProofStore.Entry s were removed. |
Copyright © 2003-2019 The KeY-Project.