ECMA-334: 12.3.3.18 Lock statements

Microsoft .NET Framework, ASP.NET, Visual C# (CSharp, C Sharp, C-Sharp) Developer Training, Visual Studio

12.3.3.18 Lock statements

For a lock statement stmt of the form:

lock ( expr ) embedded-statement

• The definite assignment state of v at the beginning of expr is the same as the state of v at the beginning of stmt.

• 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.