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

Interface LValue

All Superinterfaces:

DeepCloneable<LValue>, Dumpable, DumpableWithPrecedence, TypeUsageCollectable

All Known Implementing Classes:

AbstractFieldVariable, AbstractLValue, ArrayVariable, FieldVariable, LocalVariable, SentinelLocalClassLValue, StackSSALabel, StaticVariable, WildcardMatch.LValueWildcard, WildcardMatch.StackLabelWildCard, WildcardMatch.StaticVariableWildcard

public interface LValue
extends DumpableWithPrecedence, DeepCloneable<LValue>, TypeUsageCollectable

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	LValue.Creation

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)
void	collectLValueUsage(LValueUsageCollector lValueUsageCollector)
SSAIdentifiers<LValue>	collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)
boolean	doesBlackListLValueReplacement(LValue replace, Expression with)
Dumper	dump(Dumper d, boolean defines)
JavaAnnotatedTypeInstance	getAnnotatedCreationType()
InferredJavaType	getInferredJavaType()
int	getNumberOfCreators()
boolean	isFinal()
boolean	isVar()
void	markFinal()
void	markVar()
LValue	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
boolean	validIterator()

Methods inherited from interface org.benf.cfr.reader.util.output.DumpableWithPrecedence

dumpWithOuterPrecedence, getPrecedence

Methods inherited from interface org.benf.cfr.reader.util.output.Dumpable

dump

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

deepClone, outerDeepClone

Methods inherited from interface org.benf.cfr.reader.util.TypeUsageCollectable

collectTypeUsages

Method Detail

getNumberOfCreators

int getNumberOfCreators()

collectLValueAssignments

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

doesBlackListLValueReplacement

boolean doesBlackListLValueReplacement(LValue replace,
                                       Expression with)

collectLValueUsage

void collectLValueUsage(LValueUsageCollector lValueUsageCollector)

collectVariableMutation

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

replaceSingleUsageLValues

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

applyExpressionRewriter

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

getInferredJavaType

InferredJavaType getInferredJavaType()

getAnnotatedCreationType

JavaAnnotatedTypeInstance getAnnotatedCreationType()

canThrow

boolean canThrow(ExceptionCheck caught)

markFinal

void markFinal()

isFinal

boolean isFinal()

markVar

void markVar()

isVar

boolean isVar()

validIterator

boolean validIterator()

dump

Dumper dump(Dumper d,
            boolean defines)