# HG changeset patch
# User nastaran <nastaran.shafiei@gmail.com>
# Date 1464195618 25200
# Node ID 9dc9df84754557f3c144b0e1d459cbf29c7508e8
# Parent  820b89dd6c9784edb89e7be81d9ba2bc9122a3d0
Fixed a bug in AtomicLong native peer.

diff -r 820b89dd6c97 -r 9dc9df847545 src/peers/gov/nasa/jpf/vm/JPF_java_util_concurrent_atomic_AtomicLong.java
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_util_concurrent_atomic_AtomicLong.java	Fri Oct 16 15:55:08 2015 -0700
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_util_concurrent_atomic_AtomicLong.java	Wed May 25 10:00:18 2016 -0700
@@ -58,14 +58,14 @@
 
   @MJI
   public long getAndAdd__J__J (MJIEnv env, int objRef, long delta) {
-    long value = env.getIntField(objRef, "value");
+    long value = env.getLongField(objRef, "value");
     env.setLongField(objRef, "value", value + delta);
     return value;
   }
   
   @MJI
   public long incrementAndGet____J (MJIEnv env, int objRef) {
-    long value = env.getIntField(objRef, "value");
+    long value = env.getLongField(objRef, "value");
     value++;
     env.setLongField(objRef, "value", value);
     return value;
@@ -73,7 +73,7 @@
   
   @MJI
   public long decrementAndGet____J (MJIEnv env, int objRef) {
-    long value = env.getIntField(objRef, "value");
+    long value = env.getLongField(objRef, "value");
     value--;
     env.setLongField(objRef, "value", value);
     return value;
@@ -81,7 +81,7 @@
   
   @MJI
   public long addAndGet__J__J (MJIEnv env, int objRef, long delta) {
-    long value = env.getIntField(objRef, "value");
+    long value = env.getLongField(objRef, "value");
     value += delta;
     env.setLongField(objRef, "value", value);
     return value;