de.uka.ilkd.key.rule.match.legacy

Class ElementMatcher.IdentityOperatorMatcher

java.lang.Object

de.uka.ilkd.key.rule.match.legacy.ElementMatcher<Operator>

de.uka.ilkd.key.rule.match.legacy.ElementMatcher.IdentityOperatorMatcher

Enclosing class:

ElementMatcher<T extends Operator>

private static class ElementMatcher.IdentityOperatorMatcher
extends ElementMatcher<Operator>

Constructor Summary

Constructors

Modifier	Constructor and Description
private	IdentityOperatorMatcher()

Method Summary

Modifier and Type	Method and Description
MatchConditions	match(Operator op, SVSubstitute subst, MatchConditions mc, Services services) implements the default operator matching rule which means that the compared object have to be equal otherwise matching fails

Methods inherited from class de.uka.ilkd.key.rule.match.legacy.ElementMatcher

getElementMatcherFor

Methods inherited from class java.lang.Object

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

Constructor Detail

IdentityOperatorMatcher

private IdentityOperatorMatcher()

Method Detail

match

public MatchConditions match(Operator op,
                             SVSubstitute subst,
                             MatchConditions mc,
                             Services services)

implements the default operator matching rule which means that the compared object have to be equal otherwise matching fails

Specified by:

match in class ElementMatcher<Operator>