de.uka.ilkd.key.rule

Class RuleKey

java.lang.Object

de.uka.ilkd.key.rule.RuleKey

public class RuleKey
extends Object

Provides a unique key for taclets based on a taclet's name and its taclet options. This class is e.g. used by the parser which might encounter more than one taclet of the same name (but with different taclet options). One does not need to use this implementation (but can rely on a taclet's own Taclet.equals(Object) and Taclet.hashCode() method.

Field Summary

Fields

Modifier and Type	Field and Description
ImmutableSet<Choice>	choices
Name	name
Rule	r

Constructor Summary

Constructors

Constructor and Description
RuleKey(Name name, ImmutableSet<Choice> choices, Rule r)
RuleKey(Rule r)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

name

public final Name name

choices

public final ImmutableSet<Choice> choices

r

public final Rule r

Constructor Detail

RuleKey

RuleKey(Name name,
        ImmutableSet<Choice> choices,
        Rule r)

RuleKey

public RuleKey(Rule r)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object