de.uka.ilkd.key.gui

Class GoalList.GoalListInteractiveListener

java.lang.Object

de.uka.ilkd.key.gui.GoalList.GoalListInteractiveListener

All Implemented Interfaces:

AutoModeListener

Enclosing class:

GoalList

private class GoalList.GoalListInteractiveListener
extends java.lang.Object
implements AutoModeListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	GoalListInteractiveListener()

Method Summary

Modifier and Type	Method and Description
void	autoModeStarted(ProofEvent e) invoked if automatic execution of heuristics has started
void	autoModeStopped(ProofEvent e) invoked if automatic execution of heuristics has stopped

Methods inherited from class java.lang.Object

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

Constructor Detail

GoalListInteractiveListener

private GoalListInteractiveListener()

Method Detail

autoModeStarted

public void autoModeStarted(ProofEvent e)

invoked if automatic execution of heuristics has started

Specified by:

autoModeStarted in interface AutoModeListener

autoModeStopped

public void autoModeStopped(ProofEvent e)

invoked if automatic execution of heuristics has stopped

Specified by:

autoModeStopped in interface AutoModeListener