<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#ffffff" text="#000000">
    I think I still don't understand. :-(<br>
    <br>
    The compile-time behaviour is well documented in JLSv3 6.4.5.<br>
    <br>
    But where is the run-time behaviour documented?<br>
    Isn't the javadoc of class Object a good place?<br>
    <br>
    With the term 'spec' you mean the JLS or the javadoc of class
    Object?<br>
    <br>
    -Ulf<br>
    <br>
    <br>
    Am 04.09.2010 01:34, schrieb Martin Buchholz:
    <blockquote
      cite="mid:AANLkTimT7UVfAa3oACYaO+XAEtNeMQo9cjXWQ5-047EZ@mail.gmail.com"
      type="cite"><br>
      <br>
      <div class="gmail_quote">On Fri, Sep 3, 2010 at 16:13, Ulf Zibis <span
          dir="ltr"><<a moz-do-not-send="true"
            href="mailto:Ulf.Zibis@gmx.de">Ulf.Zibis@gmx.de</a>></span>
        wrote:<br>
        <blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt
          0.8ex; border-left: 1px solid rgb(204, 204, 204);
          padding-left: 1ex;">
          <div bgcolor="#ffffff" text="#000000">
            <pre> <span class="Apple-style-span" style="font-family: arial; white-space: normal;">,</span></pre>
            the whole enclosing paragraph talks about class, object and
            instance, so why talk about type for the array case?<br>
            <br>
          </div>
        </blockquote>
        <div><br>
        </div>
        <div>Because the array types don't have their own javadoc, there
          is no other obvious place to document the compile-time
          behavior of this method for the class for e.g. int[].  </div>
        <div><br>
        </div>
        <div><br>
        </div>
        <div>To be more precise, (but still hand-waving...), it is *as
          if* every array type X has an override for clone that looked
          like this:</div>
        <div><br>
        </div>
        <div>class X {</div>
        <div><br>
        </div>
        <div>
          @Override X clone() { return (X) super.clone(); }</div>
        <div><br>
        </div>
        <div>}</div>
        <div><br>
        </div>
        <div>There is some value putting in the pseudocode above into
          the spec, but it is hard to do because it's not actually legal
          java code, and there is no 1-1 correspondence from array types
          to classes.</div>
        <div><br>
        </div>
        <div>Java does not have "self" types.</div>
      </div>
    </blockquote>
  </body>
</html>