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
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate ConditionalExpression
private BoolOp
private ConditionalExpression
-
Constructor Summary
ConstructorsConstructorDescriptionBooleanOperation
(BytecodeLoc loc, ConditionalExpression lhs, ConditionalExpression rhs, BoolOp op) -
Method Summary
Modifier and TypeMethodDescriptionapplyExpressionRewriter
(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags) applyLHSOnlyExpressionRewriter
(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags) applyReverseExpressionRewriter
(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags) void
collectTypeUsages
(TypeUsageCollector collector) void
collectUsedLValues
(LValueUsageCollector lValueUsageCollector) deepClone
(CloneHelper cloneHelper) boolean
final boolean
equivalentUnder
(Object o, EquivalenceConstraint constraint) private static Boolean
getComputed
(Expression e, Map<LValue, Literal> display) getComputedLiteral
(Map<LValue, Literal> display) getDemorganApplied
(boolean amNegating) getLhs()
getOp()
getRhs()
int
getSize
(Precedence outerPrecedence) static ConditionalExpression
makeRightDeep
(List<ConditionalExpression> c, BoolOp op) replaceSingleUsageLValues
(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer) 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.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, canThrow, dump, getInferredJavaType, isSimple, isValidStatement, pushDown, visit
Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.loc.HasByteCodeLoc
addLoc, getLoc
-
Field Details
-
lhs
-
rhs
-
op
-
-
Constructor Details
-
BooleanOperation
public BooleanOperation(BytecodeLoc loc, ConditionalExpression lhs, ConditionalExpression rhs, BoolOp op)
-
-
Method Details
-
deepClone
- Specified by:
deepClone
in interfaceDeepCloneable<Expression>
-
getCombinedLoc
- Specified by:
getCombinedLoc
in interfaceHasByteCodeLoc
-
getLhs
-
getRhs
-
getOp
-
collectTypeUsages
- Specified by:
collectTypeUsages
in interfaceTypeUsageCollectable
- Overrides:
collectTypeUsages
in classAbstractExpression
-
getSize
- Specified by:
getSize
in interfaceConditionalExpression
-
replaceSingleUsageLValues
public Expression replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer) - Specified by:
replaceSingleUsageLValues
in interfaceExpression
-
applyExpressionRewriter
public Expression applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags) - Specified by:
applyExpressionRewriter
in interfaceExpression
-
applyReverseExpressionRewriter
public Expression applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags) - Specified by:
applyReverseExpressionRewriter
in interfaceExpression
-
applyLHSOnlyExpressionRewriter
public Expression applyLHSOnlyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags) -
getPrecedence
- Specified by:
getPrecedence
in interfaceDumpableWithPrecedence
- Specified by:
getPrecedence
in classAbstractExpression
-
dumpInner
- Specified by:
dumpInner
in classAbstractExpression
-
getNegated
- Specified by:
getNegated
in interfaceConditionalExpression
-
getDemorganApplied
- Specified by:
getDemorganApplied
in interfaceConditionalExpression
-
getRightDeep
- Specified by:
getRightDeep
in interfaceConditionalExpression
-
makeRightDeep
-
getLoopLValues
- Specified by:
getLoopLValues
in interfaceConditionalExpression
-
collectUsedLValues
- Specified by:
collectUsedLValues
in interfaceExpression
-
optimiseForType
- Specified by:
optimiseForType
in interfaceConditionalExpression
-
simplify
- Specified by:
simplify
in interfaceConditionalExpression
-
equals
- Specified by:
equals
in classAbstractExpression
-
equivalentUnder
- Specified by:
equivalentUnder
in interfaceComparableUnderEC
- Specified by:
equivalentUnder
in interfaceExpression
-
getComputed
-
getComputedLiteral
- Specified by:
getComputedLiteral
in interfaceExpression
- Overrides:
getComputedLiteral
in classAbstractExpression
-