EMZETT.Цикл с постусловием
Image: Taylor, CC BY-SA 4.0, Wikimedia Commons
Коротко: Цикл, условие выхода которого проверяется только ПОСЛЕ первой итерации, — поэтому тело цикла всегда выполняется минимум один раз.
Подробнее: В Java do...while — единственная форма цикла с постусловием. Полезен там, где действие гарантированно происходит хотя бы раз до того, как вообще проверяется, нужно ли его повторять.