public class BooleanOperation extends AbstractExpression implements ConditionalExpression
Modifier and Type | Field and Description |
---|---|
private ConditionalExpression |
lhs |
private BoolOp |
op |
private ConditionalExpression |
rhs |
Constructor and Description |
---|
BooleanOperation(BytecodeLoc loc,
ConditionalExpression lhs,
ConditionalExpression rhs,
BoolOp op) |
addLoc, canPushDownInto, canThrow, dump, dumpWithOuterPrecedence, getInferredJavaType, getLoc, isSimple, isValidStatement, outerDeepClone, pushDown, toString, visit
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
canPushDownInto, canThrow, dump, getInferredJavaType, isSimple, isValidStatement, pushDown, visit
dumpWithOuterPrecedence
outerDeepClone
addLoc, getLoc
private ConditionalExpression lhs
private ConditionalExpression rhs
private BoolOp op
public BooleanOperation(BytecodeLoc loc, ConditionalExpression lhs, ConditionalExpression rhs, BoolOp op)
public Expression deepClone(CloneHelper cloneHelper)
deepClone
in interface DeepCloneable<Expression>
public BytecodeLoc getCombinedLoc()
getCombinedLoc
in interface HasByteCodeLoc
public ConditionalExpression getLhs()
public ConditionalExpression getRhs()
public BoolOp getOp()
public void collectTypeUsages(TypeUsageCollector collector)
collectTypeUsages
in interface TypeUsageCollectable
collectTypeUsages
in class AbstractExpression
public int getSize(Precedence outerPrecedence)
getSize
in interface ConditionalExpression
public Expression replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
replaceSingleUsageLValues
in interface Expression
public Expression applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
applyExpressionRewriter
in interface Expression
public Expression applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
applyReverseExpressionRewriter
in interface Expression
public Expression applyLHSOnlyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
public Precedence getPrecedence()
getPrecedence
in interface DumpableWithPrecedence
getPrecedence
in class AbstractExpression
public Dumper dumpInner(Dumper d)
dumpInner
in class AbstractExpression
public ConditionalExpression getNegated()
getNegated
in interface ConditionalExpression
public ConditionalExpression getDemorganApplied(boolean amNegating)
getDemorganApplied
in interface ConditionalExpression
public ConditionalExpression getRightDeep()
getRightDeep
in interface ConditionalExpression
public static ConditionalExpression makeRightDeep(java.util.List<ConditionalExpression> c, BoolOp op)
public java.util.Set<LValue> getLoopLValues()
getLoopLValues
in interface ConditionalExpression
public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)
collectUsedLValues
in interface Expression
public ConditionalExpression optimiseForType()
optimiseForType
in interface ConditionalExpression
public ConditionalExpression simplify()
simplify
in interface ConditionalExpression
public boolean equals(java.lang.Object o)
equals
in class AbstractExpression
public final boolean equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
equivalentUnder
in interface Expression
equivalentUnder
in interface ComparableUnderEC
private static java.lang.Boolean getComputed(Expression e, java.util.Map<LValue,Literal> display)
public Literal getComputedLiteral(java.util.Map<LValue,Literal> display)
getComputedLiteral
in interface Expression
getComputedLiteral
in class AbstractExpression