ECMA-334: 12.3.3.13 Try-catch statements

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

12.3.3.13 Try-catch statements

For a statement stmt of the form:

try try-block

catch ( … ) catch-block-1

…

catch ( … ) catch-block-n

• The definite assignment state of v at the beginning of try-block is the same as the definite assignment state of v at the beginning of stmt.

• The definite assignment state of v at the beginning of catch-block-i (for any i) is the same as the definite assignment state of v at the beginning of stmt.

• The definite assignment state of v at the end-point of stmt is definitely assigned if (and only if) v is definitely assigned at the end-point of try-block and every catch-block-i (for every i from 1 to n).