Class WildcardMatch.ExpressionWildcard

java.lang.Object

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

All Implemented Interfaces:

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

Enclosing class:

WildcardMatch

public static class WildcardMatch.ExpressionWildcard
extends Object
implements Wildcard<Expression>

Constructor Summary

Constructors

Constructor	Description
ExpressionWildcard()

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)
InferredJavaType	getInferredJavaType()
BytecodeLoc	getLoc()
Expression	getMatch()
Precedence	getPrecedence()
boolean	isSimple()
boolean	isValidStatement()
Expression	outerDeepClone(CloneHelper cloneHelper)
Expression	pushDown(Expression toPush, Expression parent)
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
void	resetMatch()
<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 Expression

dump

Constructor Details

ExpressionWildcard

public ExpressionWildcard()

Method Details

equals

public boolean equals(Object o)

Overrides:

equals in class Object

getMatch

public Expression getMatch()

Specified by:

getMatch in interface Wildcard<Expression>

resetMatch

public void resetMatch()

Specified by:

resetMatch in interface Wildcard<Expression>

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