de.uka.ilkd.key.proof

Class ModelEvent

java.lang.Object

java.util.EventObject

de.uka.ilkd.key.proof.ModelEvent

All Implemented Interfaces:

java.io.Serializable

public class ModelEvent
extends java.util.EventObject

this class represents a Model event

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class java.util.EventObject

source

Constructor Summary

Constructors

Constructor and Description
ModelEvent(java.lang.Object source)

Method Summary

Methods inherited from class java.util.EventObject

getSource, 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

See Also:

Constant Field Values

Constructor Detail

ModelEvent

public ModelEvent(java.lang.Object source)