ECMA-334: 12.3.3.7 While statements

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

12.3.3.7 While statements

For a while statement stmt of the form:

while ( expr ) while-body

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

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

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

• 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, but not definitely assigned on the control flow transfer to while-body.