gov.nasa.jpf.vm

Class JPF_gov_nasa_jpf_AnnotationProxyBase

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_gov_nasa_jpf_AnnotationProxyBase

All Implemented Interfaces:

Cloneable

public class JPF_gov_nasa_jpf_AnnotationProxyBase
extends NativePeer

native peer for Annotation Proxies (saves us some bytecode interpretation shoe leather)

Constructor Summary

Constructors

Constructor and Description
JPF_gov_nasa_jpf_AnnotationProxyBase()

Method Summary

Methods

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)

Methods inherited from class gov.nasa.jpf.vm.NativePeer

getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JPF_gov_nasa_jpf_AnnotationProxyBase

public JPF_gov_nasa_jpf_AnnotationProxyBase()

Method Detail

annotationType____Ljava_lang_Class_2

public int annotationType____Ljava_lang_Class_2(MJIEnv env,
                                       int objref)

toString____Ljava_lang_String_2

public int toString____Ljava_lang_String_2(MJIEnv env,
                                  int objref)