public class JPF_gov_nasa_jpf_AnnotationProxyBase extends NativePeer
Constructor and Description |
---|
JPF_gov_nasa_jpf_AnnotationProxyBase() |
Modifier and Type | Method and Description |
---|---|
int |
annotationType____Ljava_lang_Class_2(MJIEnv env,
int objref) |
int |
toString____Ljava_lang_String_2(MJIEnv env,
int objref) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass