de.uka.ilkd.key.macros

Class SemanticsBlastingMacro.SemanticsRuleFilter

java.lang.Object

de.uka.ilkd.key.macros.SemanticsBlastingMacro.SemanticsRuleFilter

All Implemented Interfaces:

RuleFilter

Enclosing class:

SemanticsBlastingMacro

private class SemanticsBlastingMacro.SemanticsRuleFilter
extends java.lang.Object
implements RuleFilter

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.HashSet<java.lang.String>	allowedRulesNames

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SemanticsRuleFilter()

Method Summary

Modifier and Type	Method and Description
boolean	filter(Rule rule)

Methods inherited from class java.lang.Object

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

Field Detail

allowedRulesNames

protected java.util.HashSet<java.lang.String> allowedRulesNames

Constructor Detail

SemanticsRuleFilter

private SemanticsRuleFilter()

Method Detail

filter

public boolean filter(Rule rule)

Specified by:

filter in interface RuleFilter