From: ehilsdal <ehilsdal>
Date: Tue, 24 Aug 2004 00:06:25 +0000 (+0000)
Subject: Language specification clarification for two bugs:
X-Git-Tag: V1_2_1~86
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=cfaa79ae72fba6619700f259fd4b05eaed6d3988;p=aspectj.git

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 cef27728b..19f8cdf9f 100644
--- 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>