-
Bug
-
Resolution: Fixed
-
P3
-
12
There is a typo in the spec from section "16.1.7. switch Expression" (http://cr.openjdk.java.net/~gbierman/switch-expressions.html#jep325-16.1.7).
The following two rules:
- V is definitely unassigned after a switch expression when true iff for every value break statement with expression e in the switch block that may exit the switch expression, V is definitely unassigned before the value break statement and V is *****definitely assigned***** after e when true.
- V is definitely unassigned after a switch expression when false iff for every value break statement with expression e in the switch block that may exit the switch expression, V is definitely unassigned before the value break statement and V is *****definitely assigned***** after e when false.
They should read as:
- V is definitely unassigned after a switch expression when true iff for every value break statement with expression e in the switch block that may exit the switch expression, V is definitely unassigned before the value break statement and V is *****definitely unassigned***** after e when true.
- V is definitely unassigned after a switch expression when false iff for every value break statement with expression e in the switch block that may exit the switch expression, V is definitely unassigned before the value break statement and V is *****definitely unassigned***** after e when false.
The following two rules:
- V is definitely unassigned after a switch expression when true iff for every value break statement with expression e in the switch block that may exit the switch expression, V is definitely unassigned before the value break statement and V is *****definitely assigned***** after e when true.
- V is definitely unassigned after a switch expression when false iff for every value break statement with expression e in the switch block that may exit the switch expression, V is definitely unassigned before the value break statement and V is *****definitely assigned***** after e when false.
They should read as:
- V is definitely unassigned after a switch expression when true iff for every value break statement with expression e in the switch block that may exit the switch expression, V is definitely unassigned before the value break statement and V is *****definitely unassigned***** after e when true.
- V is definitely unassigned after a switch expression when false iff for every value break statement with expression e in the switch block that may exit the switch expression, V is definitely unassigned before the value break statement and V is *****definitely unassigned***** after e when false.