Package | Description |
---|---|
de.uka.ilkd.key.core |
Modifier and Type | Method and Description |
---|---|
KeYSelectionModel |
KeYMediator.getSelectionModel()
returns the current selected goal
|
KeYSelectionModel |
KeYSelectionEvent.getSource()
returns the KeYSelectionModel that caused this event
|
Constructor and Description |
---|
KeYSelectionEvent(KeYSelectionModel source)
creates a new SelectedNodeEvent
|
Copyright © 2003-2019 The KeY-Project.