gov.nasa.jpf.vm

Class JPF_java_util_concurrent_atomic_AtomicReferenceArray

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicReferenceArray

All Implemented Interfaces:

Cloneable

public class JPF_java_util_concurrent_atomic_AtomicReferenceArray
extends NativePeer

native peer for java.util.concurrent.atomic.AtomicReferenceArray

Constructor Summary

Constructors

Constructor and Description
JPF_java_util_concurrent_atomic_AtomicReferenceArray()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	compareAndSetNative__ILjava_lang_Object_2Ljava_lang_Object_2__Z(MJIEnv env, int objRef, int index, int fExpect, int fUpdate)
int	getNative__I__Ljava_lang_Object_2(MJIEnv env, int objRef, int index)

Methods inherited from class gov.nasa.jpf.vm.NativePeer

getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JPF_java_util_concurrent_atomic_AtomicReferenceArray

public JPF_java_util_concurrent_atomic_AtomicReferenceArray()

Method Detail

getNative__I__Ljava_lang_Object_2

public int getNative__I__Ljava_lang_Object_2(MJIEnv env,
                                    int objRef,
                                    int index)

compareAndSetNative__ILjava_lang_Object_2Ljava_lang_Object_2__Z

public boolean compareAndSetNative__ILjava_lang_Object_2Ljava_lang_Object_2__Z(MJIEnv env,
                                                                      int objRef,
                                                                      int index,
                                                                      int fExpect,
                                                                      int fUpdate)