Class ControlFlowGraphBuilder

java.lang.Object

com.strobel.decompiler.languages.java.analysis.ControlFlowGraphBuilder

Direct Known Subclasses:

DefiniteAssignmentAnalysis.DerivedControlFlowGraphBuilder

public class ControlFlowGraphBuilder
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) final class	ControlFlowGraphBuilder.NodeCreationVisitor

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	_evaluateOnlyPrimitiveConstants
private ArrayList<ControlFlowNode>	gotoStatements
private HashMap<String, ControlFlowNode>	labels
private ArrayList<ControlFlowNode>	nodes
private Function<AstNode, ResolveResult>	resolver
private Statement	rootStatement

Constructor Summary

Constructors

Constructor	Description
ControlFlowGraphBuilder()

Method Summary

Modifier and Type	Method	Description
(package private) final void	annotateLeaveEdgesWithTryFinallyBlocks()
private boolean	areEqualConstants(ResolveResult c1, ResolveResult c2)
List<ControlFlowNode>	buildControlFlowGraph(Statement statement, Function<AstNode, ResolveResult> resolver)
protected ControlFlowEdge	createEdge(ControlFlowNode from, ControlFlowNode to, ControlFlowEdgeType type)
protected ControlFlowNode	createEndNode(Statement statement)
protected ControlFlowNode	createEndNode(Statement statement, boolean addNodeToList)
protected ControlFlowNode	createNode(Statement previousStatement, Statement nextStatement, ControlFlowNodeType type)
protected ControlFlowNode	createSpecialNode(Statement statement, ControlFlowNodeType type)
protected ControlFlowNode	createSpecialNode(Statement statement, ControlFlowNodeType type, boolean addNodeToList)
protected ControlFlowNode	createStartNode(Statement statement)
protected Boolean	evaluateCondition(Expression e)
protected ResolveResult	evaluateConstant(Expression e)
final boolean	isEvaluateOnlyPrimitiveConstants()
final void	setEvaluateOnlyPrimitiveConstants(boolean evaluateOnlyPrimitiveConstants)

Methods inherited from class Object

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

Field Details

rootStatement

private Statement rootStatement

resolver

private Function<AstNode, ResolveResult> resolver

nodes

private ArrayList<ControlFlowNode> nodes

labels

private HashMap<String, ControlFlowNode> labels

gotoStatements

private ArrayList<ControlFlowNode> gotoStatements

_evaluateOnlyPrimitiveConstants

private boolean _evaluateOnlyPrimitiveConstants

Constructor Details

ControlFlowGraphBuilder

public ControlFlowGraphBuilder()

Method Details

createNode

protected ControlFlowNode createNode(Statement previousStatement,
 Statement nextStatement,
 ControlFlowNodeType type)

createStartNode

protected ControlFlowNode createStartNode(Statement statement)

createSpecialNode

protected ControlFlowNode createSpecialNode(Statement statement,
 ControlFlowNodeType type)

createSpecialNode

protected ControlFlowNode createSpecialNode(Statement statement,
 ControlFlowNodeType type,
 boolean addNodeToList)

createEndNode

protected ControlFlowNode createEndNode(Statement statement)

createEndNode

protected ControlFlowNode createEndNode(Statement statement,
 boolean addNodeToList)

createEdge

protected ControlFlowEdge createEdge(ControlFlowNode from,
 ControlFlowNode to,
 ControlFlowEdgeType type)

buildControlFlowGraph

public List<ControlFlowNode> buildControlFlowGraph(Statement statement,
 Function<AstNode, ResolveResult> resolver)

annotateLeaveEdgesWithTryFinallyBlocks

final void annotateLeaveEdgesWithTryFinallyBlocks()

isEvaluateOnlyPrimitiveConstants

public final boolean isEvaluateOnlyPrimitiveConstants()

setEvaluateOnlyPrimitiveConstants

public final void setEvaluateOnlyPrimitiveConstants(boolean evaluateOnlyPrimitiveConstants)

evaluateConstant

protected ResolveResult evaluateConstant(Expression e)

areEqualConstants

private boolean areEqualConstants(ResolveResult c1,
 ResolveResult c2)

evaluateCondition

protected Boolean evaluateCondition(Expression e)