Jon Jagger
jon@jaggersoft.com
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
Download
ECMA-334 C# Language Specification
12
Variables
12.3
Definite assignment
12.3.3
Precise rules for determining definite assignment
12.3.3.18
Lock statements
Paragraph 1
1
For a lock statement stmt of the form:
lock (expr) embedded-statement
2
The definite assignment state of v at the beginning of expr is the same as the state of v at the beginning of stmt.
3
The definite assignment state of v on the control flow transfer to
embedded-statement
is the same as the state of v at the end of expr.
{ JSL }
Jagger Software Ltd
Company # 4070126
VAT # 762 5213 42