de.uka.ilkd.key.util.joinrule

Class ProgramVariablesMatchVisitor

java.lang.Object

de.uka.ilkd.key.util.joinrule.SimultaneousJavaASTWalker

de.uka.ilkd.key.util.joinrule.SimultaneousJavaASTVisitor

de.uka.ilkd.key.util.joinrule.ProgramVariablesMatchVisitor

All Implemented Interfaces:

SimultaneousVisitor

public class ProgramVariablesMatchVisitor
extends SimultaneousJavaASTVisitor

TODO: Document.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private HashMap<ProgramVariable,ProgramVariable>	matches

Fields inherited from class de.uka.ilkd.key.util.joinrule.SimultaneousJavaASTVisitor

services

Constructor Summary

Constructors

Constructor and Description
ProgramVariablesMatchVisitor(ProgramElement e1, ProgramElement e2, Services services) TODO: Document.

Method Summary

Modifier and Type	Method and Description
protected void	doDefaultAction(SourceElement node1, SourceElement node2) The (default) action that is performed just before leaving the node the last time.
JoinRuleUtils.Option<HashMap<ProgramVariable,ProgramVariable>>	getMatches()
void	visit(LocationVariable x1, LocationVariable x2)
void	visit(ProgramVariable x1, ProgramVariable x2)

Methods inherited from class de.uka.ilkd.key.util.joinrule.SimultaneousJavaASTVisitor

doAction, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, walk

Methods inherited from class de.uka.ilkd.key.util.joinrule.SimultaneousJavaASTWalker

depth, getFirstRoot, getSecondRoot, isIncompatible, setIncompatible, start

Methods inherited from class java.lang.Object

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

Field Detail

matches

private HashMap<ProgramVariable,ProgramVariable> matches

Constructor Detail

ProgramVariablesMatchVisitor

public ProgramVariablesMatchVisitor(ProgramElement e1,
                                    ProgramElement e2,
                                    Services services)

TODO: Document.

Parameters:

e1 -

e2 -

services -

Method Detail

getMatches

public JoinRuleUtils.Option<HashMap<ProgramVariable,ProgramVariable>> getMatches()

Returns:

The matched program variables. Is a Option.Some iff isIncompatible evaluates to false.

doDefaultAction

protected void doDefaultAction(SourceElement node1,
                               SourceElement node2)

Description copied from class: SimultaneousJavaASTVisitor

The (default) action that is performed just before leaving the node the last time.

Specified by:

doDefaultAction in class SimultaneousJavaASTVisitor

Parameters:

node1 - First node.

node2 - Second node.

visit

public void visit(ProgramVariable x1,
                  ProgramVariable x2)

Specified by:

visit in interface SimultaneousVisitor

Overrides:

visit in class SimultaneousJavaASTVisitor

visit

public void visit(LocationVariable x1,
                  LocationVariable x2)

Specified by:

visit in interface SimultaneousVisitor

Overrides:

visit in class SimultaneousJavaASTVisitor