public class ConstantExpressionEvaluator
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
KeYJavaType |
getCompileTimeConstantType(Expression expr) |
Services |
getServices() |
boolean |
isCompileTimeConstant(Expression expr) |
boolean |
isCompileTimeConstant(Expression expr,
ConstantEvaluator.EvaluationResult result) |
public Services getServices()
public boolean isCompileTimeConstant(Expression expr)
public boolean isCompileTimeConstant(Expression expr, ConstantEvaluator.EvaluationResult result)
public KeYJavaType getCompileTimeConstantType(Expression expr)
Copyright © 2003-2019 The KeY-Project.