abc.soot.util
Class Restructure.JavaTypeInfo
java.lang.Object
abc.soot.util.Restructure.JavaTypeInfo
- Enclosing class:
- Restructure
public static class Restructure.JavaTypeInfo
- extends java.lang.Object
This class helps implement boxing.
It assigns integer IDs to the simple Java types and
one ID to all the reference types.
It contains methods to retrieve the boxing classes of simple types
and their value methods (intVal() etc.)
- Author:
- Sascha Kuzins
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
booleanType
public static final int booleanType
- See Also:
- Constant Field Values
byteType
public static final int byteType
- See Also:
- Constant Field Values
shortType
public static final int shortType
- See Also:
- Constant Field Values
charType
public static final int charType
- See Also:
- Constant Field Values
intType
public static final int intType
- See Also:
- Constant Field Values
longType
public static final int longType
- See Also:
- Constant Field Values
floatType
public static final int floatType
- See Also:
- Constant Field Values
doubleType
public static final int doubleType
- See Also:
- Constant Field Values
refType
public static final int refType
- See Also:
- Constant Field Values
typeCount
public static final int typeCount
- See Also:
- Constant Field Values
Restructure.JavaTypeInfo
public Restructure.JavaTypeInfo()
getSimpleTypeConversionInfo
public static char getSimpleTypeConversionInfo(Type from,
Type to)
isSimpleType
public static boolean isSimpleType(Type t)
isSimpleWideningConversion
public static boolean isSimpleWideningConversion(Type from,
Type to)
haveCollidingMethod
public static boolean haveCollidingMethod(SootClass cl,
SootClass cl2)
implementsInterfaceRecursive
public static boolean implementsInterfaceRecursive(SootClass cl,
java.lang.String interfaceName)
isForbiddenConversion
public static boolean isForbiddenConversion(Type from,
Type to)
isForbiddenSimpleConversion
public static boolean isForbiddenSimpleConversion(Type from,
Type to)
sootTypeToInt
public static int sootTypeToInt(Type type)
getDefaultValue
public static Value getDefaultValue(Type type)
getBoxingClass
public static SootClass getBoxingClass(Type type)
getBoxingClassMethodName
public static java.lang.String getBoxingClassMethodName(Type type)
getSimpleTypeBoxingClassMethodName
public static java.lang.String getSimpleTypeBoxingClassMethodName(Type type)
getBoxingClassPrimType
public static Type getBoxingClassPrimType(SootClass boxingClass)
- Given the boxing class, what was the primitive type?
- Parameters:
boxingClass
- the boxing class (eg Integer)
- Returns:
- the primitive type (eg int)
isBoxingType
public static boolean isBoxingType(Type type)