gov.nasa.jpf.vm

Class JPF_java_util_concurrent_atomic_AtomicIntegerArray

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicIntegerArray

All Implemented Interfaces:

Cloneable

public class JPF_java_util_concurrent_atomic_AtomicIntegerArray
extends NativePeer

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

Constructor Summary

Constructors

Constructor and Description
JPF_java_util_concurrent_atomic_AtomicIntegerArray()

Method Summary

Methods

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)

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_AtomicIntegerArray

public JPF_java_util_concurrent_atomic_AtomicIntegerArray()

Method Detail

getNative__I__I

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

compareAndSetNative__III__Z

public boolean compareAndSetNative__III__Z(MJIEnv env,
                                  int objRef,
                                  int index,
                                  int expect,
                                  int update)