Class NotOperation
- java.lang.Object
-
- org.benf.cfr.reader.bytecode.analysis.parse.expression.AbstractExpression
-
- org.benf.cfr.reader.bytecode.analysis.parse.expression.NotOperation
-
- All Implemented Interfaces:
HasByteCodeLoc
,Expression
,ConditionalExpression
,DeepCloneable<Expression>
,ComparableUnderEC
,Dumpable
,DumpableWithPrecedence
,TypeUsageCollectable
public class NotOperation extends AbstractExpression implements ConditionalExpression
-
-
Field Summary
Fields Modifier and Type Field Description private ConditionalExpression
inner
-
Constructor Summary
Constructors Constructor Description NotOperation(BytecodeLoc loc, ConditionalExpression lhs)
-
Method Summary
-
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 Detail
-
inner
private ConditionalExpression inner
-
-
Constructor Detail
-
NotOperation
public NotOperation(BytecodeLoc loc, ConditionalExpression lhs)
-
-
Method Detail
-
getCombinedLoc
public BytecodeLoc getCombinedLoc()
- Specified by:
getCombinedLoc
in interfaceHasByteCodeLoc
-
collectTypeUsages
public void collectTypeUsages(TypeUsageCollector collector)
- Specified by:
collectTypeUsages
in interfaceTypeUsageCollectable
- Overrides:
collectTypeUsages
in classAbstractExpression
-
deepClone
public Expression deepClone(CloneHelper cloneHelper)
- Specified by:
deepClone
in interfaceDeepCloneable<Expression>
-
getSize
public int getSize(Precedence outerPrecedence)
- 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
-
getPrecedence
public Precedence getPrecedence()
- Specified by:
getPrecedence
in interfaceDumpableWithPrecedence
- Specified by:
getPrecedence
in classAbstractExpression
-
dumpInner
public Dumper dumpInner(Dumper d)
- Specified by:
dumpInner
in classAbstractExpression
-
getNegated
public ConditionalExpression getNegated()
- Specified by:
getNegated
in interfaceConditionalExpression
-
getDemorganApplied
public ConditionalExpression getDemorganApplied(boolean amNegating)
- Specified by:
getDemorganApplied
in interfaceConditionalExpression
-
getRightDeep
public ConditionalExpression getRightDeep()
- Specified by:
getRightDeep
in interfaceConditionalExpression
-
getLoopLValues
public java.util.Set<LValue> getLoopLValues()
- Specified by:
getLoopLValues
in interfaceConditionalExpression
-
collectUsedLValues
public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)
- Specified by:
collectUsedLValues
in interfaceExpression
-
optimiseForType
public ConditionalExpression optimiseForType()
- Specified by:
optimiseForType
in interfaceConditionalExpression
-
simplify
public ConditionalExpression simplify()
- Specified by:
simplify
in interfaceConditionalExpression
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in classAbstractExpression
-
equivalentUnder
public final boolean equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
- Specified by:
equivalentUnder
in interfaceComparableUnderEC
- Specified by:
equivalentUnder
in interfaceExpression
-
getComputedLiteral
public Literal getComputedLiteral(java.util.Map<LValue,Literal> display)
- Specified by:
getComputedLiteral
in interfaceExpression
- Overrides:
getComputedLiteral
in classAbstractExpression
-
-