test/langtools/tools/javac/switchexpr/ExpressionSwitchBreaks2.java
author darcy
Thu, 21 Feb 2019 10:29:16 -0800
changeset 53878 4584d0331318
parent 53023 6879069d9d94
child 55306 ea43db53de91
child 58678 9cf78a70fa4f
permissions -rw-r--r--
8219254: Update explicit uses of latest source/target in langtools tests to a property 8219256: Update javac diags tests to use properties Reviewed-by: jjg, jlahoda, darcy, iignatyev Contributed-by: joe.darcy@oracle.com, jonathan.gibbons@oracle.com

/*
 * @test /nodynamiccopyright/
 * @bug 8206986
 * @summary Check behavior for invalid breaks.
 * @compile/fail/ref=ExpressionSwitchBreaks2.out -XDrawDiagnostics --enable-preview -source ${jdk.version} ExpressionSwitchBreaks2.java
 */

public class ExpressionSwitchBreaks2 {
    private String print(int i, int j) {
        LOOP: while (true) {
        OUTER: switch (i) {
            case 0:
                return switch (j) {
                    case 0:
                        break "0-0";
                    case 1:
                        break ; //error: missing value
                    case 2:
                        break OUTER; //error: jumping outside of the switch expression
                    case 3: {
                        int x = -1;
                        x: switch (i + j) {
                            case 0: break x; //error: cannot disambiguate, wrong type as well
                        }
                        break "X";
                    }
                    case 4: return "X"; //error: no returns from inside of the switch expression
                    case 5: continue;   //error: no continue out of the switch expression
                    case 6: continue LOOP; //error: dtto, but with a label
                    case 7: continue UNKNOWN; //error: unknown label
                    default: {
                        String x = "X";
                        x: switch (i + j) {
                            case 0: break ""; //error: cannot break from switch expression that is not immediatelly enclosing
                        }
                        break "X";
                    }
                };
            case 1:
                break "1" + undef; //error: complex value and no switch expression
        }
        }
        j: print(switch (i) {
            default: break j; //error: "j" is ambiguous (expression/label)
        }, 0);
        j2: print(switch (i) {
            default: break j2;
        }, 0);
        return null;
    }

}