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

Class WildcardMatch.AbstractBaseExpressionWildcard

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

WildcardMatch.AnyOneOfExpression, WildcardMatch.ArithmeticMutationWildcard, WildcardMatch.CastExpressionWildcard, WildcardMatch.ConditionalExpressionWildcard, WildcardMatch.ConstructorInvokationAnonymousInnerWildcard, WildcardMatch.ConstructorInvokationSimpleWildcard, WildcardMatch.ExpressionWildcard, WildcardMatch.MemberFunctionInvokationWildcard, WildcardMatch.NewArrayWildcard, WildcardMatch.StaticFunctionInvokationWildcard, WildcardMatch.SuperFunctionInvokationWildcard

Enclosing class:

WildcardMatch

private abstract static class WildcardMatch.AbstractBaseExpressionWildcard
extends WildcardMatch.DebugDumpable
implements Expression

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AbstractBaseExpressionWildcard()

Method Summary

Modifier and Type	Method and 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	dumpWithOuterPrecedence(Dumper d, Precedence outerPrecedence, Troolean isLhs)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
BytecodeLoc	getCombinedLoc()
Literal	getComputedLiteral(java.util.Map<LValue,Literal> display)
InferredJavaType	getInferredJavaType()
BytecodeLoc	getLoc()
Precedence	getPrecedence()
boolean	isSimple()
boolean	isValidStatement()
Expression	outerDeepClone(CloneHelper cloneHelper)
Expression	pushDown(Expression toPush, Expression parent)
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
<T> T	visit(ExpressionVisitor<T> visitor)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.wildcard.WildcardMatch.DebugDumpable

dump

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.Expression

dump

Constructor Detail

AbstractBaseExpressionWildcard

private AbstractBaseExpressionWildcard()

Method Detail

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(java.lang.Object o,
                               EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface Expression

Specified by:

equivalentUnder in interface ComparableUnderEC

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(java.util.Map<LValue,Literal> display)

Specified by:

getComputedLiteral in interface Expression

visit

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

Specified by:

visit in interface Expression