de.uka.ilkd.key.settings

Class ProofSettings.ProofSettingsListener

java.lang.Object

de.uka.ilkd.key.settings.ProofSettings.ProofSettingsListener

All Implemented Interfaces:

SettingsListener

Enclosing class:

ProofSettings

private class ProofSettings.ProofSettingsListener
extends java.lang.Object
implements SettingsListener

Constructor Summary

Constructors

Constructor and Description
ProofSettingsListener()

Method Summary

Modifier and Type	Method and Description
void	settingsChanged(java.util.EventObject e) called by the Settings object to inform the listener that its state has changed

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofSettingsListener

ProofSettingsListener()

Method Detail

settingsChanged

public void settingsChanged(java.util.EventObject e)

called by the Settings object to inform the listener that its state has changed

Specified by:

settingsChanged in interface SettingsListener

Parameters:

e - the Event sent to the listener