| java.lang.Object de.uka.ilkd.key.java.ConstantExpressionEvaluator
ConstantExpressionEvaluator | public class ConstantExpressionEvaluator (Code) | | |
BOOLEAN_TYPEBYTE_TYPESHORT_TYPECHAR_TYPEINT_TYPELONG_TYPEFLOAT_TYPEDOUBLE_TYPESTRING_TYPE | final static int BOOLEAN_TYPEBYTE_TYPESHORT_TYPECHAR_TYPEINT_TYPELONG_TYPEFLOAT_TYPEDOUBLE_TYPESTRING_TYPE(Code) | | |
ConstantExpressionEvaluator | ConstantExpressionEvaluator(Services s)(Code) | | |
isCompileTimeConstant | public boolean isCompileTimeConstant(Expression expr)(Code) | | |
isCompileTimeConstant | public boolean isCompileTimeConstant(Expression expr, ConstantEvaluator.EvaluationResult result)(Code) | | |
|
|