de.uka.ilkd.key.control.event

Class TermLabelVisibilityManagerEvent

java.lang.Object

java.util.EventObject

de.uka.ilkd.key.control.event.TermLabelVisibilityManagerEvent

All Implemented Interfaces:

java.io.Serializable

public class TermLabelVisibilityManagerEvent
extends java.util.EventObject

An event thrown by a TermLabelVisibilityManager.

Author:

Martin Hentschel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID Generated UID.

Fields inherited from class java.util.EventObject

source

Constructor Summary

Constructors

Constructor and Description
TermLabelVisibilityManagerEvent(TermLabelVisibilityManager source) Constructor.

Method Summary

Modifier and Type	Method and Description
TermLabelVisibilityManager	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

Constructor Detail

TermLabelVisibilityManagerEvent

public TermLabelVisibilityManagerEvent(TermLabelVisibilityManager source)

Constructor.

Parameters:

source - The source TermLabelVisibilityManager.

Method Detail

getSource

public TermLabelVisibilityManager getSource()

Overrides:

getSource in class java.util.EventObject