do statement executes a Statement and an Expression repeatedly until the value of the Expression is
while ( Expression
The Expression must have type
Boolean, or a compile-time error occurs.
do statement is executed by first executing the Statement. Then there is a choice:
• If execution of the Statement completes normally, then the Expression is evaluated. If the result is of type
Boolean, it is subject to unboxing conversion (§5.1.8).
If evaluation of the Expression or the subsequent unboxing conversion (if any) completes abruptly for some reason, the
do statement completes abruptly for the same reason.
Otherwise, there is a choice based on the resulting value: ...