JML

java.lang
Class Object

java.lang.Object

public class Object


Constructor Summary
Object()
           
 
Method Summary
protected  Object clone()
           
 boolean equals(Object)
           
protected  void finalize()
           
 Class getClass()
           
 int hashCode()
           
 void notify()
           
 void notifyAll()
           
private static void registerNatives()
           
 String toString()
           
 void wait()
           
 void wait(long)
           
 void wait(long, int)
           
 

Constructor Detail

Object

public Object()
Method Detail

registerNatives

private static void registerNatives()

getClass

public final Class getClass()

hashCode

public int hashCode()

equals

public boolean equals(Object)

clone

protected Object clone()
                throws CloneNotSupportedException
Throws:
CloneNotSupportedException

toString

public String toString()

notify

public final void notify()

notifyAll

public final void notifyAll()

wait

public final void wait(long)
                throws InterruptedException
Throws:
InterruptedException

wait

public final void wait(long,
                       int)
                throws InterruptedException
Throws:
InterruptedException

wait

public final void wait()
                throws InterruptedException
Throws:
InterruptedException

finalize

protected void finalize()
                 throws Throwable
Throws:
Throwable

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.