de.uka.ilkd.key.proof

Class NullNewRuleListener

java.lang.Object

de.uka.ilkd.key.proof.NullNewRuleListener

All Implemented Interfaces:

NewRuleListener

public class NullNewRuleListener
extends java.lang.Object
implements NewRuleListener

Implementation of the NewRuleListener interface that does nothing

Field Summary

Fields

Modifier and Type	Field and Description
static NewRuleListener	INSTANCE

Constructor Summary

Constructors

Constructor and Description
NullNewRuleListener()

Method Summary

Modifier and Type	Method and Description
void	ruleAdded(RuleApp rule, PosInOccurrence pos) Called when a new RuleApp is added
void	rulesAdded(ImmutableList<? extends RuleApp> rule, PosInOccurrence pos) Called when a collection of new RuleApps is added

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final NewRuleListener INSTANCE

Constructor Detail

NullNewRuleListener

public NullNewRuleListener()

Method Detail

ruleAdded

public void ruleAdded(RuleApp rule,
                      PosInOccurrence pos)

Description copied from interface: NewRuleListener

Called when a new RuleApp is added

Specified by:

ruleAdded in interface NewRuleListener

rulesAdded

public void rulesAdded(ImmutableList<? extends RuleApp> rule,
                       PosInOccurrence pos)

Description copied from interface: NewRuleListener

Called when a collection of new RuleApps is added

Specified by:

rulesAdded in interface NewRuleListener