diff options
| author | ehilsdal <ehilsdal> | 2004-08-24 00:06:25 +0000 |
|---|---|---|
| committer | ehilsdal <ehilsdal> | 2004-08-24 00:06:25 +0000 |
| commit | cfaa79ae72fba6619700f259fd4b05eaed6d3988 (patch) | |
| tree | d2ac7db6aa6e0681e92deb60dc0f287a6dc5db9a /docs/progGuideDB | |
| parent | 27d7cdb7312bdc380a2a405333942800329966b1 (diff) | |
| download | aspectj-cfaa79ae72fba6619700f259fd4b05eaed6d3988.tar.gz aspectj-cfaa79ae72fba6619700f259fd4b05eaed6d3988.zip | |
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
Diffstat (limited to 'docs/progGuideDB')
| -rw-r--r-- | docs/progGuideDB/semantics.xml | 10 |
1 files changed, 10 insertions, 0 deletions
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> |