public class JPF_java_util_concurrent_atomic_AtomicLongArray extends NativePeer
Constructor and Description |
---|
JPF_java_util_concurrent_atomic_AtomicLongArray() |
Modifier and Type | Method and Description |
---|---|
boolean |
compareAndSetNative__IJJ__Z(MJIEnv env,
int objRef,
int index,
long expect,
long update) |
long |
getNative__I__J(MJIEnv env,
int objRef,
int index) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass