public class JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater extends AtomicFieldUpdater
Constructor and Description |
---|
JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater() |
Modifier and Type | Method and Description |
---|---|
void |
$init__Ljava_lang_Class_2Ljava_lang_String_2__V(MJIEnv env,
int objRef,
int tClsObjRef,
int fNameRef) |
boolean |
compareAndSet__Ljava_lang_Object_2JJ__Z(MJIEnv env,
int objRef,
int tRef,
long fExpect,
long fUpdate) |
long |
get__Ljava_lang_Object_2__J(MJIEnv env,
int objRef,
int tRef) |
long |
getAndAdd__Ljava_lang_Object_2J__J(MJIEnv env,
int objRef,
int tRef,
long fDelta) |
long |
getAndSet__Ljava_lang_Object_2J__J(MJIEnv env,
int objRef,
int tRef,
long fNewValue) |
void |
lazySet__Ljava_lang_Object_2J__(MJIEnv env,
int objRef,
int tRef,
long fNewValue) |
void |
set__Ljava_lang_Object_2J__(MJIEnv env,
int objRef,
int tRef,
long fNewValue) |
boolean |
weakCompareAndSet__Ljava_lang_Object_2JJ__Z(MJIEnv env,
int objRef,
int tRef,
long fExpect,
long fUpdate) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater()
public void $init__Ljava_lang_Class_2Ljava_lang_String_2__V(MJIEnv env, int objRef, int tClsObjRef, int fNameRef)
public boolean compareAndSet__Ljava_lang_Object_2JJ__Z(MJIEnv env, int objRef, int tRef, long fExpect, long fUpdate)
public boolean weakCompareAndSet__Ljava_lang_Object_2JJ__Z(MJIEnv env, int objRef, int tRef, long fExpect, long fUpdate)
public void set__Ljava_lang_Object_2J__(MJIEnv env, int objRef, int tRef, long fNewValue)
public void lazySet__Ljava_lang_Object_2J__(MJIEnv env, int objRef, int tRef, long fNewValue)
public long get__Ljava_lang_Object_2__J(MJIEnv env, int objRef, int tRef)
public long getAndSet__Ljava_lang_Object_2J__J(MJIEnv env, int objRef, int tRef, long fNewValue)
public long getAndAdd__Ljava_lang_Object_2J__J(MJIEnv env, int objRef, int tRef, long fDelta)