<div dir="ltr"><div style>I don&#39;t think a proposal like this would be necessary except for the inheritance aspect.  Otherwise, some conventions such as &quot;the default implementation&quot; versus &quot;this implementation&quot; would suffice.</div>
<div><br></div><div style>I&#39;d like to see more examples, including a few layers of subclasses, where the doc contains both implspec and implnote.  The Input/OutputStream classes and Swing Component classes are a good source for material.  </div>
<div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jan 31, 2013 at 6:31 PM, Brian Goetz <span dir="ltr">&lt;<a href="mailto:brian.goetz@oracle.com" target="_blank">brian.goetz@oracle.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">We&#39;ve tried this thread a few times without success, so let&#39;s try it again.<br>
<br>
There have been a number of cases where its not obvious how to document default methods.  After some analysis, this appears to be just another case where the complexity was present in Java from day 1, and default methods simply bring it to the fore because the confusing cases are expected to come up more often.  The following applies equally well to methods in abstract classes (or concrete classes) as to defaults.<br>

<br>
There are lots of things we might want to document about a method in an API.  Historically we&#39;ve framed them as either being &quot;specification&quot; (e.g., necessary postconditions) or &quot;implementation notes&quot; (e.g., hints that give the user an idea what&#39;s going on under the hood.)  But really, there are four boxes (and we&#39;ve been cramming them into two):<br>

<br>
  { API, implementation } x { specification, notes }<br>
<br>
(We sometimes use the terms normative/informative to describe the difference between specification/notes.)<br>
<br>
As background, here are some example uses for default methods which vary in their &quot;expected prevalence of overriding&quot;.  I think the variety of use cases here have contributed to the confusion on how to document implementation characteristics.  (Note that all of these have analogues in abstract classes too, one can find examples in Abstract{List,Map,Set}.)<br>

<br>
1.  Optional methods.  This is when the default implementation is barely conformant, such as the following from Iterator:<br>
<br>
    public default void remove() {<br>
        throw new UnsupportedOperationException(<u></u>&quot;remove&quot;);<br>
    }<br>
<br>
It adheres to its contract, because the contract is explicitly weak, but any class that cares about removal will definitely want to override it.<br>
<br>
2.  Methods with *reasonable* defaults but which might well be overridden by implementations that care enough.  For example, again from Iterator:<br>
<br>
    default void forEach(Consumer&lt;? super E&gt; consumer) {<br>
        while (hasNext())<br>
            consumer.accept(next());<br>
    }<br>
<br>
This implementation is perfectly fine for most implementations, but some classes (e.g., ArrayList) might have the chance to do better, if their maintainers are sufficiently motivated to do so.  The new methods on Map (e.g., putIfAbsent) are also in this bucket.<br>

<br>
3.  Methods where its pretty unlikely anyone will ever override them, such as this method from Predicate:<br>
<br>
    public default Predicate&lt;T&gt; and(Predicate&lt;? super T&gt; p) {<br>
        Objects.requireNonNull(p);<br>
        return (T t) -&gt; test(t) &amp;&amp; p.test(t);<br>
    }<br>
<br>
These are all common enough cases.  The primary reason that the Javadoc needs to provide some information about the implementation, separate from the API specification, is so that those who would extend these classes or interfaces can know which methods they need to / want to override.  It should be clear from the doc that anyone who implements Iterator MUST implement remove() if they want removal to happen, CAN override forEach if they think it will result in better performance, and almost certainly don&#39;t need to override Predicate.and().<br>

<br>
<br>
The question is made more complicated by the prevalent use of the ambiguous phrase &quot;this implementation.&quot;  We often use &quot;this implementation&quot; to describe both normative and informative aspects of the implementation, and readers are left to guess which.  (Does &quot;this implementation&quot; mean all versions of Oracle&#39;s JDK forever?  The current version in Oracle&#39;s JDK?  All versions of all JDKs?  The implementation in a specific class?  Could IBM&#39;s JDK throw a different exception from UOE from the default of Iterator.remove()?  What happens when the doc is @inheritDoc&#39;ed into a subclass that overrides the method?  Etc.  The phrase is too vague to be useful, and this vagueness has been the subject of many bug report.)<br>

<br>
I think one measure of success of this effort should be &quot;can we replace all uses of &#39;this implementation&#39; with something that is more informative and fits neatly within the model.&quot;<br>
<br>
<br>
As said earlier, there are four boxes.  Here are some descriptions of what belongs in each box.<br>
<br>
1.  API specification.  This is the one we know and love; a description that applies equally to all valid implementations of the method, including preconditions, postconditions, etc.<br>
<br>
2.  API notes.  Commentary, rationale, or examples pertaining to the API.<br>
<br>
3.  Implementation specification.  This is where we say what it means to be a valid default implementation (or an overrideable implementation in a class), such as &quot;throws UOE.&quot;  Similarly this is where we&#39;d describe what the default for putIfAbsent does.  It is from this box that the would-be-implementer gets enough information to make a sensible decision as to whether or not to override.<br>

<br>
4.  Implementation notes.  Informative notes about the implementation, such as performance characteristics that are specific to the implementation in this class in this JDK in this version, and might change.  These things are allowed to vary across platforms, vendors and versions.<br>

<br>
Once we recognize that these are the four boxes, I think everything gets simpler.<br>
<br>
<br>
Strawman Proposal<br>
-----------------<br>
<br>
As a strawman proposal, here&#39;s one way to explicitly label the four boxes: add three new Javadoc tags, @apinote, @implspec, and @implnote. (The remaining box, API Spec, needs no new tag, since that&#39;s how Javadoc is used already.)  @impl{spec,note} can apply equally well to a concrete method in a class or a default method in an interface.<br>

<br>
(Rule of engagement: bikeshedding the names will be interpreted as a waiver to ever say anything about the model or the semantics.  So you may bikeshed, but it must be your last word on the topic.)<br>
<br>
/**<br>
  * ... API specifications ...<br>
  *<br>
  * @apinote<br>
  * ... API notes ...<br>
  *<br>
  * @implspec<br>
  * ... implementation specification ...<br>
  *<br>
  * @implnote<br>
  * ... implementation notes ...<br>
  *<br>
  * @param ...<br>
  * @return ...<br>
  */<br>
<br>
Applying this to some existing Javadoc, take AbstractMap.putAll:<br>
<br>
    Copies all of the mappings from the specified map to this map<br>
    (optional operation). The effect of this call is equivalent to<br>
    that of calling put(k, v) on this map once for each mapping from<br>
    key k to value v in the specified map. The behavior of this<br>
    operation is undefined if the specified map is modified while<br>
    the operation is in progress.<br>
<br>
    This implementation iterates over the specified map&#39;s<br>
    entrySet() collection, and calls this map&#39;s put operation<br>
    once for each entry returned by the iteration.<br>
<br>
The first paragraph is API specification and the second is implementation *specification*, as users expect the implementation in AbstractMap, regardless of version or vendor, to behave this way.  The change here would be to replace &quot;This implementation&quot; with @implspec, and the ambiguity over &quot;this implementation&quot; goes away.<br>

<br>
The doc for Iterator.remove could be:<br>
<br>
 /**<br>
  * Removes from the underlying collection the last element returned by<br>
  * this iterator (optional operation). This method can be called only<br>
  * once per call to next(). The behavior of an iterator is unspecified<br>
  * if the underlying collection is modified while the iteration is in<br>
  * progress in any way other than by calling this method.<br>
  *<br>
  * @implspec<br>
  * The default implementation must throw UnsupportedOperationException.<br>
  *<br>
  * @implnote<br>
  * For purposes of efficiency, the same UnsupportedOperationException<br>
  * instance is always thrown. [*]<br>
  */<br>
<br>
[*] We don&#39;t really intend to implement it this way; this is just an example of an @implnote.<br>
<br>
<br>
The doc for Map.putIfAbsent could be:<br>
<br>
  /**<br>
   * If the specified key is not already associated with a value,<br>
associates<br>
   * it with the given value.<br>
   *<br>
   * @implspec<br>
   * Th default behaves as if:<br>
   * &lt;pre&gt; {@code<br>
   * if (!map.containsKey(key))<br>
   *   return map.put(key, value);<br>
   * else<br>
   *   return map.get(key);<br>
   * } &lt;/pre&gt;<br>
   *<br>
   * @implnote<br>
   * This default implementation is implemented essentially as described<br>
   * in the API note. This operation is not atomic. Atomicity, if desired,<br>
   * must be provided by a subclass implementation.<br>
   */<br>
<br>
<br>
Secondary: one can build on this to eliminate some common inheritance anomalies by making these inheritable separately, where @inheritDoc is interpreted as &quot;inherit the stuff from the corresponding section.&quot;  This is backward compatible because these sections do not yet exist in old docs.  SO to inherit API spec and implementation spec, you would do:<br>

<br>
 /**<br>
  * {@inheritDoc}<br>
  * @implspec<br>
  * {@inheritDoc}<br>
  * ...<br>
  */<br>
</blockquote></div><br></div>