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


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


/p>

Примечание.

Для одномерного массива А имя A(N..N) задает отрезок, состоящий из одной компоненты; его тип соответствует базовому типу массива А. С другой стороны, A(N) — компонента массива и имеет соответствующий тип.

Ссылки:

базовый тип 3.3, возбуждение исключения 11, вычисление 4.5, граница дискретного диапазона 3.6.1, диапазон индекса 3.6, дискретный диапазон 3.6, значение массива 3.8, имя 4.1, индекс 3.6, индексируемый тип 3.6, исключение CONSTRAINT_ERROR 11.1, компонента 3.3, константа 3.2.1, массив 3.5, ограничение 3.3, переменная 3.2.1, префикс 4.1, принадлежит подтипу 3.3, пустой диапазон 3.5, пустой массив 3.6.1, размерность 3.6, соответствует типу 4.1, тип 3.3, тип компоненты 3.3.

4.1.3. ИМЕНУЕМЫЕ КОМПОНЕНТЫ

Именуемые компоненты используются для обозначения компонент записей, входов, семейств входов и объектов, указанных ссылочными значениями; они используются также в качестве

расширенных имен,

как это описано ниже.

именуемая-компонента ::= префикс.постфикс постфикс ::= простое-имя | символьный-литерал | знак-операции | all

Для обозначения дискриминанта, компоненты записи, входа или объекта, указанного ссылочным значением, используются следующие четыре формы именуемых компонент:

а. Дискриминант.

Постфикс должен быть простым именем, обозначающим дискриминант объекта или значения. Префикс должен соответствовать типу этого объекта или значения.

б. Компонента записи.

Постфикс должен быть простым именем, обозначающим компоненту именуемого объекта или значения. Префикс должен соответствовать типу этого объекта или значения. Для компонент варианта делается проверка: являются ли значения дискриминантов такими, что запись имеет эту компоненту. В противном случае возбуждается исключение CONSTRAINT_ERROR.

в. Одиночный вход или семейство входов задачи.

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

г. Объект, указанный ссылочным значением.




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