public class JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater extends AtomicFieldUpdater
Constructor and Description |
---|
JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater() |
Modifier and Type | Method and Description |
---|---|
void |
$init__Ljava_lang_Class_2Ljava_lang_Class_2Ljava_lang_String_2__V(MJIEnv env,
int objRef,
int tClsObjRef,
int fClsObjRef,
int fNameRef) |
boolean |
compareAndSet__Ljava_lang_Object_2Ljava_lang_Object_2Ljava_lang_Object_2__Z(MJIEnv env,
int objRef,
int tRef,
int fExpect,
int fUpdate) |
int |
get__Ljava_lang_Object_2__Ljava_lang_Object_2(MJIEnv env,
int objRef,
int tRef) |
int |
getAndSet__Ljava_lang_Object_2Ljava_lang_Object_2__Ljava_lang_Object_2(MJIEnv env,
int objRef,
int tRef,
int fNewValue) |
void |
lazySet__Ljava_lang_Object_2Ljava_lang_Object_2__(MJIEnv env,
int objRef,
int tRef,
int fNewValue) |
void |
set__Ljava_lang_Object_2Ljava_lang_Object_2__(MJIEnv env,
int objRef,
int tRef,
int fNewValue) |
boolean |
weakCompareAndSet__Ljava_lang_Object_2Ljava_lang_Object_2Ljava_lang_Object_2__Z(MJIEnv env,
int objRef,
int tRef,
int fExpect,
int fUpdate) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater()
public void $init__Ljava_lang_Class_2Ljava_lang_Class_2Ljava_lang_String_2__V(MJIEnv env, int objRef, int tClsObjRef, int fClsObjRef, int fNameRef)
public boolean compareAndSet__Ljava_lang_Object_2Ljava_lang_Object_2Ljava_lang_Object_2__Z(MJIEnv env, int objRef, int tRef, int fExpect, int fUpdate)
public boolean weakCompareAndSet__Ljava_lang_Object_2Ljava_lang_Object_2Ljava_lang_Object_2__Z(MJIEnv env, int objRef, int tRef, int fExpect, int fUpdate)
public void set__Ljava_lang_Object_2Ljava_lang_Object_2__(MJIEnv env, int objRef, int tRef, int fNewValue)
public void lazySet__Ljava_lang_Object_2Ljava_lang_Object_2__(MJIEnv env, int objRef, int tRef, int fNewValue)
public int get__Ljava_lang_Object_2__Ljava_lang_Object_2(MJIEnv env, int objRef, int tRef)
public int getAndSet__Ljava_lang_Object_2Ljava_lang_Object_2__Ljava_lang_Object_2(MJIEnv env, int objRef, int tRef, int fNewValue)