src/classes/java/util/concurrent/atomic/AtomicIntegerFieldUpdater.java

   1 /*
   2  * Copyright (C) 2014, United States Government, as represented by the
   3  * Administrator of the National Aeronautics and Space Administration.
   4  * All rights reserved.
   5  *
   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
   9  *
  10  *        http://www.apache.org/licenses/LICENSE-2.0.
  11  *
  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.
  17  */
  18
  19 package java.util.concurrent.atomic;
  20
  21 /**
  22  * model class for the AtomicIntegerFieldUpdater
  23  * in reality it's an abstract class, but this here is merely a stub anyways
  24  */
  25 public class AtomicIntegerFieldUpdater<T> {
  26
  27   int fieldId;
  28
  29   public static <O> AtomicIntegerFieldUpdater<O> newUpdater (Class<O> objClass, String fieldName) {
  30     return new AtomicIntegerFieldUpdater<O>(objClass, fieldName);
  31   }
  32
  33   protected AtomicIntegerFieldUpdater(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
  36   }
  37
  38   public native boolean compareAndSet(T obj, int expect, int update);
  39   public native int     get(T obj);
  40   public native int     getAndAdd(T obj, int delta);
  41   public native int     getAndSet(T obj, int newValue);
  42   public native void    lazySet(T obj, int newValue);
  43   public native void    set(T obj, int newValue);
  44   public native boolean weakCompareAndSet(T obj, int expect, int update);
  45
  46   public        int     addAndGet(T obj, int delta)  {return(getAndAdd(obj, delta) + delta);}
  47   public        int     decrementAndGet(T obj)       {return(addAndGet(obj, -1));}
  48   public        int     getAndDecrement(T obj)       {return(getAndAdd(obj, -1));}
  49   public        int     getAndIncrement(T obj)       {return(getAndAdd(obj, 1));}
  50   public        int     incrementAndGet(T obj)       {return(addAndGet(obj, 1));}
  51 }