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
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 6827009
4 * @summary Check for non-constant case labels.
5 * @compile/fail -source 6 NonConstantLabel.java
6 * @compile/fail/ref=NonConstantLabel.out -XDrawDiagnostics NonConstantLabel.java
7 */
8 class NonConstantLabel {
9 String m(String s) {
10 String fauxConstant = "Goodbye Cruel World";
11 switch(s) {
12 case "Hello World":
13 return(s);
14 case fauxConstant:
15 return (s + s);
16 }
17 }
18 }