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

Class SideProofStoreEvent

java.lang.Object

java.util.EventObject

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

All Implemented Interfaces:

java.io.Serializable

public class SideProofStoreEvent
extends java.util.EventObject

An event thrown by a SideProofStore and observed via an ISideProofStoreListener.

Author:

Martin Hentschel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private SideProofStore.Entry[]	entries The added or removed SideProofStore.Entrys.
private static long	serialVersionUID Generated UID.

Fields inherited from class java.util.EventObject

source

Constructor Summary

Constructors

Constructor and Description
SideProofStoreEvent(SideProofStore source, SideProofStore.Entry[] entries) Constructor.

Method Summary

Modifier and Type	Method and Description
SideProofStore.Entry[]	getEntries() Returns the added or removed SideProofStore.Entrys.
SideProofStore	getSource()

Methods inherited from class java.util.EventObject

toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

Generated UID.

See Also:

Constant Field Values

entries

private final SideProofStore.Entry[] entries

The added or removed SideProofStore.Entrys.

Constructor Detail

SideProofStoreEvent

public SideProofStoreEvent(SideProofStore source,
                           SideProofStore.Entry[] entries)

Constructor.

Parameters:

source - The source.

proof - The added or removed SideProofStore.Entrys.

Method Detail

getEntries

public SideProofStore.Entry[] getEntries()

Returns the added or removed SideProofStore.Entrys.

Returns:

The added or removed SideProofStore.Entrys.

getSource

public SideProofStore getSource()

Overrides:

getSource in class java.util.EventObject