public class ClassRuleFilter extends java.lang.Object implements RuleFilter
Constructor and Description |
---|
ClassRuleFilter(java.lang.Class<?> c) |
Modifier and Type | Method and Description |
---|---|
boolean |
filter(Rule rule) |
public boolean filter(Rule rule)
filter
in interface RuleFilter
Copyright © 2003-2019 The KeY-Project.