| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_Throwable
JPF_java_lang_Throwable | public class JPF_java_lang_Throwable (Code) | | MJI NativePeer class for java.lang.Throwable library abstraction
|
fillInStackTrace | public static int fillInStackTrace(MJIEnv env, int objref)(Code) | | |
getStackTrace | public static int getStackTrace(MJIEnv env, int objref)(Code) | | return array of StackTraceElement elements with the current threads callstack
|
printStackTrace | public static void printStackTrace(MJIEnv env, int objRef)(Code) | | |
|
|