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

Class StackValue

java.lang.Object

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

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

All Implemented Interfaces:

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

public class StackValue
extends AbstractExpression

Constructor Summary

Constructors

Constructor and Description
StackValue(BytecodeLoc loc, StackSSALabel stackValue)

Method Summary

Modifier and Type	Method and Description
Expression	applyExpressionRewriter(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)
Dumper	dumpInner(Dumper d)
boolean	equals(Object o)
boolean	equivalentUnder(Object o, EquivalenceConstraint constraint)
BytecodeLoc	getCombinedLoc()
Literal	getComputedLiteral(Map<LValue,Literal> display)
Precedence	getPrecedence()
StackSSALabel	getStackValue()
int	hashCode()
boolean	isSimple()
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

StackValue

public StackValue(BytecodeLoc loc,
                  StackSSALabel stackValue)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

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

isSimple

public boolean isSimple()

Specified by:

isSimple in interface Expression

Overrides:

isSimple in class AbstractExpression

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractExpression

deepClone

public Expression deepClone(CloneHelper cloneHelper)

replaceSingleUsageLValues

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

applyExpressionRewriter

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

applyReverseExpressionRewriter

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

getStackValue

public StackSSALabel getStackValue()

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

equals

public boolean equals(Object o)

Specified by:

equals in class AbstractExpression

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equivalentUnder

public boolean equivalentUnder(Object o,
                               EquivalenceConstraint constraint)

getComputedLiteral

public Literal getComputedLiteral(Map<LValue,Literal> display)

Specified by:

getComputedLiteral in interface Expression

Overrides:

getComputedLiteral in class AbstractExpression