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

Class ComparisonOperation

java.lang.Object

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

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

All Implemented Interfaces:

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

public class ComparisonOperation
extends AbstractExpression
implements ConditionalExpression, BoxingProcessor

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static enum	ComparisonOperation.BooleanComparisonType

Field Summary

Fields

Modifier and Type	Field	Description
private final boolean	canNegate
private Expression	lhs
private final CompOp	op
private Expression	rhs

Constructor Summary

Constructors

Constructor	Description
ComparisonOperation(BytecodeLoc loc, Expression lhs, Expression rhs, CompOp op)
ComparisonOperation(BytecodeLoc loc, Expression lhs, Expression rhs, CompOp op, boolean canNegate)

Method Summary

Modifier and Type	Method	Description
private void	addIfLValue(Expression expression, Set<LValue> res)
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)
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)
private ConditionalExpression	getConditionalExpression(Expression booleanExpression, ComparisonOperation.BooleanComparisonType booleanComparisonType)
ConditionalExpression	getDemorganApplied(boolean amNegating)
Expression	getLhs()
Set<LValue>	getLoopLValues()
ConditionalExpression	getNegated()
CompOp	getOp()
Precedence	getPrecedence()
Expression	getRhs()
ConditionalExpression	getRightDeep()
int	getSize(Precedence outerPrecedence)
private static ComparisonOperation.BooleanComparisonType	isBooleanComparison(Expression a, Expression b, CompOp op)
ConditionalExpression	optimiseForType()
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
boolean	rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)
ConditionalExpression	simplify()

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.rewriters.DeepCloneable

outerDeepClone

Methods inherited from interface org.benf.cfr.reader.util.output.DumpableWithPrecedence

dumpWithOuterPrecedence

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.Expression

canPushDownInto, dump, getInferredJavaType, isSimple, isValidStatement, pushDown, visit

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.loc.HasByteCodeLoc

addLoc, getLoc

Field Details

lhs

private Expression lhs

rhs

private Expression rhs

op

private final CompOp op

canNegate

private final boolean canNegate

Constructor Details

ComparisonOperation

public ComparisonOperation(BytecodeLoc loc,
 Expression lhs,
 Expression rhs,
 CompOp op)

ComparisonOperation

public ComparisonOperation(BytecodeLoc loc,
 Expression lhs,
 Expression rhs,
 CompOp op,
 boolean canNegate)

Method Details

deepClone

public Expression deepClone(CloneHelper cloneHelper)

Specified by:

deepClone in interface DeepCloneable<Expression>

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

getSize

public int getSize(Precedence outerPrecedence)

Specified by:

getSize in interface ConditionalExpression

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

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

getNegated

public ConditionalExpression getNegated()

Specified by:

getNegated in interface ConditionalExpression

getOp

public CompOp getOp()

getDemorganApplied

public ConditionalExpression getDemorganApplied(boolean amNegating)

Specified by:

getDemorganApplied in interface ConditionalExpression

getRightDeep

public ConditionalExpression getRightDeep()

Specified by:

getRightDeep in interface ConditionalExpression

addIfLValue

private void addIfLValue(Expression expression,
 Set<LValue> res)

getLoopLValues

public Set<LValue> getLoopLValues()

Specified by:

getLoopLValues in interface ConditionalExpression

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

Specified by:

collectUsedLValues in interface Expression

isBooleanComparison

private static ComparisonOperation.BooleanComparisonType isBooleanComparison(Expression a,
 Expression b,
 CompOp op)

getConditionalExpression

private ConditionalExpression getConditionalExpression(Expression booleanExpression,
 ComparisonOperation.BooleanComparisonType booleanComparisonType)

optimiseForType

public ConditionalExpression optimiseForType()

Specified by:

optimiseForType in interface ConditionalExpression

getLhs

public Expression getLhs()

getRhs

public Expression getRhs()

simplify

public ConditionalExpression simplify()

Specified by:

simplify in interface ConditionalExpression

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

equals

public boolean equals(Object o)

Specified by:

equals in class AbstractExpression

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface Expression

Overrides:

canThrow in class AbstractExpression

equivalentUnder

public final boolean equivalentUnder(Object o,
 EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface ComparableUnderEC

Specified by:

equivalentUnder in interface Expression

getComputedLiteral

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

Specified by:

getComputedLiteral in interface Expression

Overrides:

getComputedLiteral in class AbstractExpression