mcs/docs/ecma334/12.3.3.6.xml

   1 <?xml version="1.0"?>
   2 <clause number="12.3.3.6" title="Switch statements">
   3   <paragraph>In a switch statement stmt with controlling expression expr: <list><list_item> The definite assignment state of v at the beginning of expr is the same as the state of v at the beginning of stmt. </list_item><list_item> The definite assignment state of v on the control flow transfer to a reachable switch block statement list is the same as the definite assignment state of v at the end of expr. </list_item></list></paragraph>
   4 </clause>