emul/mini/src/main/java/java/lang/Object.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Sat, 26 Jan 2013 08:47:05 +0100
changeset 592 5e13b1ac2886
parent 479 34931e381886
child 749 3d1585c82d67
permissions -rw-r--r--
In order to support fields of the same name in subclasses we are now prefixing them with name of the class that defines them. To provide convenient way to access them from generated bytecode and also directly from JavaScript, there is a getter/setter function for each field. It starts with _ followed by the field name. If called with a parameter, it sets the field, with a parameter it just returns it.
jaroslav@49
     1
/*
jaroslav@49
     2
 * Copyright (c) 1994, 2010, Oracle and/or its affiliates. All rights reserved.
jaroslav@49
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
jaroslav@49
     4
 *
jaroslav@49
     5
 * This code is free software; you can redistribute it and/or modify it
jaroslav@49
     6
 * under the terms of the GNU General Public License version 2 only, as
jaroslav@49
     7
 * published by the Free Software Foundation.  Oracle designates this
jaroslav@49
     8
 * particular file as subject to the "Classpath" exception as provided
jaroslav@49
     9
 * by Oracle in the LICENSE file that accompanied this code.
jaroslav@49
    10
 *
jaroslav@49
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
jaroslav@49
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
jaroslav@49
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
jaroslav@49
    14
 * version 2 for more details (a copy is included in the LICENSE file that
jaroslav@49
    15
 * accompanied this code).
jaroslav@49
    16
 *
jaroslav@49
    17
 * You should have received a copy of the GNU General Public License version
jaroslav@49
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
jaroslav@49
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
jaroslav@49
    20
 *
jaroslav@49
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
jaroslav@49
    22
 * or visit www.oracle.com if you need additional information or have any
jaroslav@49
    23
 * questions.
jaroslav@49
    24
 */
jaroslav@49
    25
jaroslav@49
    26
package java.lang;
jaroslav@49
    27
jaroslav@479
    28
import java.lang.reflect.Array;
jaroslav@232
    29
import org.apidesign.bck2brwsr.core.JavaScriptBody;
jaroslav@239
    30
import org.apidesign.bck2brwsr.core.JavaScriptPrototype;
jaroslav@232
    31
jaroslav@49
    32
/**
jaroslav@49
    33
 * Class {@code Object} is the root of the class hierarchy.
jaroslav@49
    34
 * Every class has {@code Object} as a superclass. All objects,
jaroslav@49
    35
 * including arrays, implement the methods of this class.
jaroslav@49
    36
 *
jaroslav@49
    37
 * @author  unascribed
jaroslav@49
    38
 * @see     java.lang.Class
jaroslav@49
    39
 * @since   JDK1.0
jaroslav@49
    40
 */
jaroslav@239
    41
@JavaScriptPrototype(container = "Object.prototype", prototype = "new Object")
jaroslav@49
    42
public class Object {
jaroslav@49
    43
jaroslav@479
    44
    private static void registerNatives() {
jaroslav@479
    45
        try {
jaroslav@479
    46
            Array.get(null, 0);
jaroslav@479
    47
        } catch (Throwable ex) {
jaroslav@479
    48
            // ignore
jaroslav@479
    49
        }
jaroslav@479
    50
    }
jaroslav@49
    51
    static {
jaroslav@49
    52
        registerNatives();
jaroslav@49
    53
    }
jaroslav@49
    54
jaroslav@49
    55
    /**
jaroslav@49
    56
     * Returns the runtime class of this {@code Object}. The returned
jaroslav@49
    57
     * {@code Class} object is the object that is locked by {@code
jaroslav@49
    58
     * static synchronized} methods of the represented class.
jaroslav@49
    59
     *
jaroslav@49
    60
     * <p><b>The actual result type is {@code Class<? extends |X|>}
jaroslav@49
    61
     * where {@code |X|} is the erasure of the static type of the
jaroslav@49
    62
     * expression on which {@code getClass} is called.</b> For
jaroslav@49
    63
     * example, no cast is required in this code fragment:</p>
jaroslav@49
    64
     *
jaroslav@49
    65
     * <p>
jaroslav@49
    66
     * {@code Number n = 0;                             }<br>
jaroslav@49
    67
     * {@code Class<? extends Number> c = n.getClass(); }
jaroslav@49
    68
     * </p>
jaroslav@49
    69
     *
jaroslav@49
    70
     * @return The {@code Class} object that represents the runtime
jaroslav@49
    71
     *         class of this object.
jaroslav@49
    72
     * @see    Class Literals, section 15.8.2 of
jaroslav@49
    73
     *         <cite>The Java&trade; Language Specification</cite>.
jaroslav@49
    74
     */
jaroslav@443
    75
    @JavaScriptBody(args={}, body="return this.constructor.$class;")
jaroslav@49
    76
    public final native Class<?> getClass();
jaroslav@49
    77
jaroslav@49
    78
    /**
jaroslav@49
    79
     * Returns a hash code value for the object. This method is
jaroslav@49
    80
     * supported for the benefit of hash tables such as those provided by
jaroslav@49
    81
     * {@link java.util.HashMap}.
jaroslav@49
    82
     * <p>
jaroslav@49
    83
     * The general contract of {@code hashCode} is:
jaroslav@49
    84
     * <ul>
jaroslav@49
    85
     * <li>Whenever it is invoked on the same object more than once during
jaroslav@49
    86
     *     an execution of a Java application, the {@code hashCode} method
jaroslav@49
    87
     *     must consistently return the same integer, provided no information
jaroslav@49
    88
     *     used in {@code equals} comparisons on the object is modified.
jaroslav@49
    89
     *     This integer need not remain consistent from one execution of an
jaroslav@49
    90
     *     application to another execution of the same application.
jaroslav@49
    91
     * <li>If two objects are equal according to the {@code equals(Object)}
jaroslav@49
    92
     *     method, then calling the {@code hashCode} method on each of
jaroslav@49
    93
     *     the two objects must produce the same integer result.
jaroslav@49
    94
     * <li>It is <em>not</em> required that if two objects are unequal
jaroslav@49
    95
     *     according to the {@link java.lang.Object#equals(java.lang.Object)}
jaroslav@49
    96
     *     method, then calling the {@code hashCode} method on each of the
jaroslav@49
    97
     *     two objects must produce distinct integer results.  However, the
jaroslav@49
    98
     *     programmer should be aware that producing distinct integer results
jaroslav@49
    99
     *     for unequal objects may improve the performance of hash tables.
jaroslav@49
   100
     * </ul>
jaroslav@49
   101
     * <p>
jaroslav@49
   102
     * As much as is reasonably practical, the hashCode method defined by
jaroslav@49
   103
     * class {@code Object} does return distinct integers for distinct
jaroslav@49
   104
     * objects. (This is typically implemented by converting the internal
jaroslav@49
   105
     * address of the object into an integer, but this implementation
jaroslav@49
   106
     * technique is not required by the
jaroslav@49
   107
     * Java<font size="-2"><sup>TM</sup></font> programming language.)
jaroslav@49
   108
     *
jaroslav@49
   109
     * @return  a hash code value for this object.
jaroslav@49
   110
     * @see     java.lang.Object#equals(java.lang.Object)
jaroslav@49
   111
     * @see     java.lang.System#identityHashCode
jaroslav@49
   112
     */
jaroslav@443
   113
    @JavaScriptBody(args = {}, body = 
jaroslav@443
   114
        "if (this.$hashCode) return this.$hashCode;\n"
jaroslav@443
   115
        + "var h = this.computeHashCode__I();\n"
jaroslav@443
   116
        + "return this.$hashCode = h & h;"
jaroslav@335
   117
    )
jaroslav@49
   118
    public native int hashCode();
jaroslav@49
   119
jaroslav@443
   120
    @JavaScriptBody(args = {}, body = "Math.random() * Math.pow(2, 32);")
jaroslav@429
   121
    native int computeHashCode();
jaroslav@429
   122
    
jaroslav@49
   123
    /**
jaroslav@49
   124
     * Indicates whether some other object is "equal to" this one.
jaroslav@49
   125
     * <p>
jaroslav@49
   126
     * The {@code equals} method implements an equivalence relation
jaroslav@49
   127
     * on non-null object references:
jaroslav@49
   128
     * <ul>
jaroslav@49
   129
     * <li>It is <i>reflexive</i>: for any non-null reference value
jaroslav@49
   130
     *     {@code x}, {@code x.equals(x)} should return
jaroslav@49
   131
     *     {@code true}.
jaroslav@49
   132
     * <li>It is <i>symmetric</i>: for any non-null reference values
jaroslav@49
   133
     *     {@code x} and {@code y}, {@code x.equals(y)}
jaroslav@49
   134
     *     should return {@code true} if and only if
jaroslav@49
   135
     *     {@code y.equals(x)} returns {@code true}.
jaroslav@49
   136
     * <li>It is <i>transitive</i>: for any non-null reference values
jaroslav@49
   137
     *     {@code x}, {@code y}, and {@code z}, if
jaroslav@49
   138
     *     {@code x.equals(y)} returns {@code true} and
jaroslav@49
   139
     *     {@code y.equals(z)} returns {@code true}, then
jaroslav@49
   140
     *     {@code x.equals(z)} should return {@code true}.
jaroslav@49
   141
     * <li>It is <i>consistent</i>: for any non-null reference values
jaroslav@49
   142
     *     {@code x} and {@code y}, multiple invocations of
jaroslav@49
   143
     *     {@code x.equals(y)} consistently return {@code true}
jaroslav@49
   144
     *     or consistently return {@code false}, provided no
jaroslav@49
   145
     *     information used in {@code equals} comparisons on the
jaroslav@49
   146
     *     objects is modified.
jaroslav@49
   147
     * <li>For any non-null reference value {@code x},
jaroslav@49
   148
     *     {@code x.equals(null)} should return {@code false}.
jaroslav@49
   149
     * </ul>
jaroslav@49
   150
     * <p>
jaroslav@49
   151
     * The {@code equals} method for class {@code Object} implements
jaroslav@49
   152
     * the most discriminating possible equivalence relation on objects;
jaroslav@49
   153
     * that is, for any non-null reference values {@code x} and
jaroslav@49
   154
     * {@code y}, this method returns {@code true} if and only
jaroslav@49
   155
     * if {@code x} and {@code y} refer to the same object
jaroslav@49
   156
     * ({@code x == y} has the value {@code true}).
jaroslav@49
   157
     * <p>
jaroslav@49
   158
     * Note that it is generally necessary to override the {@code hashCode}
jaroslav@49
   159
     * method whenever this method is overridden, so as to maintain the
jaroslav@49
   160
     * general contract for the {@code hashCode} method, which states
jaroslav@49
   161
     * that equal objects must have equal hash codes.
jaroslav@49
   162
     *
jaroslav@49
   163
     * @param   obj   the reference object with which to compare.
jaroslav@49
   164
     * @return  {@code true} if this object is the same as the obj
jaroslav@49
   165
     *          argument; {@code false} otherwise.
jaroslav@49
   166
     * @see     #hashCode()
jaroslav@49
   167
     * @see     java.util.HashMap
jaroslav@49
   168
     */
jaroslav@49
   169
    public boolean equals(Object obj) {
jaroslav@49
   170
        return (this == obj);
jaroslav@49
   171
    }
jaroslav@49
   172
jaroslav@49
   173
    /**
jaroslav@49
   174
     * Creates and returns a copy of this object.  The precise meaning
jaroslav@49
   175
     * of "copy" may depend on the class of the object. The general
jaroslav@49
   176
     * intent is that, for any object {@code x}, the expression:
jaroslav@49
   177
     * <blockquote>
jaroslav@49
   178
     * <pre>
jaroslav@49
   179
     * x.clone() != x</pre></blockquote>
jaroslav@49
   180
     * will be true, and that the expression:
jaroslav@49
   181
     * <blockquote>
jaroslav@49
   182
     * <pre>
jaroslav@49
   183
     * x.clone().getClass() == x.getClass()</pre></blockquote>
jaroslav@49
   184
     * will be {@code true}, but these are not absolute requirements.
jaroslav@49
   185
     * While it is typically the case that:
jaroslav@49
   186
     * <blockquote>
jaroslav@49
   187
     * <pre>
jaroslav@49
   188
     * x.clone().equals(x)</pre></blockquote>
jaroslav@49
   189
     * will be {@code true}, this is not an absolute requirement.
jaroslav@49
   190
     * <p>
jaroslav@49
   191
     * By convention, the returned object should be obtained by calling
jaroslav@49
   192
     * {@code super.clone}.  If a class and all of its superclasses (except
jaroslav@49
   193
     * {@code Object}) obey this convention, it will be the case that
jaroslav@49
   194
     * {@code x.clone().getClass() == x.getClass()}.
jaroslav@49
   195
     * <p>
jaroslav@49
   196
     * By convention, the object returned by this method should be independent
jaroslav@49
   197
     * of this object (which is being cloned).  To achieve this independence,
jaroslav@49
   198
     * it may be necessary to modify one or more fields of the object returned
jaroslav@49
   199
     * by {@code super.clone} before returning it.  Typically, this means
jaroslav@49
   200
     * copying any mutable objects that comprise the internal "deep structure"
jaroslav@49
   201
     * of the object being cloned and replacing the references to these
jaroslav@49
   202
     * objects with references to the copies.  If a class contains only
jaroslav@49
   203
     * primitive fields or references to immutable objects, then it is usually
jaroslav@49
   204
     * the case that no fields in the object returned by {@code super.clone}
jaroslav@49
   205
     * need to be modified.
jaroslav@49
   206
     * <p>
jaroslav@49
   207
     * The method {@code clone} for class {@code Object} performs a
jaroslav@49
   208
     * specific cloning operation. First, if the class of this object does
jaroslav@49
   209
     * not implement the interface {@code Cloneable}, then a
jaroslav@49
   210
     * {@code CloneNotSupportedException} is thrown. Note that all arrays
jaroslav@49
   211
     * are considered to implement the interface {@code Cloneable} and that
jaroslav@49
   212
     * the return type of the {@code clone} method of an array type {@code T[]}
jaroslav@49
   213
     * is {@code T[]} where T is any reference or primitive type.
jaroslav@49
   214
     * Otherwise, this method creates a new instance of the class of this
jaroslav@49
   215
     * object and initializes all its fields with exactly the contents of
jaroslav@49
   216
     * the corresponding fields of this object, as if by assignment; the
jaroslav@49
   217
     * contents of the fields are not themselves cloned. Thus, this method
jaroslav@49
   218
     * performs a "shallow copy" of this object, not a "deep copy" operation.
jaroslav@49
   219
     * <p>
jaroslav@49
   220
     * The class {@code Object} does not itself implement the interface
jaroslav@49
   221
     * {@code Cloneable}, so calling the {@code clone} method on an object
jaroslav@49
   222
     * whose class is {@code Object} will result in throwing an
jaroslav@49
   223
     * exception at run time.
jaroslav@49
   224
     *
jaroslav@49
   225
     * @return     a clone of this instance.
jaroslav@49
   226
     * @exception  CloneNotSupportedException  if the object's class does not
jaroslav@49
   227
     *               support the {@code Cloneable} interface. Subclasses
jaroslav@49
   228
     *               that override the {@code clone} method can also
jaroslav@49
   229
     *               throw this exception to indicate that an instance cannot
jaroslav@49
   230
     *               be cloned.
jaroslav@49
   231
     * @see java.lang.Cloneable
jaroslav@49
   232
     */
jaroslav@411
   233
    protected Object clone() throws CloneNotSupportedException {
jaroslav@411
   234
        Object ret = clone(this);
jaroslav@411
   235
        if (ret == null) {
jaroslav@411
   236
            throw new CloneNotSupportedException(getClass().getName());
jaroslav@411
   237
        }
jaroslav@411
   238
        return ret;
jaroslav@411
   239
    }
jaroslav@411
   240
jaroslav@411
   241
    @JavaScriptBody(args = "self", body = 
jaroslav@411
   242
          "\nif (!self.$instOf_java_lang_Cloneable) {"
jaroslav@411
   243
        + "\n  return null;"
jaroslav@411
   244
        + "\n} else {"
jaroslav@411
   245
        + "\n  var clone = self.constructor(true);"
jaroslav@411
   246
        + "\n  var props = Object.getOwnPropertyNames(self);"
jaroslav@411
   247
        + "\n  for (var i = 0; i < props.length; i++) {"
jaroslav@411
   248
        + "\n    var p = props[i];"
jaroslav@411
   249
        + "\n    clone[p] = self[p];"
jaroslav@411
   250
        + "\n  };"
jaroslav@411
   251
        + "\n  return clone;"
jaroslav@411
   252
        + "\n}"
jaroslav@411
   253
    )
jaroslav@411
   254
    private static native Object clone(Object self) throws CloneNotSupportedException;
jaroslav@49
   255
jaroslav@49
   256
    /**
jaroslav@49
   257
     * Returns a string representation of the object. In general, the
jaroslav@49
   258
     * {@code toString} method returns a string that
jaroslav@49
   259
     * "textually represents" this object. The result should
jaroslav@49
   260
     * be a concise but informative representation that is easy for a
jaroslav@49
   261
     * person to read.
jaroslav@49
   262
     * It is recommended that all subclasses override this method.
jaroslav@49
   263
     * <p>
jaroslav@49
   264
     * The {@code toString} method for class {@code Object}
jaroslav@49
   265
     * returns a string consisting of the name of the class of which the
jaroslav@49
   266
     * object is an instance, the at-sign character `{@code @}', and
jaroslav@49
   267
     * the unsigned hexadecimal representation of the hash code of the
jaroslav@49
   268
     * object. In other words, this method returns a string equal to the
jaroslav@49
   269
     * value of:
jaroslav@49
   270
     * <blockquote>
jaroslav@49
   271
     * <pre>
jaroslav@49
   272
     * getClass().getName() + '@' + Integer.toHexString(hashCode())
jaroslav@49
   273
     * </pre></blockquote>
jaroslav@49
   274
     *
jaroslav@49
   275
     * @return  a string representation of the object.
jaroslav@49
   276
     */
jaroslav@49
   277
    public String toString() {
jaroslav@49
   278
        return getClass().getName() + "@" + Integer.toHexString(hashCode());
jaroslav@49
   279
    }
jaroslav@49
   280
jaroslav@49
   281
    /**
jaroslav@49
   282
     * Wakes up a single thread that is waiting on this object's
jaroslav@49
   283
     * monitor. If any threads are waiting on this object, one of them
jaroslav@49
   284
     * is chosen to be awakened. The choice is arbitrary and occurs at
jaroslav@49
   285
     * the discretion of the implementation. A thread waits on an object's
jaroslav@49
   286
     * monitor by calling one of the {@code wait} methods.
jaroslav@49
   287
     * <p>
jaroslav@49
   288
     * The awakened thread will not be able to proceed until the current
jaroslav@49
   289
     * thread relinquishes the lock on this object. The awakened thread will
jaroslav@49
   290
     * compete in the usual manner with any other threads that might be
jaroslav@49
   291
     * actively competing to synchronize on this object; for example, the
jaroslav@49
   292
     * awakened thread enjoys no reliable privilege or disadvantage in being
jaroslav@49
   293
     * the next thread to lock this object.
jaroslav@49
   294
     * <p>
jaroslav@49
   295
     * This method should only be called by a thread that is the owner
jaroslav@49
   296
     * of this object's monitor. A thread becomes the owner of the
jaroslav@49
   297
     * object's monitor in one of three ways:
jaroslav@49
   298
     * <ul>
jaroslav@49
   299
     * <li>By executing a synchronized instance method of that object.
jaroslav@49
   300
     * <li>By executing the body of a {@code synchronized} statement
jaroslav@49
   301
     *     that synchronizes on the object.
jaroslav@49
   302
     * <li>For objects of type {@code Class,} by executing a
jaroslav@49
   303
     *     synchronized static method of that class.
jaroslav@49
   304
     * </ul>
jaroslav@49
   305
     * <p>
jaroslav@49
   306
     * Only one thread at a time can own an object's monitor.
jaroslav@49
   307
     *
jaroslav@49
   308
     * @exception  IllegalMonitorStateException  if the current thread is not
jaroslav@49
   309
     *               the owner of this object's monitor.
jaroslav@49
   310
     * @see        java.lang.Object#notifyAll()
jaroslav@49
   311
     * @see        java.lang.Object#wait()
jaroslav@49
   312
     */
jaroslav@49
   313
    public final native void notify();
jaroslav@49
   314
jaroslav@49
   315
    /**
jaroslav@49
   316
     * Wakes up all threads that are waiting on this object's monitor. A
jaroslav@49
   317
     * thread waits on an object's monitor by calling one of the
jaroslav@49
   318
     * {@code wait} methods.
jaroslav@49
   319
     * <p>
jaroslav@49
   320
     * The awakened threads will not be able to proceed until the current
jaroslav@49
   321
     * thread relinquishes the lock on this object. The awakened threads
jaroslav@49
   322
     * will compete in the usual manner with any other threads that might
jaroslav@49
   323
     * be actively competing to synchronize on this object; for example,
jaroslav@49
   324
     * the awakened threads enjoy no reliable privilege or disadvantage in
jaroslav@49
   325
     * being the next thread to lock this object.
jaroslav@49
   326
     * <p>
jaroslav@49
   327
     * This method should only be called by a thread that is the owner
jaroslav@49
   328
     * of this object's monitor. See the {@code notify} method for a
jaroslav@49
   329
     * description of the ways in which a thread can become the owner of
jaroslav@49
   330
     * a monitor.
jaroslav@49
   331
     *
jaroslav@49
   332
     * @exception  IllegalMonitorStateException  if the current thread is not
jaroslav@49
   333
     *               the owner of this object's monitor.
jaroslav@49
   334
     * @see        java.lang.Object#notify()
jaroslav@49
   335
     * @see        java.lang.Object#wait()
jaroslav@49
   336
     */
jaroslav@49
   337
    public final native void notifyAll();
jaroslav@49
   338
jaroslav@49
   339
    /**
jaroslav@49
   340
     * Causes the current thread to wait until either another thread invokes the
jaroslav@49
   341
     * {@link java.lang.Object#notify()} method or the
jaroslav@49
   342
     * {@link java.lang.Object#notifyAll()} method for this object, or a
jaroslav@49
   343
     * specified amount of time has elapsed.
jaroslav@49
   344
     * <p>
jaroslav@49
   345
     * The current thread must own this object's monitor.
jaroslav@49
   346
     * <p>
jaroslav@49
   347
     * This method causes the current thread (call it <var>T</var>) to
jaroslav@49
   348
     * place itself in the wait set for this object and then to relinquish
jaroslav@49
   349
     * any and all synchronization claims on this object. Thread <var>T</var>
jaroslav@49
   350
     * becomes disabled for thread scheduling purposes and lies dormant
jaroslav@49
   351
     * until one of four things happens:
jaroslav@49
   352
     * <ul>
jaroslav@49
   353
     * <li>Some other thread invokes the {@code notify} method for this
jaroslav@49
   354
     * object and thread <var>T</var> happens to be arbitrarily chosen as
jaroslav@49
   355
     * the thread to be awakened.
jaroslav@49
   356
     * <li>Some other thread invokes the {@code notifyAll} method for this
jaroslav@49
   357
     * object.
jaroslav@49
   358
     * <li>Some other thread {@linkplain Thread#interrupt() interrupts}
jaroslav@49
   359
     * thread <var>T</var>.
jaroslav@49
   360
     * <li>The specified amount of real time has elapsed, more or less.  If
jaroslav@49
   361
     * {@code timeout} is zero, however, then real time is not taken into
jaroslav@49
   362
     * consideration and the thread simply waits until notified.
jaroslav@49
   363
     * </ul>
jaroslav@49
   364
     * The thread <var>T</var> is then removed from the wait set for this
jaroslav@49
   365
     * object and re-enabled for thread scheduling. It then competes in the
jaroslav@49
   366
     * usual manner with other threads for the right to synchronize on the
jaroslav@49
   367
     * object; once it has gained control of the object, all its
jaroslav@49
   368
     * synchronization claims on the object are restored to the status quo
jaroslav@49
   369
     * ante - that is, to the situation as of the time that the {@code wait}
jaroslav@49
   370
     * method was invoked. Thread <var>T</var> then returns from the
jaroslav@49
   371
     * invocation of the {@code wait} method. Thus, on return from the
jaroslav@49
   372
     * {@code wait} method, the synchronization state of the object and of
jaroslav@49
   373
     * thread {@code T} is exactly as it was when the {@code wait} method
jaroslav@49
   374
     * was invoked.
jaroslav@49
   375
     * <p>
jaroslav@49
   376
     * A thread can also wake up without being notified, interrupted, or
jaroslav@49
   377
     * timing out, a so-called <i>spurious wakeup</i>.  While this will rarely
jaroslav@49
   378
     * occur in practice, applications must guard against it by testing for
jaroslav@49
   379
     * the condition that should have caused the thread to be awakened, and
jaroslav@49
   380
     * continuing to wait if the condition is not satisfied.  In other words,
jaroslav@49
   381
     * waits should always occur in loops, like this one:
jaroslav@49
   382
     * <pre>
jaroslav@49
   383
     *     synchronized (obj) {
jaroslav@49
   384
     *         while (&lt;condition does not hold&gt;)
jaroslav@49
   385
     *             obj.wait(timeout);
jaroslav@49
   386
     *         ... // Perform action appropriate to condition
jaroslav@49
   387
     *     }
jaroslav@49
   388
     * </pre>
jaroslav@49
   389
     * (For more information on this topic, see Section 3.2.3 in Doug Lea's
jaroslav@49
   390
     * "Concurrent Programming in Java (Second Edition)" (Addison-Wesley,
jaroslav@49
   391
     * 2000), or Item 50 in Joshua Bloch's "Effective Java Programming
jaroslav@49
   392
     * Language Guide" (Addison-Wesley, 2001).
jaroslav@49
   393
     *
jaroslav@49
   394
     * <p>If the current thread is {@linkplain java.lang.Thread#interrupt()
jaroslav@49
   395
     * interrupted} by any thread before or while it is waiting, then an
jaroslav@49
   396
     * {@code InterruptedException} is thrown.  This exception is not
jaroslav@49
   397
     * thrown until the lock status of this object has been restored as
jaroslav@49
   398
     * described above.
jaroslav@49
   399
     *
jaroslav@49
   400
     * <p>
jaroslav@49
   401
     * Note that the {@code wait} method, as it places the current thread
jaroslav@49
   402
     * into the wait set for this object, unlocks only this object; any
jaroslav@49
   403
     * other objects on which the current thread may be synchronized remain
jaroslav@49
   404
     * locked while the thread waits.
jaroslav@49
   405
     * <p>
jaroslav@49
   406
     * This method should only be called by a thread that is the owner
jaroslav@49
   407
     * of this object's monitor. See the {@code notify} method for a
jaroslav@49
   408
     * description of the ways in which a thread can become the owner of
jaroslav@49
   409
     * a monitor.
jaroslav@49
   410
     *
jaroslav@49
   411
     * @param      timeout   the maximum time to wait in milliseconds.
jaroslav@49
   412
     * @exception  IllegalArgumentException      if the value of timeout is
jaroslav@49
   413
     *               negative.
jaroslav@49
   414
     * @exception  IllegalMonitorStateException  if the current thread is not
jaroslav@49
   415
     *               the owner of the object's monitor.
jaroslav@49
   416
     * @exception  InterruptedException if any thread interrupted the
jaroslav@49
   417
     *             current thread before or while the current thread
jaroslav@49
   418
     *             was waiting for a notification.  The <i>interrupted
jaroslav@49
   419
     *             status</i> of the current thread is cleared when
jaroslav@49
   420
     *             this exception is thrown.
jaroslav@49
   421
     * @see        java.lang.Object#notify()
jaroslav@49
   422
     * @see        java.lang.Object#notifyAll()
jaroslav@49
   423
     */
jaroslav@49
   424
    public final native void wait(long timeout) throws InterruptedException;
jaroslav@49
   425
jaroslav@49
   426
    /**
jaroslav@49
   427
     * Causes the current thread to wait until another thread invokes the
jaroslav@49
   428
     * {@link java.lang.Object#notify()} method or the
jaroslav@49
   429
     * {@link java.lang.Object#notifyAll()} method for this object, or
jaroslav@49
   430
     * some other thread interrupts the current thread, or a certain
jaroslav@49
   431
     * amount of real time has elapsed.
jaroslav@49
   432
     * <p>
jaroslav@49
   433
     * This method is similar to the {@code wait} method of one
jaroslav@49
   434
     * argument, but it allows finer control over the amount of time to
jaroslav@49
   435
     * wait for a notification before giving up. The amount of real time,
jaroslav@49
   436
     * measured in nanoseconds, is given by:
jaroslav@49
   437
     * <blockquote>
jaroslav@49
   438
     * <pre>
jaroslav@49
   439
     * 1000000*timeout+nanos</pre></blockquote>
jaroslav@49
   440
     * <p>
jaroslav@49
   441
     * In all other respects, this method does the same thing as the
jaroslav@49
   442
     * method {@link #wait(long)} of one argument. In particular,
jaroslav@49
   443
     * {@code wait(0, 0)} means the same thing as {@code wait(0)}.
jaroslav@49
   444
     * <p>
jaroslav@49
   445
     * The current thread must own this object's monitor. The thread
jaroslav@49
   446
     * releases ownership of this monitor and waits until either of the
jaroslav@49
   447
     * following two conditions has occurred:
jaroslav@49
   448
     * <ul>
jaroslav@49
   449
     * <li>Another thread notifies threads waiting on this object's monitor
jaroslav@49
   450
     *     to wake up either through a call to the {@code notify} method
jaroslav@49
   451
     *     or the {@code notifyAll} method.
jaroslav@49
   452
     * <li>The timeout period, specified by {@code timeout}
jaroslav@49
   453
     *     milliseconds plus {@code nanos} nanoseconds arguments, has
jaroslav@49
   454
     *     elapsed.
jaroslav@49
   455
     * </ul>
jaroslav@49
   456
     * <p>
jaroslav@49
   457
     * The thread then waits until it can re-obtain ownership of the
jaroslav@49
   458
     * monitor and resumes execution.
jaroslav@49
   459
     * <p>
jaroslav@49
   460
     * As in the one argument version, interrupts and spurious wakeups are
jaroslav@49
   461
     * possible, and this method should always be used in a loop:
jaroslav@49
   462
     * <pre>
jaroslav@49
   463
     *     synchronized (obj) {
jaroslav@49
   464
     *         while (&lt;condition does not hold&gt;)
jaroslav@49
   465
     *             obj.wait(timeout, nanos);
jaroslav@49
   466
     *         ... // Perform action appropriate to condition
jaroslav@49
   467
     *     }
jaroslav@49
   468
     * </pre>
jaroslav@49
   469
     * This method should only be called by a thread that is the owner
jaroslav@49
   470
     * of this object's monitor. See the {@code notify} method for a
jaroslav@49
   471
     * description of the ways in which a thread can become the owner of
jaroslav@49
   472
     * a monitor.
jaroslav@49
   473
     *
jaroslav@49
   474
     * @param      timeout   the maximum time to wait in milliseconds.
jaroslav@49
   475
     * @param      nanos      additional time, in nanoseconds range
jaroslav@49
   476
     *                       0-999999.
jaroslav@49
   477
     * @exception  IllegalArgumentException      if the value of timeout is
jaroslav@49
   478
     *                      negative or the value of nanos is
jaroslav@49
   479
     *                      not in the range 0-999999.
jaroslav@49
   480
     * @exception  IllegalMonitorStateException  if the current thread is not
jaroslav@49
   481
     *               the owner of this object's monitor.
jaroslav@49
   482
     * @exception  InterruptedException if any thread interrupted the
jaroslav@49
   483
     *             current thread before or while the current thread
jaroslav@49
   484
     *             was waiting for a notification.  The <i>interrupted
jaroslav@49
   485
     *             status</i> of the current thread is cleared when
jaroslav@49
   486
     *             this exception is thrown.
jaroslav@49
   487
     */
jaroslav@49
   488
    public final void wait(long timeout, int nanos) throws InterruptedException {
jaroslav@49
   489
        if (timeout < 0) {
jaroslav@49
   490
            throw new IllegalArgumentException("timeout value is negative");
jaroslav@49
   491
        }
jaroslav@49
   492
jaroslav@49
   493
        if (nanos < 0 || nanos > 999999) {
jaroslav@49
   494
            throw new IllegalArgumentException(
jaroslav@49
   495
                                "nanosecond timeout value out of range");
jaroslav@49
   496
        }
jaroslav@49
   497
jaroslav@49
   498
        if (nanos >= 500000 || (nanos != 0 && timeout == 0)) {
jaroslav@49
   499
            timeout++;
jaroslav@49
   500
        }
jaroslav@49
   501
jaroslav@49
   502
        wait(timeout);
jaroslav@49
   503
    }
jaroslav@49
   504
jaroslav@49
   505
    /**
jaroslav@49
   506
     * Causes the current thread to wait until another thread invokes the
jaroslav@49
   507
     * {@link java.lang.Object#notify()} method or the
jaroslav@49
   508
     * {@link java.lang.Object#notifyAll()} method for this object.
jaroslav@49
   509
     * In other words, this method behaves exactly as if it simply
jaroslav@49
   510
     * performs the call {@code wait(0)}.
jaroslav@49
   511
     * <p>
jaroslav@49
   512
     * The current thread must own this object's monitor. The thread
jaroslav@49
   513
     * releases ownership of this monitor and waits until another thread
jaroslav@49
   514
     * notifies threads waiting on this object's monitor to wake up
jaroslav@49
   515
     * either through a call to the {@code notify} method or the
jaroslav@49
   516
     * {@code notifyAll} method. The thread then waits until it can
jaroslav@49
   517
     * re-obtain ownership of the monitor and resumes execution.
jaroslav@49
   518
     * <p>
jaroslav@49
   519
     * As in the one argument version, interrupts and spurious wakeups are
jaroslav@49
   520
     * possible, and this method should always be used in a loop:
jaroslav@49
   521
     * <pre>
jaroslav@49
   522
     *     synchronized (obj) {
jaroslav@49
   523
     *         while (&lt;condition does not hold&gt;)
jaroslav@49
   524
     *             obj.wait();
jaroslav@49
   525
     *         ... // Perform action appropriate to condition
jaroslav@49
   526
     *     }
jaroslav@49
   527
     * </pre>
jaroslav@49
   528
     * This method should only be called by a thread that is the owner
jaroslav@49
   529
     * of this object's monitor. See the {@code notify} method for a
jaroslav@49
   530
     * description of the ways in which a thread can become the owner of
jaroslav@49
   531
     * a monitor.
jaroslav@49
   532
     *
jaroslav@49
   533
     * @exception  IllegalMonitorStateException  if the current thread is not
jaroslav@49
   534
     *               the owner of the object's monitor.
jaroslav@49
   535
     * @exception  InterruptedException if any thread interrupted the
jaroslav@49
   536
     *             current thread before or while the current thread
jaroslav@49
   537
     *             was waiting for a notification.  The <i>interrupted
jaroslav@49
   538
     *             status</i> of the current thread is cleared when
jaroslav@49
   539
     *             this exception is thrown.
jaroslav@49
   540
     * @see        java.lang.Object#notify()
jaroslav@49
   541
     * @see        java.lang.Object#notifyAll()
jaroslav@49
   542
     */
jaroslav@49
   543
    public final void wait() throws InterruptedException {
jaroslav@49
   544
        wait(0);
jaroslav@49
   545
    }
jaroslav@49
   546
jaroslav@49
   547
    /**
jaroslav@49
   548
     * Called by the garbage collector on an object when garbage collection
jaroslav@49
   549
     * determines that there are no more references to the object.
jaroslav@49
   550
     * A subclass overrides the {@code finalize} method to dispose of
jaroslav@49
   551
     * system resources or to perform other cleanup.
jaroslav@49
   552
     * <p>
jaroslav@49
   553
     * The general contract of {@code finalize} is that it is invoked
jaroslav@49
   554
     * if and when the Java<font size="-2"><sup>TM</sup></font> virtual
jaroslav@49
   555
     * machine has determined that there is no longer any
jaroslav@49
   556
     * means by which this object can be accessed by any thread that has
jaroslav@49
   557
     * not yet died, except as a result of an action taken by the
jaroslav@49
   558
     * finalization of some other object or class which is ready to be
jaroslav@49
   559
     * finalized. The {@code finalize} method may take any action, including
jaroslav@49
   560
     * making this object available again to other threads; the usual purpose
jaroslav@49
   561
     * of {@code finalize}, however, is to perform cleanup actions before
jaroslav@49
   562
     * the object is irrevocably discarded. For example, the finalize method
jaroslav@49
   563
     * for an object that represents an input/output connection might perform
jaroslav@49
   564
     * explicit I/O transactions to break the connection before the object is
jaroslav@49
   565
     * permanently discarded.
jaroslav@49
   566
     * <p>
jaroslav@49
   567
     * The {@code finalize} method of class {@code Object} performs no
jaroslav@49
   568
     * special action; it simply returns normally. Subclasses of
jaroslav@49
   569
     * {@code Object} may override this definition.
jaroslav@49
   570
     * <p>
jaroslav@49
   571
     * The Java programming language does not guarantee which thread will
jaroslav@49
   572
     * invoke the {@code finalize} method for any given object. It is
jaroslav@49
   573
     * guaranteed, however, that the thread that invokes finalize will not
jaroslav@49
   574
     * be holding any user-visible synchronization locks when finalize is
jaroslav@49
   575
     * invoked. If an uncaught exception is thrown by the finalize method,
jaroslav@49
   576
     * the exception is ignored and finalization of that object terminates.
jaroslav@49
   577
     * <p>
jaroslav@49
   578
     * After the {@code finalize} method has been invoked for an object, no
jaroslav@49
   579
     * further action is taken until the Java virtual machine has again
jaroslav@49
   580
     * determined that there is no longer any means by which this object can
jaroslav@49
   581
     * be accessed by any thread that has not yet died, including possible
jaroslav@49
   582
     * actions by other objects or classes which are ready to be finalized,
jaroslav@49
   583
     * at which point the object may be discarded.
jaroslav@49
   584
     * <p>
jaroslav@49
   585
     * The {@code finalize} method is never invoked more than once by a Java
jaroslav@49
   586
     * virtual machine for any given object.
jaroslav@49
   587
     * <p>
jaroslav@49
   588
     * Any exception thrown by the {@code finalize} method causes
jaroslav@49
   589
     * the finalization of this object to be halted, but is otherwise
jaroslav@49
   590
     * ignored.
jaroslav@49
   591
     *
jaroslav@49
   592
     * @throws Throwable the {@code Exception} raised by this method
jaroslav@49
   593
     */
jaroslav@49
   594
    protected void finalize() throws Throwable { }
jaroslav@49
   595
}