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
-
Nested Class Summary
Nested Classes -
Method Summary
Modifier and TypeMethodDescriptionapplyExpressionRewriter
(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) collectVariableMutation
(SSAIdentifierFactory<LValue, ?> ssaIdentifierFactory) boolean
doesBlackListLValueReplacement
(LValue replace, Expression with) int
boolean
isFinal()
boolean
isVar()
void
void
markVar()
replaceSingleUsageLValues
(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer) boolean
Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.rewriters.DeepCloneable
deepClone, outerDeepClone
Methods inherited from interface org.benf.cfr.reader.util.output.DumpableWithPrecedence
dumpWithOuterPrecedence, getPrecedence
Methods inherited from interface org.benf.cfr.reader.util.TypeUsageCollectable
collectTypeUsages
-
Method Details
-
getNumberOfCreators
int getNumberOfCreators() -
collectLValueAssignments
<T> void collectLValueAssignments(Expression assignedTo, StatementContainer<T> statementContainer, LValueAssignmentCollector<T> lValueAssigmentCollector) -
doesBlackListLValueReplacement
-
collectLValueUsage
-
collectVariableMutation
-
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
-
markFinal
void markFinal() -
isFinal
boolean isFinal() -
markVar
void markVar() -
isVar
boolean isVar() -
validIterator
boolean validIterator() -
dump
-