Справочное руководство по языку Ада-83


Операции и вычисление выражения - часть 6


Проверка принадлежности

not in

вырабатывает результат, противоположный результату проверки принадлежности in.

Примеры:

X /= Y

"" < "А" and "А" < "АА" -- TRUE "АА" < "В" and "А" < "А " -- TRUE

MY_CAR = null --истина, если MY_CAR пуст (см. 3.8.1) MY_CAR = YOUR_CAR -- истина, если используется один и тот же автомобиль MY_CAR.all = YOUR_CAR.all -- истина, если оба автомобиля идентичны

N not in 1..10 -- проверка принадлежности диапазону TODAY in MON .. FRI -- проверка принадлежности диапазону TODAY in WEEKOAY -- проверка принадлежности подтипу (см. 3.5.1) ARCHIVE in DISKUNIT -- проверка принадлежности подтипу (см. 3.7.3)

Примечание.

Предопределенные операции отношения и проверка принадлежности не возбуждают исключений, но исключение может быть возбуждено при вычислении операндов этих операций.

Если именуемый тип имеет компоненты, зависящие от дискриминантов, то компоненты двух значений сопоставлены тогда и только тогда, когда равны их дискриминанты. Компоненты непустых массивов сопоставлены, если и только если значения атрибута LENGTH(N) для каждой позиции индекса одинаковы у обоих массивов.

Ссылки:

базовый тип 3.3, возбуждение исключения 11, вычисление 4.5, граница диапазона 3.5, диапазон 3.5, диапазон индекса 3.6, дискретный тип 3.5, идентификатор компоненты 3.7, именуемый тип 3.7, индекс 3.6, индексируемый тип 3.6, исключение 11, компонента 3.3, лимитируемый тип 7.4.4, обозначение типа 3.3.2, объект 3.2.1, операция 4.5, операция типа 3.3, подкомпонента 3.3, предопределенная операция 4.5, предопределенный логический тип 3.5.3, принадлежать подтипу 3.3, простое выражение 4.4, пустая запись 3.7, пустой массив 3.6.1, размерность 3.6, скалярный тип 3.5, следующий 3.5.5, составной тип 3.3, ссылочное значение 3.8, ссылочное значение

null

3.8, тип 3.3, тип компоненты 3.3, указывать 3.8.

4.5.3. БИНАРНЫЕ АДДИТИВНЫЕ ОПЕРАЦИИ

Бинарные аддитивные операции + и - предопределены для любого числового типа и имеют свой обычный смысл.




Начало  Назад  Вперед



Книжный магазин