src/classes/java/lang/Object.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 package java.lang;
  19
  20 /**
  21  * modeled root class of all Java objects. This is modeled because we already have a peer because of
  22  * the synchronization methods and have to cut off the registerNatives() call
  23  */
  24 public class Object {
  25   public Object() {
  26     // nothing here
  27   }
  28
  29   public final native Class<?> getClass();
  30   public native int hashCode();
  31
  32   /**
  33    * default implementation is just an identity check
  34    */
  35   public boolean equals (Object o) {
  36     return o == this;
  37   }
  38
  39
  40   public String toString() {
  41     // intercepted by peer
  42     return null;
  43   }
  44
  45   protected native Object clone() throws java.lang.CloneNotSupportedException;
  46
  47   public final native void notify();
  48   public final native void notifyAll();
  49
  50   public final native void wait (long timeout) throws java.lang.InterruptedException;
  51
  52   public final void wait (long timeout, int nanos) throws java.lang.InterruptedException{
  53     // intercepted by peer
  54   }
  55
  56   public final void wait() throws java.lang.InterruptedException {
  57     // intercepted by peer
  58   }
  59
  60   protected void finalize() throws java.lang.Throwable {
  61
  62   }
  63 }