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	Description
static class	LValue.Creation

Method Summary

Modifier and Type	Method	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	isFakeIgnored()
boolean	isFinal()
boolean	isVar()
void	markFinal()
void	markVar()
LValue	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
boolean	validIterator()

Methods inherited from interface DeepCloneable

deepClone, outerDeepClone

Methods inherited from interface Dumpable

dump

Methods inherited from interface DumpableWithPrecedence

dumpWithOuterPrecedence, getPrecedence

Methods inherited from interface TypeUsageCollectable

collectTypeUsages

Method Details

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()

isFakeIgnored

boolean isFakeIgnored()

markVar

void markVar()

isVar

boolean isVar()

validIterator

boolean validIterator()

dump

Dumper dump(Dumper d,
 boolean defines)