[Java Spec Report] Missing definite assignment rule...

The following is missing from 16.2.9 in the draft JLS3:

"V is assigned before a case expression iff V is assigned after the
switch expression".

This rule is needed to properly specify the behavior of this program:

class Zippy {
 void pinhead(int i) {
   switch(i) {
     case 0:
       final int N = 23;
       break;
     case N: // is N definitely assigned?
       break;
   }
 }
}


------------------------ Yahoo! Groups Sponsor --------------------~--> 
$9.95 domain names from Yahoo!. Register anything.
http://us.click.yahoo.com/J8kdrA/y20IAA/yQLSAA/5cFolB/TM
--------------------------------------------------------------------~-> 

To unsubscribe from this mailing list, send an email to:
[email protected]
 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/java-spec-report/

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/