public class MatchTermLabelInstruction extends java.lang.Object implements MatchInstruction
Modifier and Type | Field and Description |
---|---|
private ImmutableArray<TermLabel> |
labels |
Constructor and Description |
---|
MatchTermLabelInstruction(ImmutableArray<TermLabel> labels) |
Modifier and Type | Method and Description |
---|---|
private MatchConditions |
match(TermLabelSV sv,
Term instantiationCandidate,
MatchConditions matchCond,
Services services) |
MatchConditions |
match(TermNavigator termPosition,
MatchConditions matchConditions,
Services services) |
private final ImmutableArray<TermLabel> labels
public MatchTermLabelInstruction(ImmutableArray<TermLabel> labels)
private MatchConditions match(TermLabelSV sv, Term instantiationCandidate, MatchConditions matchCond, Services services)
public MatchConditions match(TermNavigator termPosition, MatchConditions matchConditions, Services services)
match
in interface MatchInstruction