public class MatchProgramSVInstruction extends MatchSchemaVariableInstruction<ProgramSV> implements MatchOperatorInstruction
op
Constructor and Description |
---|
MatchProgramSVInstruction(ProgramSV sv) |
Modifier and Type | Method and Description |
---|---|
protected MatchConditions |
addInstantiation(ProgramElement pe,
MatchConditions matchCond,
Services services)
tries to add the pair (this,pe) to the match conditions.
|
MatchConditions |
match(Operator instantiationCandidate,
MatchConditions matchConditions,
Services services) |
MatchConditions |
match(ProgramElement instantiationCandidate,
MatchConditions matchCond,
Services services)
tries to match the schema variable of this instruction with the specified
ProgramElement instantiationCandidate
w.r.t. the given constraints by MatchConditions |
MatchConditions |
match(Term instantiationCandidate,
MatchConditions matchCond,
Services services)
tries to match the schema variable of this instruction with the specified
Term instantiationCandidate
w.r.t. the given constraints by MatchConditions |
MatchConditions |
match(TermNavigator termPosition,
MatchConditions mc,
Services services) |
addInstantiation
matchAndBindVariables, matchElementaryUpdate, matchFormulaSV, matchModalOperatorSV, matchOp, matchProgram, matchProgramSV, matchSortDependingFunction, matchTermLabelSV, matchTermSV, matchUpdateSV, matchVariableSV, unbindVariables
public MatchProgramSVInstruction(ProgramSV sv)
protected MatchConditions addInstantiation(ProgramElement pe, MatchConditions matchCond, Services services)
public MatchConditions match(Operator instantiationCandidate, MatchConditions matchConditions, Services services)
match
in interface MatchOperatorInstruction
public MatchConditions match(Term instantiationCandidate, MatchConditions matchCond, Services services)
Term
instantiationCandidate
w.r.t. the given constraints by MatchConditions
match
in class Instruction<ProgramSV>
instantiationCandidate
- the Term
to be matchedmatchCond
- the MatchConditions
with additional constraints (e.g. previous matches of this schemavariable)services
- the Services
null
if no matches have been found or the new MatchConditions
with the pair (sv, instantiationCandidate)
addedpublic MatchConditions match(ProgramElement instantiationCandidate, MatchConditions matchCond, Services services)
ProgramElement
instantiationCandidate
w.r.t. the given constraints by MatchConditions
match
in class MatchSchemaVariableInstruction<ProgramSV>
instantiationCandidate
- the ProgramElement
to be matchedmatchCond
- the MatchConditions
with additional constraints (e.g. previous matches of this instructions SchemaVariable
)services
- the Services
null
if no matches have been found or the new
MatchConditions
with the pair (SchemaVariable
,
ProgramElement
) addedpublic MatchConditions match(TermNavigator termPosition, MatchConditions mc, Services services)
match
in interface MatchInstruction