] evaluates test, then body, repetitively, until test first fails to give True.
] does the loop with a null body.
] is generated in the evaluation of body, the While loop exits.
] exits the evaluation of body, and continues the loop.
] or Throw[
] are generated, the final value returned by While is Null.
i++]. Note that the roles of ; and , are reversed relative to the C programming language.
See the Mathematica book: Section 2.5.9.
See also: Do, For, Nest, Fold, Select, Throw.
The While loop continues until the condition fails.