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

Class Literal

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

LiteralHex

public class Literal
extends AbstractExpression

Field Summary

Fields

Modifier and Type	Field and Description
static Literal	DOUBLE_MINUS_ONE
static Literal	DOUBLE_ONE
static Literal	DOUBLE_ZERO
static Literal	FALSE
static Literal	FLOAT_MINUS_ONE
static Literal	FLOAT_ONE
static Literal	FLOAT_ZERO
static Literal	INT_ONE
static Literal	INT_ZERO
private static Literal	LONG_ONE
static Literal	MINUS_ONE
static Literal	NULL
static Literal	TRUE
protected TypedLiteral	value

Constructor Summary

Constructors

Constructor and Description
Literal(TypedLiteral value)

Method Summary

Modifier and Type	Method and Description
Expression	applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
Expression	applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
Expression	appropriatelyCasted(InferredJavaType expected)
boolean	canThrow(ExceptionCheck caught)
void	collectTypeUsages(TypeUsageCollector collector)
void	collectUsedLValues(LValueUsageCollector lValueUsageCollector)
Expression	deepClone(CloneHelper cloneHelper)
Dumper	dumpInner(Dumper d)
boolean	equals(java.lang.Object o)
static boolean	equalsAnyOne(Expression expression)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
BytecodeLoc	getCombinedLoc()
Literal	getComputedLiteral(java.util.Map<LValue,Literal> display)
static Expression	getLiteralOrNull(RawJavaType rawCastType, InferredJavaType inferredCastType, int intValue)
Precedence	getPrecedence()
TypedLiteral	getValue()
boolean	isSimple()
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.expression.AbstractExpression

addLoc, canPushDownInto, dump, dumpWithOuterPrecedence, getInferredJavaType, getLoc, isValidStatement, outerDeepClone, pushDown, toString

Methods inherited from class java.lang.Object

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

Field Detail

FALSE

public static final Literal FALSE

TRUE

public static final Literal TRUE

MINUS_ONE

public static final Literal MINUS_ONE

NULL

public static final Literal NULL

INT_ZERO

public static final Literal INT_ZERO

INT_ONE

public static final Literal INT_ONE

LONG_ONE

private static final Literal LONG_ONE

DOUBLE_ZERO

public static final Literal DOUBLE_ZERO

DOUBLE_ONE

public static final Literal DOUBLE_ONE

DOUBLE_MINUS_ONE

public static final Literal DOUBLE_MINUS_ONE

FLOAT_ZERO

public static final Literal FLOAT_ZERO

FLOAT_ONE

public static final Literal FLOAT_ONE

FLOAT_MINUS_ONE

public static final Literal FLOAT_MINUS_ONE

value

protected final TypedLiteral value

Constructor Detail

Literal

public Literal(TypedLiteral value)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

getLiteralOrNull

public static Expression getLiteralOrNull(RawJavaType rawCastType,
                                          InferredJavaType inferredCastType,
                                          int intValue)

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

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractExpression

isSimple

public boolean isSimple()

Specified by:

isSimple in interface Expression

Overrides:

isSimple in class AbstractExpression

deepClone

public Expression deepClone(CloneHelper cloneHelper)

replaceSingleUsageLValues

public Expression replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                            SSAIdentifiers ssaIdentifiers,
                                            StatementContainer statementContainer)

applyExpressionRewriter

public Expression applyExpressionRewriter(ExpressionRewriter expressionRewriter,
                                          SSAIdentifiers ssaIdentifiers,
                                          StatementContainer statementContainer,
                                          ExpressionRewriterFlags flags)

applyReverseExpressionRewriter

public Expression applyReverseExpressionRewriter(ExpressionRewriter expressionRewriter,
                                                 SSAIdentifiers ssaIdentifiers,
                                                 StatementContainer statementContainer,
                                                 ExpressionRewriterFlags flags)

visit

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

Specified by:

visit in interface Expression

Overrides:

visit in class AbstractExpression

collectUsedLValues

public void collectUsedLValues(LValueUsageCollector lValueUsageCollector)

appropriatelyCasted

public Expression appropriatelyCasted(InferredJavaType expected)

getValue

public TypedLiteral getValue()

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface Expression

Overrides:

canThrow in class AbstractExpression

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class AbstractExpression

equivalentUnder

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

getComputedLiteral

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

Specified by:

getComputedLiteral in interface Expression

Overrides:

getComputedLiteral in class AbstractExpression

equalsAnyOne

public static boolean equalsAnyOne(Expression expression)