de.uka.ilkd.key.symbolic_execution.util.event

Interface ISideProofStoreListener

All Superinterfaces:

EventListener

public interface ISideProofStoreListener
extends EventListener

Observes changes on a SideProofStore.

Author:

Martin Hentschel

Method Summary

Modifier and Type	Method and Description
void	entriesAdded(SideProofStoreEvent e) When new SideProofStore.Entrys are added.
void	entriesRemoved(SideProofStoreEvent e) When existing SideProofStore.Entrys were removed.

Method Detail

entriesAdded

void entriesAdded(SideProofStoreEvent e)

When new SideProofStore.Entrys are added.

Parameters:

e - The SideProofStoreEvent.

entriesRemoved

void entriesRemoved(SideProofStoreEvent e)

When existing SideProofStore.Entrys were removed.

Parameters:

e - The SideProofStoreEvent.