DoStatement ::= ‘do’ S? (ExecutableStatement | BracedStatements) S? ‘while’ S? ConditionalExpression S? ‘;’

The “do” statement is an unordered loop.  The conditional expression is evaluated at the end of each loop iteration; a false value for this expression signals an exit condition for the loop.

The statement or statement blocks can be executed any number of times, but unlike the “while” statement, this loop is always guaranteed to execute at least one time.

  See also:  [Evaluation and null statements] [The "goto" statement and text labels] [The "return" statement] [The "if" and "else" statements]
[The "for" statement] [The "while" statement] [The "do" statement] [The "switch," "case," and "default" statements]
[The "break" statement] [The "continue" statement] [Opcode and mod byte escape sequences]