Object.java

package java.lang;

import checkers.nullness.quals.*;

@checkers.quals.DefaultQualifier("checkers.nullness.quals.NonNull")
@Raw
public class Object {
  public Object() { throw new RuntimeException("skeleton method"); }
  public @Pure boolean equals(@Nullable Object a1) { throw new RuntimeException("skeleton method"); }
  public @Pure String toString() { throw new RuntimeException("skeleton method"); }
  public final void wait(long a1, int a2) @Raw throws InterruptedException { throw new RuntimeException("skeleton method"); }
  public final void wait() @Raw throws InterruptedException { throw new RuntimeException("skeleton method"); }

  private static native void registerNatives();
  public final native @Pure Class<?> getClass() @Raw;
  public native @Pure int hashCode();
  protected native Object clone() throws CloneNotSupportedException;
  public final native void notify();
  public final native void notifyAll();
  public final native void wait(long timeout) throws InterruptedException;
  protected void finalize() throws Throwable { throw new RuntimeException("skeleton method"); }
}