de.uka.ilkd.key.macros.scripts

Class InstantiateCommand.TacletNameFilter

java.lang.Object

de.uka.ilkd.key.proof.rulefilter.TacletFilter

de.uka.ilkd.key.macros.scripts.InstantiateCommand.TacletNameFilter

All Implemented Interfaces:

RuleFilter

Enclosing class:

InstantiateCommand

private static class InstantiateCommand.TacletNameFilter
extends TacletFilter

Field Summary

Fields

Modifier and Type	Field and Description
private Name	rulename

Fields inherited from class de.uka.ilkd.key.proof.rulefilter.TacletFilter

TRUE

Constructor Summary

Constructors

Constructor and Description
TacletNameFilter(String rulename)

Method Summary

Modifier and Type	Method and Description
protected boolean	filter(Taclet taclet)

Methods inherited from class de.uka.ilkd.key.proof.rulefilter.TacletFilter

filter

Methods inherited from class java.lang.Object

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

Field Detail

rulename

private final Name rulename

Constructor Detail

TacletNameFilter

public TacletNameFilter(String rulename)

Method Detail

filter

protected boolean filter(Taclet taclet)

Specified by:

filter in class TacletFilter

Returns:

true iff taclet should be included in the result