private static class SwitchReplacer.NodesReachedUntil extends java.lang.Object implements BinaryProcedure<Op03SimpleStatement,GraphVisitor<Op03SimpleStatement>>
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Op03SimpleStatement> |
banned |
private boolean |
found |
private boolean |
hitBanned |
private java.util.Set<Op03SimpleStatement> |
reaches |
private Op03SimpleStatement |
start |
private Op03SimpleStatement |
target |
Modifier | Constructor and Description |
---|---|
private |
NodesReachedUntil(Op03SimpleStatement start,
Op03SimpleStatement target,
java.util.Set<Op03SimpleStatement> banned) |
Modifier and Type | Method and Description |
---|---|
void |
call(Op03SimpleStatement arg1,
GraphVisitor<Op03SimpleStatement> arg2) |
private final Op03SimpleStatement start
private final Op03SimpleStatement target
private final java.util.Set<Op03SimpleStatement> banned
private boolean found
private boolean hitBanned
private final java.util.Set<Op03SimpleStatement> reaches
private NodesReachedUntil(Op03SimpleStatement start, Op03SimpleStatement target, java.util.Set<Op03SimpleStatement> banned)
public void call(Op03SimpleStatement arg1, GraphVisitor<Op03SimpleStatement> arg2)
call
in interface BinaryProcedure<Op03SimpleStatement,GraphVisitor<Op03SimpleStatement>>