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


Имена - часть 2


Примеры простых имен:

Pl

- - простое имя числа

(см. 3.2.1)

LIMIT

- - простое имя константы

(см. 3.2.1)

COUNT

- - простое имя скалярной переменной

(см. 3.2.1)

BOARD

- - простое имя массива

(см. 3.6.1)

MATRIX

- - простое имя типа

(см. 3.6)

RANDOM

- - простое имя функции

(см. 6.1)

ERROR

- - простое имя исключения

(см. 11.1)

Ссыпки:

атрибут 4.1.4, вид 6.1, возбуждение исключения 11, .вход 9.5, вызов функции o.t, вычисление 4.5, знак операции 6.1, идентификатор 2.3, именуемая компонента 4.1.3, индексируемая компонента 4.1.1, исключение CONSTRAINT-ERROR 11.1, компонента 3.3, объект 3.2.1, описание 3.1, описание переименования 8.5, отрезок 4.1.2, подкомпонента 3.3, понятие 3.1, принадлежит типу 3.3, ссылочное значение

null

3.8, семейство входов 9.5, символьный литерал 2.5, ссылочное значение 3.8, ссылочный тип 3.8, тип 3.3, формальный параметр 6.1, указанный тип 3.8, указывать 3.8.

4.1.1. ИНДЕКСИРУЕМЫЕ КОМПОНЕНТЫ

Индексируемая компонента обозначает компоненту массива или вход семейства входов.

индексируемая-компонента ::= префикс(выражение (, выражение))

Для компонент массива тип префикса должен соответствовать индексируемому типу. Значения индексов компоненты задаются выражениями, каждой позиции индекса должно соответствовать одно такое выражение. Для входа семейства входов префикс должен быть именем, которое обозначает семейство входов задачного объекта, а выражение (оно должно, быть только одно) задает значение индекса конкретного входа.

Тип каждого выражения должен соответствовать типу индекса. В языке не определяется порядок вычисления префикса и выражений при вычислении индексируемой компоненты. Если значение индекса не принадлежит диапазону индекса массива или семейства входов, определяемых префиксом, то возбуждается исключение CONSTRAINT_ERROR.

Примеры индексируемых компонент:

MY-SCHEDULEtSAT)

- - компонента одномерного массива

(см. 3.6.1)

РАПЕ(10)

- - компонента одномерного массива

(см. 3.6)

BOARD(M, J + 1)

- - компонента двумерного массива

(см. 3.6.1)

PAGE(10) (20)

- - компонента компоненты

(см. 3.6)

REQUESTfMEDIUM)

-- вход семейства входов

(см. 9.5)

NEXT_FRAME(L) (M, N)

- - компонента вызова функции

(CM. 6.1)

<




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