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