-
Type:
Bug
-
Resolution: Fixed
-
Priority:
P3
-
Affects Version/s: 12
-
Component/s: specification
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.