gov.nasa.jpf.vm

Class JPF_java_util_concurrent_atomic_AtomicLong

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicLong

All Implemented Interfaces:

Cloneable

public class JPF_java_util_concurrent_atomic_AtomicLong
extends NativePeer

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

Constructor Summary

Constructors

Constructor and Description
JPF_java_util_concurrent_atomic_AtomicLong()

Method Summary

Methods

Modifier and Type	Method and Description
void	$clinit____V(MJIEnv env, int rcls)
boolean	compareAndSet__JJ__Z(MJIEnv env, int objRef, long expect, long 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_AtomicLong

public JPF_java_util_concurrent_atomic_AtomicLong()

Method Detail

$clinit____V

public void $clinit____V(MJIEnv env,
                int rcls)

compareAndSet__JJ__Z

public boolean compareAndSet__JJ__Z(MJIEnv env,
                           int objRef,
                           long expect,
                           long update)