2 * Copyright (C) 2014, United States Government, as represented by the
3 * Administrator of the National Aeronautics and Space Administration.
6 * The Java Pathfinder core (jpf-core) platform is licensed under the
7 * Apache License, Version 2.0 (the "License"); you may not use this file except
8 * in compliance with the License. You may obtain a copy of the License at
10 * http://www.apache.org/licenses/LICENSE-2.0.
12 * Unless required by applicable law or agreed to in writing, software
13 * distributed under the License is distributed on an "AS IS" BASIS,
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 * See the License for the specific language governing permissions and
16 * limitations under the License.
19 package java.util.concurrent.atomic;
22 * model class for the AtomicLongFieldUpdater
23 * in reality it's an abstract class, but this here is merely a stub anyways
25 public class AtomicLongFieldUpdater<T> {
29 public static <O> AtomicLongFieldUpdater<O> newUpdater (Class<O> objClass, String fieldName) {
30 return new AtomicLongFieldUpdater<O>(objClass, fieldName);
33 protected AtomicLongFieldUpdater(Class<T> objClass, String fieldName){
34 // direct Object subclass, so we can directly intercept the ctor
35 // w/o having to call a parent ctor
38 public native boolean compareAndSet(T obj, long expect, long update);
39 public native long get(T obj);
40 public native long getAndAdd(T obj, long delta);
41 public native long getAndSet(T obj, long newValue);
42 public native void lazySet(T obj, long newValue);
43 public native void set(T obj, long newValue);
44 public native boolean weakCompareAndSet(T obj, long expect, long update);
46 public long addAndGet(T obj, long delta) {return(getAndAdd(obj, delta) + delta);}
47 public long decrementAndGet(T obj) {return(addAndGet(obj, -1));}
48 public long getAndDecrement(T obj) {return(getAndAdd(obj, -1));}
49 public long getAndIncrement(T obj) {return(getAndAdd(obj, 1));}
50 public long incrementAndGet(T obj) {return(addAndGet(obj, 1));}