| java.lang.Object gov.nasa.jpf.jvm.Types
Types | public class Types implements Constants(Code) | | various type mangling/demangling routines
|
booleanToInt | public static int booleanToInt(boolean b)(Code) | | |
doubleToLong | public static long doubleToLong(double d)(Code) | | |
floatToInt | public static int floatToInt(float f)(Code) | | |
getArgumentTypes | public static byte[] getArgumentTypes(String signature)(Code) | | |
getArgumentsSize | public static int getArgumentsSize(String signature)(Code) | | get size in stack slots (ints), excluding this
|
getBaseType | public static byte getBaseType(String type)(Code) | | |
getJNIArgSignature | public static String getJNIArgSignature(String mangledName)(Code) | | get the argument type part of the signature out of a
JNI mangled method name.
Note this is not the complete signature, since we don't have a
return type (which is superfluous since it's not overloading,
but unfortunately part of the signature in the class file)
|
getJNIMethodName | public static String getJNIMethodName(String mangledName)(Code) | | return the name part of a JNI mangled method name (which is of
course not completely safe - you should only use it if you know
this is a JNI name)
|
getNumberOfArguments | public static int getNumberOfArguments(String signature)(Code) | | |
getReturnType | public static byte getReturnType(String signature)(Code) | | |
getTypeSizeInBytes | public static int getTypeSizeInBytes(String type)(Code) | | what would be the info size in bytes, not words
(we ignore 64bit machines for now)
|
hiDouble | public static int hiDouble(double d)(Code) | | |
hiLong | public static int hiLong(long l)(Code) | | |
intToBoolean | public static boolean intToBoolean(int i)(Code) | | |
intToFloat | public static float intToFloat(int i)(Code) | | |
intsToDouble | public static double intsToDouble(int l, int h)(Code) | | |
intsToLong | public static long intsToLong(int l, int h)(Code) | | |
isReference | public static boolean isReference(String type)(Code) | | |
loDouble | public static int loDouble(double d)(Code) | | |
loLong | public static int loLong(long l)(Code) | | |
longToDouble | public static double longToDouble(long l)(Code) | | |
|
|