Class DefiniteAssignmentAnalysis

java.lang.Object

com.strobel.decompiler.languages.java.ast.DefiniteAssignmentAnalysis

public class DefiniteAssignmentAnalysis
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static final class	DefiniteAssignmentAnalysis.DefiniteAssignmentNode
(package private) final class	DefiniteAssignmentAnalysis.DefiniteAssignmentVisitor
(package private) static final class	DefiniteAssignmentAnalysis.DerivedControlFlowGraphBuilder

Field Summary

Fields

Modifier and Type	Field	Description
private final ArrayList<DefiniteAssignmentAnalysis.DefiniteAssignmentNode>	allNodes
private int	analyzedRangeEnd
private int	analyzedRangeStart
private final LinkedHashMap<Statement, DefiniteAssignmentAnalysis.DefiniteAssignmentNode>	beginNodeMap
private final LinkedHashMap<Statement, DefiniteAssignmentAnalysis.DefiniteAssignmentNode>	conditionNodeMap
private final LinkedHashMap<ControlFlowEdge, DefiniteAssignmentStatus>	edgeStatus
private final LinkedHashMap<Statement, DefiniteAssignmentAnalysis.DefiniteAssignmentNode>	endNodeMap
private final ArrayDeque<DefiniteAssignmentAnalysis.DefiniteAssignmentNode>	nodesWithModifiedInput
private final Function<AstNode, ResolveResult>	resolver
private final ArrayList<IdentifierExpression>	unassignedVariableUses
private final List<IdentifierExpression>	unassignedVariableUsesView
private String	variableName
private final DefiniteAssignmentAnalysis.DefiniteAssignmentVisitor	visitor

Constructor Summary

Constructors

Constructor	Description
DefiniteAssignmentAnalysis(DecompilerContext context, Statement rootStatement)
DefiniteAssignmentAnalysis(Statement rootStatement, Function<AstNode, ResolveResult> resolver)

Method Summary

Modifier and Type	Method	Description
void	analyze(String variable)
void	analyze(String variable, DefiniteAssignmentStatus initialStatus)
private void	changeEdgeStatus(ControlFlowEdge edge, DefiniteAssignmentStatus newStatus)
private void	changeNodeStatus(DefiniteAssignmentAnalysis.DefiniteAssignmentNode node, DefiniteAssignmentStatus inputStatus)
private DefiniteAssignmentStatus	cleanSpecialValues(DefiniteAssignmentStatus status)
protected Boolean	evaluateCondition(Expression e)
protected ResolveResult	evaluateConstant(Expression e)
DefiniteAssignmentStatus	getBeforeLoopCondition(Statement statement)
DefiniteAssignmentStatus	getStatusAfter(Statement statement)
DefiniteAssignmentStatus	getStatusBefore(Statement statement)
List<IdentifierExpression>	getUnassignedVariableUses()
private void	insertAnonymousMethods(int insertPosition, AstNode node, ControlFlowGraphBuilder builder)
boolean	isPotentiallyAssigned()
private DefiniteAssignmentStatus	mergeStatus(DefiniteAssignmentStatus a, DefiniteAssignmentStatus b)
void	setAnalyzedRange(Statement start, Statement end)
void	setAnalyzedRange(Statement start, Statement end, boolean startInclusive, boolean endInclusive)

Methods inherited from class Object

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

Field Details

visitor

private final DefiniteAssignmentAnalysis.DefiniteAssignmentVisitor visitor

allNodes

private final ArrayList<DefiniteAssignmentAnalysis.DefiniteAssignmentNode> allNodes

beginNodeMap

private final LinkedHashMap<Statement, DefiniteAssignmentAnalysis.DefiniteAssignmentNode> beginNodeMap

endNodeMap

private final LinkedHashMap<Statement, DefiniteAssignmentAnalysis.DefiniteAssignmentNode> endNodeMap

conditionNodeMap

private final LinkedHashMap<Statement, DefiniteAssignmentAnalysis.DefiniteAssignmentNode> conditionNodeMap

edgeStatus

private final LinkedHashMap<ControlFlowEdge, DefiniteAssignmentStatus> edgeStatus

unassignedVariableUses

private final ArrayList<IdentifierExpression> unassignedVariableUses

unassignedVariableUsesView

private final List<IdentifierExpression> unassignedVariableUsesView

nodesWithModifiedInput

private final ArrayDeque<DefiniteAssignmentAnalysis.DefiniteAssignmentNode> nodesWithModifiedInput

resolver

private final Function<AstNode, ResolveResult> resolver

variableName

private String variableName

analyzedRangeStart

private int analyzedRangeStart

analyzedRangeEnd

private int analyzedRangeEnd

Constructor Details

DefiniteAssignmentAnalysis

public DefiniteAssignmentAnalysis(DecompilerContext context,
 Statement rootStatement)

DefiniteAssignmentAnalysis

public DefiniteAssignmentAnalysis(Statement rootStatement,
 Function<AstNode, ResolveResult> resolver)

Method Details

insertAnonymousMethods

private void insertAnonymousMethods(int insertPosition,
 AstNode node,
 ControlFlowGraphBuilder builder)

getUnassignedVariableUses

public List<IdentifierExpression> getUnassignedVariableUses()

setAnalyzedRange

public void setAnalyzedRange(Statement start,
 Statement end)

setAnalyzedRange

public void setAnalyzedRange(Statement start,
 Statement end,
 boolean startInclusive,
 boolean endInclusive)

analyze

public void analyze(String variable)

analyze

public void analyze(String variable,
 DefiniteAssignmentStatus initialStatus)

isPotentiallyAssigned

public boolean isPotentiallyAssigned()

getStatusBefore

public DefiniteAssignmentStatus getStatusBefore(Statement statement)

getStatusAfter

public DefiniteAssignmentStatus getStatusAfter(Statement statement)

getBeforeLoopCondition

public DefiniteAssignmentStatus getBeforeLoopCondition(Statement statement)

cleanSpecialValues

private DefiniteAssignmentStatus cleanSpecialValues(DefiniteAssignmentStatus status)

mergeStatus

private DefiniteAssignmentStatus mergeStatus(DefiniteAssignmentStatus a,
 DefiniteAssignmentStatus b)

changeNodeStatus

private void changeNodeStatus(DefiniteAssignmentAnalysis.DefiniteAssignmentNode node,
 DefiniteAssignmentStatus inputStatus)

changeEdgeStatus

private void changeEdgeStatus(ControlFlowEdge edge,
 DefiniteAssignmentStatus newStatus)

evaluateConstant

protected ResolveResult evaluateConstant(Expression e)

evaluateCondition

protected Boolean evaluateCondition(Expression e)