de.uka.ilkd.key.gui

Class TaskTree.TaskTreeSelectionListener

java.lang.Object

de.uka.ilkd.key.gui.TaskTree.TaskTreeSelectionListener

All Implemented Interfaces:

KeYSelectionListener

Enclosing class:

TaskTree

class TaskTree.TaskTreeSelectionListener
extends java.lang.Object
implements KeYSelectionListener

Constructor Summary

Constructors

Constructor and Description
TaskTreeSelectionListener()

Method Summary

Modifier and Type	Method and Description
void	selectedNodeChanged(KeYSelectionEvent e) focused node has changed
void	selectedProofChanged(KeYSelectionEvent e) the selected proof has changed (e.g. a new proof has been loaded)

Methods inherited from class java.lang.Object

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

Constructor Detail

TaskTreeSelectionListener

TaskTreeSelectionListener()

Method Detail

selectedNodeChanged

public void selectedNodeChanged(KeYSelectionEvent e)

focused node has changed

Specified by:

selectedNodeChanged in interface KeYSelectionListener

selectedProofChanged

public void selectedProofChanged(KeYSelectionEvent e)

the selected proof has changed (e.g. a new proof has been loaded)

Specified by:

selectedProofChanged in interface KeYSelectionListener