ua.gradsoft.javachecker.models
Class JavaExpressionHelper

java.lang.Object
  ua.gradsoft.javachecker.models.JavaExpressionHelper

public class JavaExpressionHelper
extends java.lang.Object

Helper class for Java Expressions

Author:

Ruslan Shevchenko

Field Summary

static int	ALLOCATION_EXPRESSION_ARRAY_DIMS_AND_INITS_INDEX
static int	ALLOCATION_EXPRESSION_TYPE_INDEX

Method Summary

static JavaTypeModel	getFloatingPointLiteralType(java.lang.String s)
static JavaTypeModel	getIntegerLiteralType(java.lang.String s)
static java.util.List<JavaTypeModel>	resolveArgumentTypes(Term arguments, JavaPlaceContext context)
static JavaTypeModel	resolveBinaryNumericPromotion(JavaTypeModel t1, JavaTypeModel t2)
static JavaTypeModel	resolveExpressionType(Term expr, JavaPlaceContext context) return type of expression (
static JavaTypeModel	resolveFieldInName(JavaVariableModel v, Term l)
static JavaTypeModel	resolveSubclassesAndStaticFieldsInName(JavaTypeModel tm, Term l)

Methods inherited from class java.lang.Object

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

Field Detail

ALLOCATION_EXPRESSION_TYPE_INDEX

public static final int ALLOCATION_EXPRESSION_TYPE_INDEX

See Also:

Constant Field Values

ALLOCATION_EXPRESSION_ARRAY_DIMS_AND_INITS_INDEX

public static final int ALLOCATION_EXPRESSION_ARRAY_DIMS_AND_INITS_INDEX

See Also:

Constant Field Values

Method Detail

resolveExpressionType

public static JavaTypeModel resolveExpressionType(Term expr,
                                                  JavaPlaceContext context)
                                           throws EntityNotFoundException,
                                                  TermWareException

return type of expression (

Throws:

EntityNotFoundException

TermWareException

getIntegerLiteralType

public static JavaTypeModel getIntegerLiteralType(java.lang.String s)

getFloatingPointLiteralType

public static JavaTypeModel getFloatingPointLiteralType(java.lang.String s)

resolveBinaryNumericPromotion

public static JavaTypeModel resolveBinaryNumericPromotion(JavaTypeModel t1,
                                                          JavaTypeModel t2)

resolveFieldInName

public static JavaTypeModel resolveFieldInName(JavaVariableModel v,
                                               Term l)
                                        throws EntityNotFoundException,
                                               TermWareException

Throws:

EntityNotFoundException

TermWareException

resolveSubclassesAndStaticFieldsInName

public static JavaTypeModel resolveSubclassesAndStaticFieldsInName(JavaTypeModel tm,
                                                                   Term l)
                                                            throws EntityNotFoundException,
                                                                   TermWareException

Throws:

EntityNotFoundException

TermWareException

resolveArgumentTypes

public static java.util.List<JavaTypeModel> resolveArgumentTypes(Term arguments,
                                                                 JavaPlaceContext context)
                                                          throws EntityNotFoundException,
                                                                 TermWareException

Throws:

EntityNotFoundException

TermWareException