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

Fields

Modifier and Type	Field	Description
private final BlockIdentifier	blockIdentifier
private final Set<Op03SimpleStatement>	exits
private final Set<Op03SimpleStatement>	found
private final Op03SimpleStatement	start

Constructor Summary

Constructors

Modifier	Constructor	Description
private	GraphVisitorBlockReachable(Op03SimpleStatement start, BlockIdentifier blockIdentifier)

Method Summary

Modifier and Type	Method	Description
void	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>	privGetBlockReachable()
private Pair<Set<Op03SimpleStatement>, Set<Op03SimpleStatement>>	privGetBlockReachableAndExits()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

start

private final Op03SimpleStatement start

blockIdentifier

private final BlockIdentifier blockIdentifier

found

private final Set<Op03SimpleStatement> found

exits

private final Set<Op03SimpleStatement> exits

Constructor Details

GraphVisitorBlockReachable

private GraphVisitorBlockReachable(Op03SimpleStatement start,
 BlockIdentifier blockIdentifier)

Method Details

call

public void call(Op03SimpleStatement arg1,
 GraphVisitor<Op03SimpleStatement> arg2)

Specified by:

call in interface BinaryProcedure<Op03SimpleStatement, GraphVisitor<Op03SimpleStatement>>

privGetBlockReachable

private Set<Op03SimpleStatement> privGetBlockReachable()

getBlockReachable

static Set<Op03SimpleStatement> getBlockReachable(Op03SimpleStatement start,
 BlockIdentifier blockIdentifier)

privGetBlockReachableAndExits

private Pair<Set<Op03SimpleStatement>, Set<Op03SimpleStatement>> privGetBlockReachableAndExits()

getBlockReachableAndExits

static Pair<Set<Op03SimpleStatement>, Set<Op03SimpleStatement>> getBlockReachableAndExits(Op03SimpleStatement start,
 BlockIdentifier blockIdentifier)