Package org.benf.cfr.reader.bytecode.analysis.parse.expression

Class AbstractExpression

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.expression.AbstractExpression

All Implemented Interfaces:

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

Direct Known Subclasses:

AbstractAssignmentExpression, AbstractConstructorInvokation, AbstractFunctionInvokation, AbstractFunctionInvokationExplicit, AbstractNewArray, ArithmeticMonOperation, ArithmeticOperation, ArrayIndex, ArrayLength, BooleanExpression, BooleanOperation, CastExpression, CommentStatement.StatementExpression, ComparisonOperation, DynamicConstExpression, DynamicInvokation, InstanceOfExpression, InstanceOfExpressionDefining, LambdaExpression, LambdaExpressionFallback, LambdaExpressionNewArray, Literal, LValueExpression, MethodHandlePlaceholder, NewObject, NotOperation, StackValue, StructuredStatementExpression, SwitchExpression, TernaryExpression

public abstract class AbstractExpression
extends Object
implements Expression

Field Summary

Fields

Modifier and Type	Field	Description
private final InferredJavaType	inferredJavaType
private BytecodeLoc	loc

Constructor Summary

Constructors

Constructor	Description
AbstractExpression(BytecodeLoc loc, InferredJavaType inferredJavaType)

Method Summary

Modifier and Type	Method	Description
void	addLoc(HasByteCodeLoc loc)
boolean	canPushDownInto()
boolean	canThrow(ExceptionCheck caught)
void	collectTypeUsages(TypeUsageCollector collector)
final Dumper	dump(Dumper d)
abstract Dumper	dumpInner(Dumper d)
final Dumper	dumpWithOuterPrecedence(Dumper d, Precedence outerP, Troolean isLhs)
abstract boolean	equals(Object o)
Literal	getComputedLiteral(Map<LValue,Literal> display)
InferredJavaType	getInferredJavaType()
BytecodeLoc	getLoc()
abstract Precedence	getPrecedence()
boolean	isSimple()
boolean	isValidStatement()
Expression	outerDeepClone(CloneHelper cloneHelper)
Expression	pushDown(Expression toPush, Expression parent)
final String	toString()
<T> T	visit(ExpressionVisitor<T> visitor)

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

deepClone

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

applyExpressionRewriter, applyReverseExpressionRewriter, collectUsedLValues, equivalentUnder, replaceSingleUsageLValues

Methods inherited from interface org.benf.cfr.reader.bytecode.analysis.loc.HasByteCodeLoc

getCombinedLoc

Field Details

loc

private BytecodeLoc loc

inferredJavaType

private final InferredJavaType inferredJavaType

Constructor Details

AbstractExpression

public AbstractExpression(BytecodeLoc loc,
 InferredJavaType inferredJavaType)

Method Details

addLoc

public void addLoc(HasByteCodeLoc loc)

Specified by:

addLoc in interface HasByteCodeLoc

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

getLoc

public BytecodeLoc getLoc()

Specified by:

getLoc in interface HasByteCodeLoc

canPushDownInto

public boolean canPushDownInto()

Specified by:

canPushDownInto in interface Expression

isSimple

public boolean isSimple()

Specified by:

isSimple 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

outerDeepClone

public Expression outerDeepClone(CloneHelper cloneHelper)

Specified by:

outerDeepClone in interface DeepCloneable<Expression>

toString

public final String toString()

Overrides:

toString in class Object

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface Expression

equals

public abstract boolean equals(Object o)

Overrides:

equals in class Object

getComputedLiteral

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

Specified by:

getComputedLiteral in interface Expression

isValidStatement

public boolean isValidStatement()

Specified by:

isValidStatement in interface Expression

dump

public final Dumper dump(Dumper d)

Specified by:

dump in interface Dumpable

Specified by:

dump in interface Expression

getPrecedence

public abstract Precedence getPrecedence()

Specified by:

getPrecedence in interface DumpableWithPrecedence

dumpInner

public abstract Dumper dumpInner(Dumper d)

visit

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

Specified by:

visit in interface Expression

dumpWithOuterPrecedence

public final Dumper dumpWithOuterPrecedence(Dumper d,
 Precedence outerP,
 Troolean isLhs)

Specified by:

dumpWithOuterPrecedence in interface DumpableWithPrecedence