Class Misc.GraphVisitorBlockReachable
java.lang.Object
org.benf.cfr.reader.bytecode.analysis.opgraph.op3rewriters.Misc.GraphVisitorBlockReachable
- All Implemented Interfaces:
BinaryProcedure<Op03SimpleStatement,
GraphVisitor<Op03SimpleStatement>>
- Enclosing class:
- Misc
public static class Misc.GraphVisitorBlockReachable
extends Object
implements BinaryProcedure<Op03SimpleStatement,GraphVisitor<Op03SimpleStatement>>
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final BlockIdentifier
private final Set<Op03SimpleStatement>
private final Set<Op03SimpleStatement>
private final Op03SimpleStatement
-
Constructor Summary
ConstructorsModifierConstructorDescriptionprivate
GraphVisitorBlockReachable
(Op03SimpleStatement start, BlockIdentifier blockIdentifier) -
Method Summary
Modifier and TypeMethodDescriptionvoid
call
(Op03SimpleStatement arg1, GraphVisitor<Op03SimpleStatement> arg2) (package private) static Set<Op03SimpleStatement>
getBlockReachable
(Op03SimpleStatement start, BlockIdentifier blockIdentifier) (package private) static Pair<Set<Op03SimpleStatement>,
Set<Op03SimpleStatement>> getBlockReachableAndExits
(Op03SimpleStatement start, BlockIdentifier blockIdentifier) private Set<Op03SimpleStatement>
private Pair<Set<Op03SimpleStatement>,
Set<Op03SimpleStatement>>
-
Field Details
-
start
-
blockIdentifier
-
found
-
exits
-
-
Constructor Details
-
GraphVisitorBlockReachable
-
-
Method Details
-
call
- Specified by:
call
in interfaceBinaryProcedure<Op03SimpleStatement,
GraphVisitor<Op03SimpleStatement>>
-
privGetBlockReachable
-
getBlockReachable
static Set<Op03SimpleStatement> getBlockReachable(Op03SimpleStatement start, BlockIdentifier blockIdentifier) -
privGetBlockReachableAndExits
-
getBlockReachableAndExits
static Pair<Set<Op03SimpleStatement>,Set<Op03SimpleStatement>> getBlockReachableAndExits(Op03SimpleStatement start, BlockIdentifier blockIdentifier)
-