Class WildcardMatch.ConditionalExpressionWildcard

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.wildcard.WildcardMatch.ConditionalExpressionWildcard

All Implemented Interfaces:

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

Enclosing class:

WildcardMatch

public class WildcardMatch.ConditionalExpressionWildcard
extends Object
implements ConditionalExpression, Wildcard<ConditionalExpression>

Method Summary

Modifier and Type	Method	Description
void	addLoc(HasByteCodeLoc loc)
Expression	applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
Expression	applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
boolean	canPushDownInto()
boolean	canThrow(ExceptionCheck caught)
void	collectTypeUsages(TypeUsageCollector collector)
void	collectUsedLValues(LValueUsageCollector lValueUsageCollector)
Expression	deepClone(CloneHelper cloneHelper)
Dumper	dump(Dumper dumper)
Dumper	dumpWithOuterPrecedence(Dumper d, Precedence outerPrecedence, Troolean isLhs)
boolean	equals(Object o)
boolean	equivalentUnder(Object o, EquivalenceConstraint constraint)
BytecodeLoc	getCombinedLoc()
Literal	getComputedLiteral(Map<LValue,Literal> display)
ConditionalExpression	getDemorganApplied(boolean amNegating)
InferredJavaType	getInferredJavaType()
BytecodeLoc	getLoc()
Set<LValue>	getLoopLValues()
ConditionalExpression	getMatch()
ConditionalExpression	getNegated()
Precedence	getPrecedence()
ConditionalExpression	getRightDeep()
int	getSize(Precedence outerPrecedence)
boolean	isSimple()
boolean	isValidStatement()
ConditionalExpression	optimiseForType()
Expression	outerDeepClone(CloneHelper cloneHelper)
Expression	pushDown(Expression toPush, Expression parent)
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
void	resetMatch()
ConditionalExpression	simplify()
<T> T	visit(ExpressionVisitor<T> visitor)

Methods inherited from class Object

clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface DeepCloneable

deepClone, outerDeepClone

Methods inherited from interface DumpableWithPrecedence

dumpWithOuterPrecedence, getPrecedence

Methods inherited from interface Expression

applyExpressionRewriter, applyReverseExpressionRewriter, canPushDownInto, canThrow, collectUsedLValues, dump, equivalentUnder, getComputedLiteral, getInferredJavaType, isSimple, isValidStatement, pushDown, replaceSingleUsageLValues, visit

Methods inherited from interface HasByteCodeLoc

addLoc, getCombinedLoc, getLoc

Methods inherited from interface TypeUsageCollectable

collectTypeUsages

Method Details

getMatch

public ConditionalExpression getMatch()

Specified by:

getMatch in interface Wildcard<ConditionalExpression>

resetMatch

public void resetMatch()

Specified by:

resetMatch in interface Wildcard<ConditionalExpression>

equals

public boolean equals(Object o)

Overrides:

equals in class Object

simplify

public ConditionalExpression simplify()

Specified by:

simplify in interface ConditionalExpression

optimiseForType

public ConditionalExpression optimiseForType()

Specified by:

optimiseForType in interface ConditionalExpression

getLoopLValues

public Set<LValue> getLoopLValues()

Specified by:

getLoopLValues 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

getSize

public int getSize(Precedence outerPrecedence)

Specified by:

getSize in interface ConditionalExpression

getNegated

public ConditionalExpression getNegated()

Specified by:

getNegated in interface ConditionalExpression

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

getLoc

public BytecodeLoc getLoc()

Specified by:

getLoc in interface HasByteCodeLoc

addLoc

public void addLoc(HasByteCodeLoc loc)

Specified by:

addLoc in interface HasByteCodeLoc

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

isSimple

public boolean isSimple()

Specified by:

isSimple in interface Expression

isValidStatement

public boolean isValidStatement()

Specified by:

isValidStatement in interface Expression

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

Specified by:

collectUsedLValues in interface Expression

canPushDownInto

public boolean canPushDownInto()

Specified by:

canPushDownInto in interface Expression

pushDown

public Expression pushDown(Expression toPush,
 Expression parent)

Specified by:

pushDown in interface Expression

getInferredJavaType

public InferredJavaType getInferredJavaType()

Specified by:

getInferredJavaType in interface Expression

deepClone

public Expression deepClone(CloneHelper cloneHelper)

Specified by:

deepClone in interface DeepCloneable<Expression>

outerDeepClone

public Expression outerDeepClone(CloneHelper cloneHelper)

Specified by:

outerDeepClone in interface DeepCloneable<Expression>

getPrecedence

public Precedence getPrecedence()

Specified by:

getPrecedence in interface DumpableWithPrecedence

dumpWithOuterPrecedence

public Dumper dumpWithOuterPrecedence(Dumper d,
 Precedence outerPrecedence,
 Troolean isLhs)

Specified by:

dumpWithOuterPrecedence in interface DumpableWithPrecedence

equivalentUnder

public boolean equivalentUnder(Object o,
 EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface ComparableUnderEC

Specified by:

equivalentUnder in interface Expression

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface Expression

getComputedLiteral

public Literal getComputedLiteral(Map<LValue,Literal> display)

Specified by:

getComputedLiteral in interface Expression

visit

public <T> T visit(ExpressionVisitor<T> visitor)

Specified by:

visit in interface Expression

dump

public Dumper dump(Dumper dumper)

Specified by:

dump in interface Dumpable