escjava.tc
Class Types

java.lang.Object
  javafe.tc.Types
      escjava.tc.Types

public class Types

extends Types

Field Summary

static PrimitiveType	anyType
static PrimitiveType	bigintType
static PrimitiveType	locksetType
static PrimitiveType	objectsetType
static PrimitiveType	rangeType
static PrimitiveType	realType
static PrimitiveType	typecodeType

Fields inherited from class javafe.tc.Types

booleanType, byteType, charType, doubleType, errorType, floatType, inst, intType, lengthFieldDecl, lenId, longType, nullType, shortType, voidType

Constructor Summary

Types()

Method Summary

static void	init()
boolean	isCastableInstance(Type t, Type tt)
boolean	isFloatingPointTypeInstance(Type t)
boolean	isIntegralTypeInstance(Type t)
boolean	isNumericTypeInstance(Type t)
boolean	isSameTypeInstance(Type t, Type tt)
static boolean	isTypeType(Type t)
protected boolean	isWideningPrimitiveConvertableInstance(Type x, Type y)
protected TypeSig	makeTypeSigInstance(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit cu)
protected TypeSig	makeTypeSigInstance(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)

Methods inherited from class javafe.tc.Types

baseType, binaryNumericPromotion, getFormalParaTypes, getJavaLang, isAnyPrimitiveConvertable, isBooleanType, isByteType, isCastable, isCharType, isDoubleType, isErrorType, isFloatingPointType, isFloatType, isIntegralType, isIntType, isInvocationConvertable, isInvocationConvertableInstance, isLongType, isNumericType, isReferenceOrNullType, isReferenceType, isSameFormalParaDeclVec, isSameMethodSig, isSameType, isShortType, isSubclassOf, isSubClassOrEq, isVoidType, isWideningPrimitiveConvertable, isWideningReferenceConvertable, isWideningReferenceConvertableInstance, javaLangClass, javaLangCloneable, javaLangError, javaLangException, javaLangObject, javaLangPackage, javaLangRuntimeException, javaLangString, javaLangSystem, javaLangThrowable, lookupField, lookupFieldInstance, lookupMethod, lookupMethodInstance, makeTypeSig, makeTypeSig, printName, printName, printNameInstance, remakeTypes, routineMoreSpecific, toClassTypeSig, unaryPromote, zeroEquivalent

Methods inherited from class java.lang.Object

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

Field Detail

anyType

public static final PrimitiveType anyType

typecodeType

public static final PrimitiveType typecodeType

locksetType

public static final PrimitiveType locksetType

objectsetType

public static final PrimitiveType objectsetType

rangeType

public static final PrimitiveType rangeType

bigintType

public static final PrimitiveType bigintType

realType

public static final PrimitiveType realType

Constructor Detail

Types

public Types()

Method Detail

init

public static void init()

makeTypeSigInstance

protected TypeSig makeTypeSigInstance(java.lang.String simpleName,
                                      Env enclosingEnv,
                                      TypeDecl decl)

Overrides:

makeTypeSigInstance in class Types

makeTypeSigInstance

protected TypeSig makeTypeSigInstance(java.lang.String[] packageName,
                                      java.lang.String simpleName,
                                      TypeSig enclosingType,
                                      TypeDecl decl,
                                      CompilationUnit cu)

Overrides:

makeTypeSigInstance in class Types

isTypeType

public static boolean isTypeType(Type t)

isSameTypeInstance

public boolean isSameTypeInstance(Type t,
                                  Type tt)

Overrides:

isSameTypeInstance in class Types

isCastableInstance

public boolean isCastableInstance(Type t,
                                  Type tt)

Overrides:

isCastableInstance in class Types

isIntegralTypeInstance

public boolean isIntegralTypeInstance(Type t)

Overrides:

isIntegralTypeInstance in class Types

isNumericTypeInstance

public boolean isNumericTypeInstance(Type t)

Overrides:

isNumericTypeInstance in class Types

isFloatingPointTypeInstance

public boolean isFloatingPointTypeInstance(Type t)

Overrides:

isFloatingPointTypeInstance in class Types

isWideningPrimitiveConvertableInstance

protected boolean isWideningPrimitiveConvertableInstance(Type x,
                                                         Type y)

Overrides:

isWideningPrimitiveConvertableInstance in class Types