|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavafe.tc.Types
escjava.tc.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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static PrimitiveType anyType
public static PrimitiveType typecodeType
public static PrimitiveType locksetType
public static PrimitiveType objectsetType
public static PrimitiveType rangeType
public static PrimitiveType bigintType
public static PrimitiveType realType
Constructor Detail |
public Types()
Method Detail |
public static void init()
protected TypeSig makeTypeSigInstance(java.lang.String simpleName, Env enclosingEnv, TypeDecl decl)
makeTypeSigInstance
in class Types
protected TypeSig makeTypeSigInstance(java.lang.String[] packageName, java.lang.String simpleName, TypeSig enclosingType, TypeDecl decl, CompilationUnit cu)
makeTypeSigInstance
in class Types
public static boolean isTypeType(Type t)
public boolean isSameTypeInstance(Type t, Type tt)
isSameTypeInstance
in class Types
public boolean isCastableInstance(Type t, Type tt)
isCastableInstance
in class Types
public boolean isIntegralTypeInstance(Type t)
isIntegralTypeInstance
in class Types
public boolean isNumericTypeInstance(Type t)
isNumericTypeInstance
in class Types
public boolean isFloatingPointTypeInstance(Type t)
isFloatingPointTypeInstance
in class Types
protected boolean isWideningPrimitiveConvertableInstance(Type x, Type y)
isWideningPrimitiveConvertableInstance
in class Types
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |