public static class Misc.GraphVisitorBlockReachable extends java.lang.Object implements BinaryProcedure<Op03SimpleStatement,GraphVisitor<Op03SimpleStatement>>
Modifier and Type | Field and Description |
---|---|
private BlockIdentifier |
blockIdentifier |
private java.util.Set<Op03SimpleStatement> |
exits |
private java.util.Set<Op03SimpleStatement> |
found |
private Op03SimpleStatement |
start |
Modifier | Constructor and Description |
---|---|
private |
GraphVisitorBlockReachable(Op03SimpleStatement start,
BlockIdentifier blockIdentifier) |
Modifier and Type | Method and Description |
---|---|
void |
call(Op03SimpleStatement arg1,
GraphVisitor<Op03SimpleStatement> arg2) |
(package private) static java.util.Set<Op03SimpleStatement> |
getBlockReachable(Op03SimpleStatement start,
BlockIdentifier blockIdentifier) |
(package private) static Pair<java.util.Set<Op03SimpleStatement>,java.util.Set<Op03SimpleStatement>> |
getBlockReachableAndExits(Op03SimpleStatement start,
BlockIdentifier blockIdentifier) |
private java.util.Set<Op03SimpleStatement> |
privGetBlockReachable() |
private Pair<java.util.Set<Op03SimpleStatement>,java.util.Set<Op03SimpleStatement>> |
privGetBlockReachableAndExits() |
private final Op03SimpleStatement start
private final BlockIdentifier blockIdentifier
private final java.util.Set<Op03SimpleStatement> found
private final java.util.Set<Op03SimpleStatement> exits
private GraphVisitorBlockReachable(Op03SimpleStatement start, BlockIdentifier blockIdentifier)
public void call(Op03SimpleStatement arg1, GraphVisitor<Op03SimpleStatement> arg2)
call
in interface BinaryProcedure<Op03SimpleStatement,GraphVisitor<Op03SimpleStatement>>
private java.util.Set<Op03SimpleStatement> privGetBlockReachable()
static java.util.Set<Op03SimpleStatement> getBlockReachable(Op03SimpleStatement start, BlockIdentifier blockIdentifier)
private Pair<java.util.Set<Op03SimpleStatement>,java.util.Set<Op03SimpleStatement>> privGetBlockReachableAndExits()
static Pair<java.util.Set<Op03SimpleStatement>,java.util.Set<Op03SimpleStatement>> getBlockReachableAndExits(Op03SimpleStatement start, BlockIdentifier blockIdentifier)