Условные операторы
Условный оператор выбирает для выполнения одну или ни одной из входящих в него последовательностей операторов в зависимости от значения (истинности) одного или нескольких условий.
условный-оператор ::= if условие then последовательность - операторов | elsif условие then последовательность-операторов) [else последовательность - операторов] end if; условие ::= логическое-выражениеВыражение, задающее условие, должно быть логического типа.
Для выполнения условного оператора вычисляются последовательно условия после if и elsif (трактуя заключительное else как elsif TRUE then ) до тех пор, пока одно из них не окажется истинным или не будут исчерпаны все условия. При нахождении условия со значением TRUE выполняется соответствующая последовательность операторов, в противном случае не выполняется ни одна из последовательностей операторов.
