public class BooleanExpression extends AbstractExpression implements ConditionalExpression
Modifier and Type | Field and Description |
---|---|
static ConditionalExpression |
FALSE |
static ConditionalExpression |
TRUE |
Constructor and Description |
---|
BooleanExpression(Expression inner) |
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
public static final ConditionalExpression TRUE
public static final ConditionalExpression FALSE
public BooleanExpression(Expression inner)
public BytecodeLoc getCombinedLoc()
getCombinedLoc
in interface HasByteCodeLoc
public int getSize(Precedence outer)
getSize
in interface ConditionalExpression
public Expression getInner()
public void collectTypeUsages(TypeUsageCollector collector)
collectTypeUsages
in interface TypeUsageCollectable
collectTypeUsages
in class AbstractExpression
public Expression deepClone(CloneHelper cloneHelper)
deepClone
in interface DeepCloneable<Expression>
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 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
protected void addIfLValue(Expression expression, Set<LValue> res)
public 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(Object o)
equals
in class AbstractExpression
public final boolean equivalentUnder(Object o, EquivalenceConstraint constraint)
equivalentUnder
in interface Expression
equivalentUnder
in interface ComparableUnderEC
public Literal getComputedLiteral(Map<LValue,Literal> display)
getComputedLiteral
in interface Expression
getComputedLiteral
in class AbstractExpression
Copyright © 2011-2021. All Rights Reserved.