Sun, 04 Nov 2012 10:59:42 +0000
7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith
aoqi@0 | 1 | T5003235a.java:21: defaultM() in Super.Inner is defined in an inaccessible class or interface |
aoqi@0 | 2 | i.defaultM(); |
aoqi@0 | 3 | ^ |
aoqi@0 | 4 | T5003235a.java:22: protectedM() in Super.Inner is defined in an inaccessible class or interface |
aoqi@0 | 5 | i.protectedM(); |
aoqi@0 | 6 | ^ |
aoqi@0 | 7 | T5003235a.java:23: publicM() in Super.Inner is defined in an inaccessible class or interface |
aoqi@0 | 8 | i.publicM(); |
aoqi@0 | 9 | ^ |
aoqi@0 | 10 | T5003235a.java:24: privateM() in Super.Inner is defined in an inaccessible class or interface |
aoqi@0 | 11 | i.privateM(); |
aoqi@0 | 12 | ^ |
aoqi@0 | 13 | 4 errors |