docs/ecma334/12.3.3.9.xml

   1 <?xml version="1.0"?>
   2 <clause number="12.3.3.9" title="For statements">
   3   <paragraph>Definite assignment checking for a for statement of the form: <code_example><![CDATA[
   4 for (for-initializer; for-condition; for-iterator) embedded-statement
   5 ]]></code_example>is done as if the statement were written: <code_example><![CDATA[
   6 {
   7    for-initializer;
   8    while (for-condition) {
   9       embedded-statement;
  10       for-iterator;
  11    }
  12 }
  13 ]]></code_example></paragraph>
  14   <paragraph>If the <non_terminal where="15.8.3">for-condition</non_terminal> is omitted from the for statement, then evaluation of definite assignment proceeds as if <non_terminal where="15.8.3">for-condition</non_terminal> were replaced with true in the above expansion. </paragraph>
  15 </clause>