switch statement definition

[Johnny Gérard]

Hi,

I find the switch statement syntactic definition pretty unclear.

I'd like to know if the following definition is correct and could be a 
new definition for the specification :

*SwitchStatement*:
     switch ( Expression ) SwitchBlock

*SwitchBlock*:
     { /{/SwitchLabel/}/ }
     { SwitchLabels BlockStatements /{/SwitchBlockStatement/}/ }


*SwitchBlockStatement*:
     SwitchLabel
     BlockStatement

So, to be clear : I replaced *SwitchBlock* by a new one and**created the 
non terminal symbol *SwitchBlockStatement*.
This new *SwitchStatement *is not using the *SwitchBlockStatementGroup* 
symbol.

I hope this is clear enough.

Johnny Gérard


---
L'absence de virus dans ce courrier électronique a été vérifiée par le logiciel antivirus Avast.
http://www.avast.com