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

Class AbstractLValue

java.lang.Object

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

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractFieldVariable, ArrayVariable, LocalVariable, SentinelLocalClassLValue, StackSSALabel

public abstract class AbstractLValue
extends Object
implements LValue

Nested Class Summary

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

LValue.Creation

Constructor Summary

Constructors

Constructor and Description
AbstractLValue(InferredJavaType inferredJavaType)

Method Summary

Modifier and Type	Method and Description
boolean	canThrow(ExceptionCheck caught)
void	collectLValueUsage(LValueUsageCollector lValueUsageCollector)
void	collectTypeUsages(TypeUsageCollector collector)
boolean	doesBlackListLValueReplacement(LValue replace, Expression with)
Dumper	dump(Dumper d)
Dumper	dump(Dumper d, boolean defines)
abstract Dumper	dumpInner(Dumper d)
Dumper	dumpWithOuterPrecedence(Dumper d, Precedence outerP, Troolean isLhs)
JavaAnnotatedTypeInstance	getAnnotatedCreationType()
InferredJavaType	getInferredJavaType()
abstract Precedence	getPrecedence()
LValue	outerDeepClone(CloneHelper cloneHelper)
String	toString()
boolean	validIterator()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.LValue

applyExpressionRewriter, collectLValueAssignments, collectVariableMutation, getNumberOfCreators, isFinal, isVar, markFinal, markVar, replaceSingleUsageLValues

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.rewriters.DeepCloneable

deepClone

Constructor Detail

AbstractLValue

public AbstractLValue(InferredJavaType inferredJavaType)

Method Detail

getInferredJavaType

public InferredJavaType getInferredJavaType()

Specified by:

getInferredJavaType in interface LValue

getAnnotatedCreationType

public JavaAnnotatedTypeInstance getAnnotatedCreationType()

Specified by:

getAnnotatedCreationType in interface LValue

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

collectLValueUsage

public void collectLValueUsage(LValueUsageCollector lValueUsageCollector)

Specified by:

collectLValueUsage in interface LValue

doesBlackListLValueReplacement

public boolean doesBlackListLValueReplacement(LValue replace,
                                              Expression with)

Specified by:

doesBlackListLValueReplacement in interface LValue

outerDeepClone

public LValue outerDeepClone(CloneHelper cloneHelper)

Specified by:

outerDeepClone in interface DeepCloneable<LValue>

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface LValue

validIterator

public boolean validIterator()

Specified by:

validIterator in interface LValue

toString

public final String toString()

Overrides:

toString in class Object

dump

public final Dumper dump(Dumper d)

Specified by:

dump in interface Dumpable

getPrecedence

public abstract Precedence getPrecedence()

Specified by:

getPrecedence in interface DumpableWithPrecedence

dump

public Dumper dump(Dumper d,
                   boolean defines)

Specified by:

dump in interface LValue

dumpInner

public abstract Dumper dumpInner(Dumper d)

dumpWithOuterPrecedence

public final Dumper dumpWithOuterPrecedence(Dumper d,
                                            Precedence outerP,
                                            Troolean isLhs)

Specified by:

dumpWithOuterPrecedence in interface DumpableWithPrecedence