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
mcimadamore@95 | 1 | [attribute Y] |
mcimadamore@95 | 2 | [flow Y] |
mcimadamore@95 | 3 | [attribute W] |
mcimadamore@95 | 4 | [flow W] |
mcimadamore@95 | 5 | [attribute Z] |
mcimadamore@95 | 6 | [flow Z] |
mcimadamore@359 | 7 | [desugar Z] |
mcimadamore@359 | 8 | [desugar W] |
mcimadamore@95 | 9 | [desugar Y] |
mcimadamore@95 | 10 | [generate code Y] |
mcimadamore@95 | 11 | [generate code W] |
mcimadamore@95 | 12 | [generate code Z] |