public abstract class MatchSchemaVariableInstruction<SV extends SchemaVariable> extends Instruction<SV>
op
Constructor and Description |
---|
MatchSchemaVariableInstruction(SV op) |
Modifier and Type | Method and Description |
---|---|
protected MatchConditions |
addInstantiation(Term term,
MatchConditions matchCond,
Services services)
Tries to add the pair (this,term) to the match conditions.
|
MatchConditions |
match(ProgramElement instantiationCandidate,
MatchConditions mc,
Services services)
tries to match the schema variable of this instruction with the specified
ProgramElement instantiationCandidate
w.r.t. the given constraints by MatchConditions |
match, matchAndBindVariables, matchElementaryUpdate, matchFormulaSV, matchModalOperatorSV, matchOp, matchProgram, matchProgramSV, matchSortDependingFunction, matchTermLabelSV, matchTermSV, matchUpdateSV, matchVariableSV, unbindVariables
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
match
public MatchSchemaVariableInstruction(SV op)
protected final MatchConditions addInstantiation(Term term, MatchConditions matchCond, Services services)
public MatchConditions match(ProgramElement instantiationCandidate, MatchConditions mc, Services services)
ProgramElement
instantiationCandidate
w.r.t. the given constraints by MatchConditions
instantiationCandidate
- the ProgramElement
to be matchedmc
- 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
) added