de.uka.ilkd.key.core

Class KeYMediator.KeYMediatorProofListener

java.lang.Object

de.uka.ilkd.key.core.KeYMediator.KeYMediatorProofListener

All Implemented Interfaces:

AutoModeListener, RuleAppListener

Enclosing class:

KeYMediator

private final class KeYMediator.KeYMediatorProofListener
extends Object
implements RuleAppListener, AutoModeListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	KeYMediatorProofListener()

Method Summary

Modifier and Type	Method and Description
void	autoModeStarted(ProofEvent e) invoked if automatic execution has started
void	autoModeStopped(ProofEvent e) invoked if automatic execution has stopped
void	ruleApplied(ProofEvent e) invoked when a rule has been applied

Methods inherited from class java.lang.Object

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

Constructor Detail

KeYMediatorProofListener

private KeYMediatorProofListener()

Method Detail

ruleApplied

public void ruleApplied(ProofEvent e)

invoked when a rule has been applied

Specified by:

ruleApplied in interface RuleAppListener

autoModeStarted

public void autoModeStarted(ProofEvent e)

invoked if automatic execution has started

Specified by:

autoModeStarted in interface AutoModeListener

autoModeStopped

public void autoModeStopped(ProofEvent e)

invoked if automatic execution has stopped

Specified by:

autoModeStopped in interface AutoModeListener