public class ProgramVariablesMatchVisitor extends SimultaneousJavaASTVisitor
Modifier and Type | Field and Description |
---|---|
private HashMap<ProgramVariable,ProgramVariable> |
matches |
services
Constructor and Description |
---|
ProgramVariablesMatchVisitor(ProgramElement e1,
ProgramElement e2,
Services services)
TODO: Document.
|
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) |
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
depth, getFirstRoot, getSecondRoot, isIncompatible, setIncompatible, start
private HashMap<ProgramVariable,ProgramVariable> matches
public ProgramVariablesMatchVisitor(ProgramElement e1, ProgramElement e2, Services services)
e1
- e2
- services
- public JoinRuleUtils.Option<HashMap<ProgramVariable,ProgramVariable>> getMatches()
protected void doDefaultAction(SourceElement node1, SourceElement node2)
SimultaneousJavaASTVisitor
doDefaultAction
in class SimultaneousJavaASTVisitor
node1
- First node.node2
- Second node.public void visit(ProgramVariable x1, ProgramVariable x2)
visit
in interface SimultaneousVisitor
visit
in class SimultaneousJavaASTVisitor
public void visit(LocationVariable x1, LocationVariable x2)
visit
in interface SimultaneousVisitor
visit
in class SimultaneousJavaASTVisitor