This documentation is archived and is not being maintained.

5.3.3.7 While statements

Visual Studio .NET 2003

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.
Show: