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

Class CastExpression

java.lang.Object

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

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

All Implemented Interfaces:

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

public class CastExpression
extends AbstractExpression
implements BoxingProcessor

Field Summary

Fields

Modifier and Type	Field and Description
private Expression	child
private boolean	forced

Constructor Summary

Constructors

Constructor and Description
CastExpression(BytecodeLoc loc, InferredJavaType knownType, Expression child)
CastExpression(BytecodeLoc loc, InferredJavaType knownType, Expression child, boolean forced)

Method Summary

Modifier and Type	Method and Description
Expression	applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
Expression	applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	collectTypeUsages(TypeUsageCollector collector)
void	collectUsedLValues(LValueUsageCollector lValueUsageCollector)
boolean	couldBeImplicit(GenericTypeBinder gtb)
private boolean	couldBeImplicit(JavaTypeInstance tgtType, GenericTypeBinder gtb)
Expression	deepClone(CloneHelper cloneHelper)
Dumper	dumpInner(Dumper d)
boolean	equals(java.lang.Object o)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
Expression	getChild()
BytecodeLoc	getCombinedLoc()
Literal	getComputedLiteral(java.util.Map<LValue,Literal> display)
Precedence	getPrecedence()
boolean	isForced()
static Expression	removeImplicit(Expression e)
static Expression	removeImplicitOuterType(Expression e, GenericTypeBinder gtb, boolean rawArg)
Expression	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)
boolean	rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)
static Expression	tryRemoveCast(Expression e)

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

Field Detail

child

private Expression child

forced

private boolean forced

Constructor Detail

CastExpression

public CastExpression(BytecodeLoc loc,
                      InferredJavaType knownType,
                      Expression child)

CastExpression

public CastExpression(BytecodeLoc loc,
                      InferredJavaType knownType,
                      Expression child,
                      boolean forced)

Method Detail

isForced

public boolean isForced()

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

deepClone

public Expression deepClone(CloneHelper cloneHelper)

Specified by:

deepClone in interface DeepCloneable<Expression>

getComputedLiteral

public Literal getComputedLiteral(java.util.Map<LValue,Literal> display)

Specified by:

getComputedLiteral in interface Expression

Overrides:

getComputedLiteral in class AbstractExpression

couldBeImplicit

public boolean couldBeImplicit(GenericTypeBinder gtb)

couldBeImplicit

private boolean couldBeImplicit(JavaTypeInstance tgtType,
                                GenericTypeBinder gtb)

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractExpression

getPrecedence

public Precedence getPrecedence()

Specified by:

getPrecedence in interface DumpableWithPrecedence

Specified by:

getPrecedence in class AbstractExpression

dumpInner

public Dumper dumpInner(Dumper d)

Specified by:

dumpInner in class AbstractExpression

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

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

Specified by:

collectUsedLValues in interface Expression

getChild

public Expression getChild()

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class AbstractExpression

rewriteBoxing

public boolean rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)

Specified by:

rewriteBoxing in interface BoxingProcessor

applyNonArgExpressionRewriter

public void applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter,
                                          SSAIdentifiers ssaIdentifiers,
                                          StatementContainer statementContainer,
                                          ExpressionRewriterFlags flags)

Specified by:

applyNonArgExpressionRewriter in interface BoxingProcessor

equivalentUnder

public boolean equivalentUnder(java.lang.Object o,
                               EquivalenceConstraint constraint)

Specified by:

equivalentUnder in interface Expression

Specified by:

equivalentUnder in interface ComparableUnderEC

removeImplicit

public static Expression removeImplicit(Expression e)

removeImplicitOuterType

public static Expression removeImplicitOuterType(Expression e,
                                                 GenericTypeBinder gtb,
                                                 boolean rawArg)

tryRemoveCast

public static Expression tryRemoveCast(Expression e)