Справочник по Ada 2012

5.3 Операторы if

Оператор if_statement выбирает для выполнения не более одного из вложенных sequences_of_statements, в зависимости от (истинности) значения одного или нескольких соответствующих условий.

Синтаксис

if_statement ::=
if условие then
последовательность_операторов
{elsif условие then
последовательность_операторов}
[else
последовательность_операторов]
end if;

Пункты 3 и 4 были удалены.

Динамические семантика

Для выполнения оператора if_statement, условие после if и любые условия после elsif вычисляются последовательно (считая заключительное else как elsif True then), пока одно не примет значение True или все условия не будут вычислены и дадут результат False. Если условие принимает значение True, то соответствующая последовательность_операторов выполняется; в противном случае ни одна из них не выполняется.

Примеры

Примеры операторов if:

if Месяц = Декабрь and День = 31 then
Месяц := Январь;
День := 1;
Год := Год + 1;
end if;

if Строка_слишком_короткая then
raise Ошибка_разметки;
elsif Строка_заполнена then
Новая_строка;
Вывести(Элемент);
else
Вывести(Элемент);
end if;

if Мой_Автомобиль.Владелец.Транспортное_средство /= Мой_Автомобиль then -- см. 3.10.1
Сообщить ("Неверные данные");
end if;