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

Class ElementMatcher.TermLabelSVMatcher

java.lang.Object

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

de.uka.ilkd.key.rule.match.legacy.ElementMatcher.AbstractSVMatcher<TermLabelSV>

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

Enclosing class:

ElementMatcher<T extends Operator>

private static class ElementMatcher.TermLabelSVMatcher
extends ElementMatcher.AbstractSVMatcher<TermLabelSV>

Constructor Summary

Constructors

Modifier	Constructor and Description
private	TermLabelSVMatcher()

Method Summary

Modifier and Type	Method and Description
MatchConditions	match(TermLabelSV op, SVSubstitute subst, MatchConditions mc, Services services)

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

addInstantiation, addInstantiation

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

TermLabelSVMatcher

private TermLabelSVMatcher()

Method Detail

match

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

Specified by:

match in class ElementMatcher<TermLabelSV>