private abstract static class ElementMatcher.AbstractSVMatcher<S extends AbstractSV> extends ElementMatcher<S>
Modifier | Constructor and Description |
---|---|
private |
AbstractSVMatcher() |
Modifier and Type | Method and Description |
---|---|
protected MatchConditions |
addInstantiation(AbstractSV op,
ProgramElement pe,
MatchConditions matchCond,
Services services)
tries to add the pair (op,pe) to the match conditions.
|
protected MatchConditions |
addInstantiation(AbstractSV op,
Term term,
MatchConditions matchCond,
Services services)
Tries to add the pair (op,term) to the match conditions.
|
getElementMatcherFor, match
protected MatchConditions addInstantiation(AbstractSV op, ProgramElement pe, MatchConditions matchCond, Services services)
protected final MatchConditions addInstantiation(AbstractSV op, Term term, MatchConditions matchCond, Services services)