Language specification clarification for two bugs:

  49784  declaring interface methods should work as it does in interfaces
  70794  The introduction on interface causes the interface implementation class error

diff --git a/docs/progGuideDB/semantics.xml b/docs/progGuideDB/semantics.xml
index cef27728b655a09f7e93371de00c98519dbef34c..19f8cdf9f9c78e36d2b2f8ebe29c842154af0a84 100644 (file)
--- a/docs/progGuideDB/semantics.xml
+++ b/docs/progGuideDB/semantics.xml
@@ -2276,6 +2276,16 @@ ModifiersPattern =
         requirement, since it would be private to the aspect, not private to
         the target type.
       </para>
+
+      <para>
+        The access modifier of abstract inter-type methods has
+        one constraint: It is illegal to declare an abstract
+        non-public inter-type method on a public interface.  This
+        is illegal because it would say that a public interface
+        has a constraint that only non-public implementors must
+        fulfill.  This would not be compatible with Java's type
+        system.  
+      </para>
     </sect2>
 
     <sect2>