test/tools/javac/6734819/T6734819c.out

Sun, 04 Nov 2012 10:59:42 +0000

author
mcimadamore
date
Sun, 04 Nov 2012 10:59:42 +0000
changeset 1393
d7d932236fee
parent 384
ed31953ca025
child 2525
2eb010b6cb22
permissions
-rw-r--r--

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]
jjg@384 7 T6734819c.java:15:11: compiler.err.unreachable.stmt
mcimadamore@95 8 1 error

mercurial