org.benf.cfr.reader.bytecode.analysis.parse.lvalue

Class LocalVariable

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.lvalue.AbstractLValue

org.benf.cfr.reader.bytecode.analysis.parse.lvalue.LocalVariable

All Implemented Interfaces:

LValue, DeepCloneable<LValue>, Dumpable, DumpableWithPrecedence, TypeUsageCollectable

public class LocalVariable
extends AbstractLValue

Nested Class Summary

Nested classes/interfaces inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.LValue

LValue.Creation

Field Summary

Fields

Modifier and Type	Field and Description
private JavaAnnotatedTypeInstance	customCreationType
private boolean	guessedFinal
private boolean	guessedVar
private Ident	ident
private int	idx
private NamedVariable	name
private int	originalRawOffset

Constructor Summary

Constructors

Constructor and Description
LocalVariable(int stackPosition, Ident ident, VariableNamer variableNamer, int originalRawOffset, boolean clashed, InferredJavaType inferredJavaType)
LocalVariable(java.lang.String name, InferredJavaType inferredJavaType)

Method Summary

Modifier and Type	Method and Description
LValue	applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
boolean	canThrow(ExceptionCheck caught)
<T> void	collectLValueAssignments(Expression assignedTo, StatementContainer<T> statementContainer, LValueAssignmentCollector<T> lValueAssigmentCollector)
SSAIdentifiers<LValue>	collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)
LValue	deepClone(CloneHelper cloneHelper)
Dumper	dump(Dumper d, boolean defines)
Dumper	dumpInner(Dumper d)
boolean	equals(java.lang.Object o)
JavaAnnotatedTypeInstance	getAnnotatedCreationType()
int	getIdx()
NamedVariable	getName()
int	getNumberOfCreators()
int	getOriginalRawOffset()
Precedence	getPrecedence()
int	hashCode()
boolean	isFinal()
boolean	isVar()
void	markFinal()
void	markVar()
LValue	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
void	setCustomCreationType(JavaAnnotatedTypeInstance customCreationType)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.lvalue.AbstractLValue

collectLValueUsage, collectTypeUsages, doesBlackListLValueReplacement, dump, dumpWithOuterPrecedence, getInferredJavaType, outerDeepClone, toString, typeToString, validIterator

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

name

private final NamedVariable name

idx

private final int idx

ident

private final Ident ident

guessedFinal

private boolean guessedFinal

guessedVar

private boolean guessedVar

originalRawOffset

private final int originalRawOffset

customCreationType

private JavaAnnotatedTypeInstance customCreationType

Constructor Detail

LocalVariable

public LocalVariable(int stackPosition,
                     Ident ident,
                     VariableNamer variableNamer,
                     int originalRawOffset,
                     boolean clashed,
                     InferredJavaType inferredJavaType)

LocalVariable

public LocalVariable(java.lang.String name,
                     InferredJavaType inferredJavaType)

Method Detail

getOriginalRawOffset

public int getOriginalRawOffset()

getNumberOfCreators

public int getNumberOfCreators()

isFinal

public boolean isFinal()

markFinal

public void markFinal()

markVar

public void markVar()

isVar

public boolean isVar()

setCustomCreationType

public void setCustomCreationType(JavaAnnotatedTypeInstance customCreationType)

getAnnotatedCreationType

public JavaAnnotatedTypeInstance getAnnotatedCreationType()

Specified by:

getAnnotatedCreationType in interface LValue

Overrides:

getAnnotatedCreationType in class AbstractLValue

deepClone

public LValue deepClone(CloneHelper cloneHelper)

getPrecedence

public Precedence getPrecedence()

Specified by:

getPrecedence in interface DumpableWithPrecedence

Specified by:

getPrecedence in class AbstractLValue

dump

public Dumper dump(Dumper d,
                   boolean defines)

Specified by:

dump in interface LValue

Overrides:

dump in class AbstractLValue

dumpInner

public Dumper dumpInner(Dumper d)

Specified by:

dumpInner in class AbstractLValue

getName

public NamedVariable getName()

getIdx

public int getIdx()

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface LValue

Overrides:

canThrow in class AbstractLValue

collectLValueAssignments

public <T> void collectLValueAssignments(Expression assignedTo,
                                         StatementContainer<T> statementContainer,
                                         LValueAssignmentCollector<T> lValueAssigmentCollector)

replaceSingleUsageLValues

public LValue replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                        SSAIdentifiers ssaIdentifiers,
                                        StatementContainer statementContainer)

collectVariableMutation

public SSAIdentifiers<LValue> collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)

applyExpressionRewriter

public LValue applyExpressionRewriter(ExpressionRewriter expressionRewriter,
                                      SSAIdentifiers ssaIdentifiers,
                                      StatementContainer statementContainer,
                                      ExpressionRewriterFlags flags)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object