Package com.strobel.decompiler.languages.java.ast

Class DefiniteAssignmentAnalysis

java.lang.Object

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

public class DefiniteAssignmentAnalysis
extends Object

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)
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()
boolean	isPotentiallyAssigned()
void	setAnalyzedRange(Statement start, Statement end)
void	setAnalyzedRange(Statement start, Statement end, boolean startInclusive, boolean endInclusive)

Methods inherited from class java.lang.Object

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

Constructor Details

DefiniteAssignmentAnalysis

public DefiniteAssignmentAnalysis(DecompilerContext context,
 Statement rootStatement)

DefiniteAssignmentAnalysis

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

Method Details

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)

evaluateConstant

protected ResolveResult evaluateConstant(Expression e)

evaluateCondition

protected Boolean evaluateCondition(Expression e)