private static class Misc.GraphVisitorReachableInThese extends java.lang.Object implements BinaryProcedure<Op03SimpleStatement,GraphVisitor<Op03SimpleStatement>>
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Op03SimpleStatement,java.lang.Integer> |
instrToIdx |
private java.util.Set<java.lang.Integer> |
reachable |
Constructor and Description |
---|
GraphVisitorReachableInThese(java.util.Set<java.lang.Integer> reachable,
java.util.Map<Op03SimpleStatement,java.lang.Integer> instrToIdx) |
Modifier and Type | Method and Description |
---|---|
void |
call(Op03SimpleStatement node,
GraphVisitor<Op03SimpleStatement> graphVisitor) |
private final java.util.Set<java.lang.Integer> reachable
private final java.util.Map<Op03SimpleStatement,java.lang.Integer> instrToIdx
GraphVisitorReachableInThese(java.util.Set<java.lang.Integer> reachable, java.util.Map<Op03SimpleStatement,java.lang.Integer> instrToIdx)
public void call(Op03SimpleStatement node, GraphVisitor<Op03SimpleStatement> graphVisitor)
call
in interface BinaryProcedure<Op03SimpleStatement,GraphVisitor<Op03SimpleStatement>>