Цикл із постумовою
Image: Taylor, CC BY-SA 4.0, Wikimedia Commons
Коротко: Цикл, умова виходу якого перевіряється лише ПІСЛЯ першої ітерації, — тому тіло циклу завжди виконується щонайменше один раз.
Докладніше: У Java do...while — єдина форма циклу з постумовою. Корисний там, де дія гарантовано відбувається хоча б раз до того, як узагалі перевіряється, чи потрібно її повторювати.