Class ArithmeticOperation

java.lang.Object

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

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

All Implemented Interfaces:

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

public class ArithmeticOperation
extends AbstractExpression
implements BoxingProcessor

Field Summary

Fields

Modifier and Type	Field	Description
private Expression	lhs
private final ArithOp	op
private Expression	rhs

Constructor Summary

Constructors

Constructor	Description
ArithmeticOperation(BytecodeLoc loc, Expression lhs, Expression rhs, ArithOp op)
ArithmeticOperation(BytecodeLoc loc, InferredJavaType knownType, Expression lhs, Expression rhs, ArithOp op)

Method Summary

Modifier and Type	Method	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)
private static boolean	canNegateAroundNaN(CompOp from, int on)
boolean	canPushDownInto()
boolean	canThrow(ExceptionCheck caught)
void	collectTypeUsages(TypeUsageCollector collector)
void	collectUsedLValues(LValueUsageCollector lValueUsageCollector)
Expression	deepClone(CloneHelper cloneHelper)
Dumper	dumpInner(Dumper d)
boolean	equals(Object o)
final boolean	equivalentUnder(Object o, EquivalenceConstraint constraint)
BytecodeLoc	getCombinedLoc()
Literal	getComputedLiteral(Map<LValue,Literal> display)
Expression	getLhs()
AbstractMutatingAssignmentExpression	getMutationOf(LValue lValue)
ArithOp	getOp()
Precedence	getPrecedence()
Expression	getReplacementXorM1()
Expression	getRhs()
private static InferredJavaType	inferredType(InferredJavaType a, InferredJavaType b, ArithOp op)
boolean	isLiteralFunctionOf(LValue lValue)
private boolean	isLValueExprFor(LValueExpression expression, LValue lValue)
boolean	isMutationOf(LValue lValue)
boolean	isXorM1()
Expression	pushDown(Expression toPush, Expression parent)
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
private static boolean	returnsTrueForNaN(CompOp from, int on, boolean nanG)
boolean	rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)
private static CompOp	rewriteXCMPCompOp(CompOp from, int on)
<T> T	visit(ExpressionVisitor<T> visitor)

Methods inherited from class AbstractExpression

addLoc, dump, dumpWithOuterPrecedence, getInferredJavaType, getLoc, isSimple, isValidStatement, outerDeepClone, toString

Methods inherited from class Object

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

Field Details

lhs

private Expression lhs

rhs

private Expression rhs

op

private final ArithOp op

Constructor Details

ArithmeticOperation

public ArithmeticOperation(BytecodeLoc loc,
 Expression lhs,
 Expression rhs,
 ArithOp op)

ArithmeticOperation

public ArithmeticOperation(BytecodeLoc loc,
 InferredJavaType knownType,
 Expression lhs,
 Expression rhs,
 ArithOp op)

Method Details

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>

inferredType

private static InferredJavaType inferredType(InferredJavaType a,
 InferredJavaType b,
 ArithOp op)

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

getComputedLiteral

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

Specified by:

getComputedLiteral in interface Expression

Overrides:

getComputedLiteral in class AbstractExpression

isLValueExprFor

private boolean isLValueExprFor(LValueExpression expression,
 LValue lValue)

isLiteralFunctionOf

public boolean isLiteralFunctionOf(LValue lValue)

isXorM1

public boolean isXorM1()

getReplacementXorM1

public Expression getReplacementXorM1()

isMutationOf

public boolean isMutationOf(LValue lValue)

getMutationOf

public AbstractMutatingAssignmentExpression getMutationOf(LValue lValue)

replaceSingleUsageLValues

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

Specified by:

replaceSingleUsageLValues in interface Expression

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

canPushDownInto

public boolean canPushDownInto()

Specified by:

canPushDownInto in interface Expression

Overrides:

canPushDownInto in class AbstractExpression

equals

public boolean equals(Object o)

Specified by:

equals in class AbstractExpression

equivalentUnder

public final boolean equivalentUnder(Object o,
 EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface ComparableUnderEC

Specified by:

equivalentUnder in interface Expression

returnsTrueForNaN

private static boolean returnsTrueForNaN(CompOp from,
 int on,
 boolean nanG)

canNegateAroundNaN

private static boolean canNegateAroundNaN(CompOp from,
 int on)

rewriteXCMPCompOp

private static CompOp rewriteXCMPCompOp(CompOp from,
 int on)

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface Expression

Overrides:

canThrow in class AbstractExpression

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

getLhs

public Expression getLhs()

getRhs

public Expression getRhs()

getOp

public ArithOp getOp()

visit

public <T> T visit(ExpressionVisitor<T> visitor)

Specified by:

visit in interface Expression

Overrides:

visit in class AbstractExpression

pushDown

public Expression pushDown(Expression toPush,
 Expression parent)

Specified by:

pushDown in interface Expression

Overrides:

pushDown in class AbstractExpression