public class ConstantExpressionEvaluator
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static int |
BOOLEAN_TYPE |
(package private) static int |
BYTE_TYPE |
(package private) static int |
CHAR_TYPE |
(package private) static int |
DOUBLE_TYPE |
(package private) static int |
FLOAT_TYPE |
(package private) static int |
INT_TYPE |
(package private) static int |
LONG_TYPE |
private ConstantEvaluator |
recCe |
private Services |
services |
(package private) static int |
SHORT_TYPE |
(package private) static int |
STRING_TYPE |
Constructor and Description |
---|
ConstantExpressionEvaluator(Services s) |
Modifier and Type | Method and Description |
---|---|
KeYJavaType |
getCompileTimeConstantType(Expression expr) |
private ConstantEvaluator |
getRecoderConstantEvaluator() |
Services |
getServices() |
boolean |
isCompileTimeConstant(Expression expr) |
boolean |
isCompileTimeConstant(Expression expr,
ConstantEvaluator.EvaluationResult result) |
private Expression |
parseExpression(Expression expr) |
private Services services
private ConstantEvaluator recCe
static final int BOOLEAN_TYPE
static final int BYTE_TYPE
static final int SHORT_TYPE
static final int CHAR_TYPE
static final int INT_TYPE
static final int LONG_TYPE
static final int FLOAT_TYPE
static final int DOUBLE_TYPE
static final int STRING_TYPE
ConstantExpressionEvaluator(Services s)
public Services getServices()
public boolean isCompileTimeConstant(Expression expr)
public boolean isCompileTimeConstant(Expression expr, ConstantEvaluator.EvaluationResult result)
public KeYJavaType getCompileTimeConstantType(Expression expr)
private ConstantEvaluator getRecoderConstantEvaluator()
private Expression parseExpression(Expression expr)