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

hashCode

public int hashCode()

finalize

protected void finalize()
                 throws Throwable
Throws:
Throwable

notify

public final void notify()

notifyAll

public final void notifyAll()

registerNatives

private static void registerNatives()

wait

public final void wait()
                throws InterruptedException
Throws:
InterruptedException

wait

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

wait

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

getClass

public final Class getClass()

clone

protected Object clone()
                throws CloneNotSupportedException
Throws:
CloneNotSupportedException

equals

public boolean equals(Object)

toString

public String toString()

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.