mcs/docs/ecma334/12.3.3.1.xml

   1 <?xml version="1.0"?>
   2 <clause number="12.3.3.1" title="General rules for statements">
   3   <paragraph>
   4     <list>
   5       <list_item> v is not definitely assigned at the beginning of a function member body. </list_item>
   6       <list_item> v is definitely assigned at the beginning of any unreachable statement. </list_item>
   7       <list_item> The definite assignment state of v at the beginning of any other statement is determined by checking the definite assignment state of v on all control flow transfers that target the beginning of that statement. If (and only if) v is definitely assigned on all such control flow transfers, then v is definitely assigned at the beginning of the statement. The set of possible control flow transfers is determined in the same way as for checking statement reachability (<hyperlink>15.1</hyperlink>). </list_item>
   8       <list_item> The definite assignment state of v at the end point of a block, checked, unchecked, if, while, do, for, foreach, lock, using, or switch statement is determined by checking the definite assignment state of v on all control flow transfers that target the end point of that statement. If v is definitely assigned on all such control flow transfers, then v is definitely assigned at the end point of the statement. Otherwise, v is not definitely assigned at the end point of the statement. The set of possible control flow transfers is determined in the same way as for checking statement reachability (<hyperlink>15.1</hyperlink>). </list_item>
   9     </list>
  10   </paragraph>
  11 </clause>