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