Table of Contents 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Notes DownloadECMA-334 C# Language Specification


12 Variables
12.3 Definite assignment
12.3.3 Precise rules for determining definite assignment
12.3.3.7 While statements
Paragraph 11 For a while statement stmt of the form:
while (expr) while-body
- 2 v has the same definite assignment state at the beginning of expr as at the beginning of stmt.
- 3 If v is definitely assigned at the end of expr, then it is definitely assigned on the control flow transfer to while-body and to the end point of stmt.
- 4 If v has the state "definitely assigned after true expression" at the end of expr, then it is definitely assigned on the control flow transfer to while-body, but not definitely assigned at the end-point of stmt.
- 5 If v has the state "definitely assigned after false expression" at the end of expr, then it is definitely assigned on the control flow transfer to the end point of stmt.
|
Jagger Software Ltd |
Company # 4070126 |
VAT # 762 5213 42 |

