public class JPF_java_util_concurrent_atomic_AtomicReferenceArray extends NativePeer
Constructor and Description |
---|
JPF_java_util_concurrent_atomic_AtomicReferenceArray() |
Modifier and Type | Method and Description |
---|---|
boolean |
compareAndSetNative__ILjava_lang_Object_2Ljava_lang_Object_2__Z(MJIEnv env,
int objRef,
int index,
int fExpect,
int fUpdate) |
int |
getNative__I__Ljava_lang_Object_2(MJIEnv env,
int objRef,
int index) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public JPF_java_util_concurrent_atomic_AtomicReferenceArray()
public int getNative__I__Ljava_lang_Object_2(MJIEnv env, int objRef, int index)
public boolean compareAndSetNative__ILjava_lang_Object_2Ljava_lang_Object_2__Z(MJIEnv env, int objRef, int index, int fExpect, int fUpdate)