Какую алгоритмическую конструкцию реализует оператор Паскаля WHILE_DO?

• Циклический алгоритм с проверкой условия до входа в цикл
• Циклический алгоритм с проверкой условия после выполнения тела цикла
• Цикл с параметром