public class JPF_java_util_concurrent_atomic_AtomicInteger extends NativePeer
Constructor and Description |
---|
JPF_java_util_concurrent_atomic_AtomicInteger() |
Modifier and Type | Method and Description |
---|---|
void |
$clinit____V(MJIEnv env,
int rcls) |
boolean |
compareAndSet__II__Z(MJIEnv env,
int objRef,
int expect,
int update) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass