public class LiteralRewriter extends AbstractExpressionRewriter
Constructor and Description |
---|
LiteralRewriter(JavaTypeInstance testType) |
Modifier and Type | Method and Description |
---|---|
private static Expression |
maybeGetPiExpression(double value) |
private static Expression |
maybeGetPiExpression(float value) |
private Expression |
rewriteDouble(Literal literal,
double value) |
Expression |
rewriteExpression(Expression expression,
SSAIdentifiers ssaIdentifiers,
StatementContainer statementContainer,
ExpressionRewriterFlags flags) |
private Expression |
rewriteFloat(Literal literal,
float value) |
private Expression |
rewriteInteger(Literal literal,
int value) |
private Expression |
rewriteLong(Literal literal,
long value) |
handleStatement, rewriteExpression, rewriteExpression, rewriteExpression
public static final LiteralRewriter INSTANCE
private final JavaTypeInstance testType
private static final InferredJavaType INFERRED_INT
private static final StaticVariable I_MAX_VALUE
private static final StaticVariable I_MIN_VALUE
private static final InferredJavaType INFERRED_SHORT
private static final StaticVariable S_MAX_VALUE
private static final StaticVariable S_MIN_VALUE
private static final InferredJavaType INFERRED_LONG
private static final StaticVariable J_MAX_VALUE
private static final StaticVariable J_MIN_VALUE
private static final InferredJavaType INFERRED_FLOAT
private static final StaticVariable F_MAX_VALUE
private static final StaticVariable F_MIN_VALUE
private static final StaticVariable F_MIN_NORMAL
private static final StaticVariable F_NAN
private static final StaticVariable F_NEGATIVE_INFINITY
private static final StaticVariable F_POSITIVE_INFINITY
private static final InferredJavaType INFERRED_DOUBLE
private static final StaticVariable D_MAX_VALUE
private static final StaticVariable D_MIN_VALUE
private static final StaticVariable D_MIN_NORMAL
private static final StaticVariable D_NAN
private static final StaticVariable D_NEGATIVE_INFINITY
private static final StaticVariable D_POSITIVE_INFINITY
private static final StaticVariable MATH_PI
private static final StaticVariable MATH_E
private static final java.util.Map<java.lang.Double,NonaryFunction<Expression>> PI_DOUBLES
private static final java.util.Map<java.lang.Float,NonaryFunction<Expression>> PI_FLOATS
public LiteralRewriter(JavaTypeInstance testType)
public Expression rewriteExpression(Expression expression, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
rewriteExpression
in interface ExpressionRewriter
rewriteExpression
in class AbstractExpressionRewriter
private Expression rewriteInteger(Literal literal, int value)
private Expression rewriteLong(Literal literal, long value)
private Expression rewriteFloat(Literal literal, float value)
private Expression rewriteDouble(Literal literal, double value)
private static Expression maybeGetPiExpression(float value)
private static Expression maybeGetPiExpression(double value)