Figure 5.8 contains the do...while statement’s UML activity diagram, which makes it clear that the loop-continuation condition is not evaluated until after the loop performs its body at least once.
Fig. 5.8. UML activity diagram for the do...while repetition statement of Fig. 5.7.