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

Class MatchProgramInstruction

java.lang.Object

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

All Implemented Interfaces:

MatchInstruction

public class MatchProgramInstruction
extends java.lang.Object
implements MatchInstruction

Field Summary

Fields

Modifier and Type	Field and Description
private ProgramElement	pe

Constructor Summary

Constructors

Constructor and Description
MatchProgramInstruction(ProgramElement pe)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

pe

private final ProgramElement pe

Constructor Detail

MatchProgramInstruction

public MatchProgramInstruction(ProgramElement pe)

Method Detail

match

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

Specified by:

match in interface MatchInstruction