Mercurial > jdk8-mips64-public > langtools / annotate
test/tools/javac/T5048776.java@d7d932236fee (annotated)
test/tools/javac/T5048776.java
Sun, 04 Nov 2012 10:59:42 +0000
- author
- mcimadamore
- date
- Sun, 04 Nov 2012 10:59:42 +0000
- changeset 1393
- d7d932236fee
- parent 611
- 4172cfff05f0
- 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
| duke@1 | 1 | /* |
| duke@1 | 2 | * @test /nodynamiccopyright/ |
| duke@1 | 3 | * @bug 5048776 |
| jjg@611 | 4 | * @compile/ref=T5048776a.out -XDrawDiagnostics T5048776.java |
| jjg@611 | 5 | * @compile/ref=T5048776b.out -XDrawDiagnostics -Xlint:all,-path T5048776.java |
| duke@1 | 6 | */ |
| duke@1 | 7 | class A1 { |
| duke@1 | 8 | void foo(Object[] args) { } |
| duke@1 | 9 | } |
| duke@1 | 10 | |
| duke@1 | 11 | class A1a extends A1 { |
| duke@1 | 12 | void foo(Object... args) { } |
| duke@1 | 13 | } |
| duke@1 | 14 | |
| duke@1 | 15 | class A2 { |
| duke@1 | 16 | void foo(Object... args) { } |
| duke@1 | 17 | } |
| duke@1 | 18 | |
| duke@1 | 19 | class A2a extends A2 { |
| duke@1 | 20 | void foo(Object[] args) { } |
| duke@1 | 21 | } |
