private static class ElementMatcher.SortDependingFunctionMatcher extends ElementMatcher<SortDependingFunction>
Modifier | Constructor and Description |
---|---|
private |
SortDependingFunctionMatcher() |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
match(SortDependingFunction op,
SVSubstitute subst,
MatchConditions mc,
Services services)
Taking this sortdepending function as template to be matched against
op ,
the necessary conditions are returned or null if not unifiable (matchable). |
private static MatchConditions |
matchSorts(Sort s1,
Sort s2,
MatchConditions mc,
Services services)
tries to match sort
s1 to fit sort s2 |
getElementMatcherFor
private static MatchConditions matchSorts(Sort s1, Sort s2, MatchConditions mc, Services services)
s1
to fit sort s2
s1
- Sort tried to matched (maybe concrete or (contain) generic)s2
- concrete Sortmc
- the MatchConditions up to nownull
if failed the resulting match conditions
otherwisepublic MatchConditions match(SortDependingFunction op, SVSubstitute subst, MatchConditions mc, Services services)
op
,
the necessary conditions are returned or null if not unifiable (matchable).
A sortdepending function is matched successfully against another sortdepending function
if the sorts can be matched and they are of same kind.match
in class ElementMatcher<SortDependingFunction>