de.uka.ilkd.key.proof

Class ApplyStrategy.ProofListener

java.lang.Object

de.uka.ilkd.key.proof.ApplyStrategy.ProofListener

All Implemented Interfaces:

RuleAppListener

Enclosing class:

ApplyStrategy

private class ApplyStrategy.ProofListener
extends Object
implements RuleAppListener

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ProofListener()

Method Summary

Modifier and Type	Method and Description
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

ProofListener

private ProofListener()

Method Detail

ruleApplied

public void ruleApplied(ProofEvent e)

invoked when a rule has been applied

Specified by:

ruleApplied in interface RuleAppListener