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

Class BooleanOperation

java.lang.Object

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

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

All Implemented Interfaces:

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

public class BooleanOperation
extends AbstractExpression
implements ConditionalExpression

Field Summary

Fields

Modifier and Type	Field and Description
private ConditionalExpression	lhs
private BoolOp	op
private ConditionalExpression	rhs

Constructor Summary

Constructors

Constructor and Description
BooleanOperation(BytecodeLoc loc, ConditionalExpression lhs, ConditionalExpression rhs, BoolOp op)

Method Summary

Modifier and Type	Method and Description
Expression	applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
Expression	applyLHSOnlyExpressionRewriter(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(java.lang.Object o)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
BytecodeLoc	getCombinedLoc()
private static java.lang.Boolean	getComputed(Expression e, java.util.Map<LValue,Literal> display)
Literal	getComputedLiteral(java.util.Map<LValue,Literal> display)
ConditionalExpression	getDemorganApplied(boolean amNegating)
ConditionalExpression	getLhs()
java.util.Set<LValue>	getLoopLValues()
ConditionalExpression	getNegated()
BoolOp	getOp()
Precedence	getPrecedence()
ConditionalExpression	getRhs()
ConditionalExpression	getRightDeep()
int	getSize(Precedence outerPrecedence)
static ConditionalExpression	makeRightDeep(java.util.List<ConditionalExpression> c, BoolOp op)
ConditionalExpression	optimiseForType()
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
ConditionalExpression	simplify()

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

addLoc, canPushDownInto, canThrow, 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.Expression

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

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

dumpWithOuterPrecedence

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

outerDeepClone

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

addLoc, getLoc

Field Detail

lhs

private ConditionalExpression lhs

rhs

private ConditionalExpression rhs

op

private BoolOp op

Constructor Detail

BooleanOperation

public BooleanOperation(BytecodeLoc loc,
                        ConditionalExpression lhs,
                        ConditionalExpression rhs,
                        BoolOp op)

Method Detail

deepClone

public Expression deepClone(CloneHelper cloneHelper)

Specified by:

deepClone in interface DeepCloneable<Expression>

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

getLhs

public ConditionalExpression getLhs()

getRhs

public ConditionalExpression getRhs()

getOp

public BoolOp getOp()

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

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

applyLHSOnlyExpressionRewriter

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

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

getNegated

public ConditionalExpression getNegated()

Specified by:

getNegated in interface ConditionalExpression

getDemorganApplied

public ConditionalExpression getDemorganApplied(boolean amNegating)

Specified by:

getDemorganApplied in interface ConditionalExpression

getRightDeep

public ConditionalExpression getRightDeep()

Specified by:

getRightDeep in interface ConditionalExpression

makeRightDeep

public static ConditionalExpression makeRightDeep(java.util.List<ConditionalExpression> c,
                                                  BoolOp op)

getLoopLValues

public java.util.Set<LValue> getLoopLValues()

Specified by:

getLoopLValues in interface ConditionalExpression

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

Specified by:

collectUsedLValues in interface Expression

optimiseForType

public ConditionalExpression optimiseForType()

Specified by:

optimiseForType in interface ConditionalExpression

simplify

public ConditionalExpression simplify()

Specified by:

simplify in interface ConditionalExpression

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class AbstractExpression

equivalentUnder

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

Specified by:

equivalentUnder in interface Expression

Specified by:

equivalentUnder in interface ComparableUnderEC

getComputed

private static java.lang.Boolean getComputed(Expression e,
                                             java.util.Map<LValue,Literal> display)

getComputedLiteral

public Literal getComputedLiteral(java.util.Map<LValue,Literal> display)

Specified by:

getComputedLiteral in interface Expression

Overrides:

getComputedLiteral in class AbstractExpression