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.25 ! expressions
Paragraph 11 For an expression expr of the form ! expr-operand: - 2 The definite assignment state of v before expr-operand is the same as the definite assignment state of v before expr.
- 3 The definite assignment state of v after expr is determined by:
- 4 If the state of v after expr-operand is definitely assigned, then the state of v after expr is definitely assigned.
- 5 If the state of v after expr-operand is not definitely assigned, then the state of v after expr is not definitely assigned.
- 6 If the state of v after expr-operand is "definitely assigned after false expression", then the state of v after expr is "definitely assigned after true expression".
- 7 If the state of v after expr-operand is "definitely assigned after true expression", then the state of v after expr is "definitely assigned after false expression".
|
Jagger Software Ltd |
Company # 4070126 |
VAT # 762 5213 42 |

