de.uka.ilkd.key.core

Class KeYSelectionEvent

java.lang.Object

de.uka.ilkd.key.core.KeYSelectionEvent

public class KeYSelectionEvent
extends java.lang.Object

An event that indicates that the users focused node or proof has changed

Field Summary

Fields

Modifier and Type	Field and Description
private KeYSelectionModel	source the source of this event

Constructor Summary

Constructors

Constructor and Description
KeYSelectionEvent(KeYSelectionModel source) creates a new SelectedNodeEvent

Method Summary

Modifier and Type	Method and Description
KeYSelectionModel	getSource() returns the KeYSelectionModel that caused this event

Methods inherited from class java.lang.Object

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

Field Detail

source

private KeYSelectionModel source

the source of this event

Constructor Detail

KeYSelectionEvent

public KeYSelectionEvent(KeYSelectionModel source)

creates a new SelectedNodeEvent

Parameters:

source - the SelectedNodeModel where the event had its origin

Method Detail

getSource

public KeYSelectionModel getSource()

returns the KeYSelectionModel that caused this event

Returns:

the KeYSelectionModel that caused this event