de.uka.ilkd.key.gui

Class InfoView.InfoViewSelectionListener

java.lang.Object

de.uka.ilkd.key.gui.InfoView.InfoViewSelectionListener

All Implemented Interfaces:

KeYSelectionListener

Enclosing class:

InfoView

private class InfoView.InfoViewSelectionListener
extends java.lang.Object
implements KeYSelectionListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	InfoViewSelectionListener()

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

InfoViewSelectionListener

private InfoViewSelectionListener()

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