gov.nasa.jpf.vm

Class JPF_java_util_concurrent_atomic_AtomicInteger

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicInteger

All Implemented Interfaces:

Cloneable

public class JPF_java_util_concurrent_atomic_AtomicInteger
extends NativePeer

native peer for java.util.concurrent.atomic.AtomicInteger this implementation just cuts off native methods

Constructor Summary

Constructors

Constructor and Description
JPF_java_util_concurrent_atomic_AtomicInteger()

Method Summary

Methods

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)

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_AtomicInteger

public JPF_java_util_concurrent_atomic_AtomicInteger()

Method Detail

$clinit____V

public void $clinit____V(MJIEnv env,
                int rcls)

compareAndSet__II__Z

public boolean compareAndSet__II__Z(MJIEnv env,
                           int objRef,
                           int expect,
                           int update)