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

Class ArrayIndex

java.lang.Object

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

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

All Implemented Interfaces:

HasByteCodeLoc, Expression, BoxingProcessor, DeepCloneable<Expression>, ComparableUnderEC, Dumpable, DumpableWithPrecedence, TypeUsageCollectable

public class ArrayIndex
extends AbstractExpression
implements BoxingProcessor

Field Summary

Fields

Modifier and Type	Field and Description
private Expression	array
private Expression	index

Constructor Summary

Constructors

Modifier	Constructor and Description
	ArrayIndex(BytecodeLoc loc, Expression array, Expression index)
private	ArrayIndex(BytecodeLoc loc, InferredJavaType inferredJavaType, Expression array, Expression index)

Method Summary

Modifier and Type	Method and Description
Expression	applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
Expression	applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	collectTypeUsages(TypeUsageCollector collector)
void	collectUsedLValues(LValueUsageCollector lValueUsageCollector)
Expression	deepClone(CloneHelper cloneHelper)
boolean	doesBlackListLValueReplacement(LValue replace, Expression with)
Dumper	dumpInner(Dumper d)
boolean	equals(java.lang.Object o)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
Expression	getArray()
BytecodeLoc	getCombinedLoc()
Expression	getIndex()
Precedence	getPrecedence()
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
boolean	rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.expression.AbstractExpression

addLoc, canPushDownInto, canThrow, dump, dumpWithOuterPrecedence, getComputedLiteral, getInferredJavaType, getLoc, isSimple, isValidStatement, outerDeepClone, pushDown, toString, visit

Methods inherited from class java.lang.Object

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

Field Detail

array

private Expression array

index

private Expression index

Constructor Detail

ArrayIndex

public ArrayIndex(BytecodeLoc loc,
                  Expression array,
                  Expression index)

ArrayIndex

private ArrayIndex(BytecodeLoc loc,
                   InferredJavaType inferredJavaType,
                   Expression array,
                   Expression index)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractExpression

deepClone

public Expression deepClone(CloneHelper cloneHelper)

Specified by:

deepClone in interface DeepCloneable<Expression>

getPrecedence

public Precedence getPrecedence()

Specified by:

getPrecedence in interface DumpableWithPrecedence

Specified by:

getPrecedence in class AbstractExpression

dumpInner

public Dumper dumpInner(Dumper d)

Specified by:

dumpInner in class AbstractExpression

replaceSingleUsageLValues

public Expression replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                            SSAIdentifiers ssaIdentifiers,
                                            StatementContainer statementContainer)

Specified by:

replaceSingleUsageLValues in interface Expression

doesBlackListLValueReplacement

public boolean doesBlackListLValueReplacement(LValue replace,
                                              Expression with)

applyExpressionRewriter

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

Specified by:

applyExpressionRewriter in interface Expression

applyReverseExpressionRewriter

public Expression applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter,
                                                 SSAIdentifiers ssaIdentifiers,
                                                 StatementContainer statementContainer,
                                                 ExpressionRewriterFlags flags)

Specified by:

applyReverseExpressionRewriter in interface Expression

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

Specified by:

collectUsedLValues in interface Expression

getArray

public Expression getArray()

getIndex

public Expression getIndex()

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class AbstractExpression

equivalentUnder

public boolean equivalentUnder(java.lang.Object o,
                               EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface Expression

Specified by:

equivalentUnder in interface ComparableUnderEC

rewriteBoxing

public boolean rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)

Specified by:

rewriteBoxing in interface BoxingProcessor

applyNonArgExpressionRewriter

public void applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter,
                                          SSAIdentifiers ssaIdentifiers,
                                          StatementContainer statementContainer,
                                          ExpressionRewriterFlags flags)

Specified by:

applyNonArgExpressionRewriter in interface BoxingProcessor