com.strobel.decompiler.languages.java.ast

Class DefiniteAssignmentAnalysis

java.lang.Object

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

public class DefiniteAssignmentAnalysis
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DefiniteAssignmentAnalysis(DecompilerContext context, Statement rootStatement)
DefiniteAssignmentAnalysis(Statement rootStatement, com.strobel.functions.Function<AstNode,ResolveResult> resolver)

Method Summary

Methods

Modifier and Type	Method and Description
void	analyze(java.lang.String variable)
void	analyze(java.lang.String variable, DefiniteAssignmentStatus initialStatus)
protected java.lang.Boolean	evaluateCondition(Expression e)
protected ResolveResult	evaluateConstant(Expression e)
DefiniteAssignmentStatus	getBeforeLoopCondition(Statement statement)
DefiniteAssignmentStatus	getStatusAfter(Statement statement)
DefiniteAssignmentStatus	getStatusBefore(Statement statement)
java.util.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 Detail

DefiniteAssignmentAnalysis

public DefiniteAssignmentAnalysis(DecompilerContext context,
                          Statement rootStatement)

DefiniteAssignmentAnalysis

public DefiniteAssignmentAnalysis(Statement rootStatement,
                          com.strobel.functions.Function<AstNode,ResolveResult> resolver)

Method Detail

getUnassignedVariableUses

public java.util.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(java.lang.String variable)

analyze

public void analyze(java.lang.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 java.lang.Boolean evaluateCondition(Expression e)