de.uka.ilkd.key.rule.match.vm.instructions

Interface MatchInstruction

All Known Subinterfaces:

MatchOperatorInstruction

All Known Implementing Classes:

BindVariablesInstruction, BindVariablesInstruction.VariableSVBinder, Instruction, MatchElementaryUpdateInstruction, MatchFormulaSVInstruction, MatchModalOperatorSVInstruction, MatchOpIdentityInstruction, MatchProgramInstruction, MatchProgramSVInstruction, MatchSchemaVariableInstruction, MatchSortDependingFunctionInstruction, MatchTermLabelInstruction, MatchTermSVInstruction, MatchUpdateSVInstruction, MatchVariableSVInstruction, UnbindVariablesInstruction

public interface MatchInstruction

Interface that has to be implemented by instructions for the matching virtual machine

Method Summary

Modifier and Type	Method and Description
MatchConditions	match(TermNavigator termPosition, MatchConditions matchConditions, Services services)

Method Detail

match

MatchConditions match(TermNavigator termPosition,
                      MatchConditions matchConditions,
                      Services services)