de.uka.ilkd.key.gui

Class MainWindow.DPEnableControl

java.lang.Object

de.uka.ilkd.key.gui.MainWindow.DPEnableControl

All Implemented Interfaces:

KeYSelectionListener

Enclosing class:

MainWindow

private final class MainWindow.DPEnableControl
extends java.lang.Object
implements KeYSelectionListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	DPEnableControl()

Method Summary

Modifier and Type	Method and Description
private void	enable(boolean b)
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

DPEnableControl

private DPEnableControl()

Method Detail

enable

private void enable(boolean b)

selectedProofChanged

public void selectedProofChanged(KeYSelectionEvent e)

Description copied from interface: KeYSelectionListener

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

Specified by:

selectedProofChanged in interface KeYSelectionListener

selectedNodeChanged

public void selectedNodeChanged(KeYSelectionEvent e)

Description copied from interface: KeYSelectionListener

focused node has changed

Specified by:

selectedNodeChanged in interface KeYSelectionListener