private static class ElementMatcher.ElementaryUpdateMatcher extends ElementMatcher<ElementaryUpdate>
Modifier | Constructor and Description |
---|---|
private |
ElementaryUpdateMatcher() |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(ElementaryUpdate op,
SVSubstitute subst,
MatchConditions mc,
Services services) |
getElementMatcherFor
public MatchConditions match(ElementaryUpdate op, SVSubstitute subst, MatchConditions mc, Services services)
match
in class ElementMatcher<ElementaryUpdate>