Это Простейший из условных операторов. Вид оператора:
if <логическое выражение> then goto <метка>;
Этому оператору соответствует структура (состоящая из одного блока), изображенная на рисунке

Оператор условного перехода является самым универсальным из всех управляющих операторов любого языка. С его помощью можно реализовать алгоритм любой сложности. Однако, как и оператор безусловного перехода, он не допустим в структурном программировании, и обладает всеми недостатками оператора goto. Обычно, он используется для организации итеративных циклов, иногда – для перехода на завершающие операторы программы.
Пример:
. . .
if DX < 1e-6 then goto finihs;
. . .
Оператор, следующий за условным переходом, обычно не помечается.
Условный переход является частным случаем неполного условного оператора.