Составители:
23
нельзя присваивать значение атрибуту, способ его определения задается декларацией атри-
бута. Атрибуту присваивается имя и тип, имя является обычной переменной в выражениях
того типа, который присвоен атрибуту. Имя атрибута записывается следующим образом:
<имя атрибута>::=
<имя атрибутируемого объекта>'<определитель атрибута> [(<выражение>)]
Определитель атрибута (attribute designator) определяет свойство объекта, представ-
ляемое атрибутом. Необязательное выражение может задавать дополнительные данные для
вычисления значения атрибута. Пользователь может создавать свои атрибуты, однако здесь
мы ограничимся рассмотрением только наиболее употребительных предопределенных атри-
бутов.
Предопределенные атрибуты типов приведены в таблице 4.2. Здесь
T — имя типа, N
— целое, а X — вспомогательное выражение, тип которого совпадает с типом T. Тип пере-
численных атрибутов, кроме T'pos и T'image, совпадает с атрибутируемым типом. Ат-
рибут
T'pos — принимает целое значение, а T'image — строка.
Таблица 4.2. Предопределенные атрибуты типов
Вид атрибута Вычисляемое значение Атрибутируемый тип
T'left
Левая граница значений T Любой скалярный
Т'right
Правая граница значений T Любой скалярный
T'low
Нижняя граница значений T Численный, физический
T'high
Верхняя граница значений T Численный, физический
T'image(X)
Строка символов, представляющая зна-
чение X
Любой
T'pos(X)
Позиция значения X в наборе значений
T
Перечислимый
T'val(N)
Значение элемента в позиции N в наборе
значений T
Перечислимый, физический, целый
T'leftof(X)
Значение в наборе значений T, записан-
ное в позиции слева от X
Перечислимый, физический, целый
T'rightof(X)
Значение в наборе значений T, записан-
ное в позиции справа от X
Перечислимый, физический, целый
T'pred(X)
Значение в наборе значений T на одну
позицию меньшее X
Перечислимый, физический, целый
Т'succ(X)
Значение в наборе значений T на одну
позицию большее X
Перечислимый, физический, целый
Предопределенные атрибуты массивов, приведенные в таблице 4.3., упрощают за-
пись подпрограмм и описаний настраиваемых модулей. Они, в частности, позволяют запи-
сывать границы обработки безотносительно к фактическому размеру массива.
нельзя присваивать значение атрибуту, способ его определения задается декларацией атри- бута. Атрибуту присваивается имя и тип, имя является обычной переменной в выражениях того типа, который присвоен атрибуту. Имя атрибута записывается следующим образом: <имя атрибута>::= <имя атрибутируемого объекта>'<определитель атрибута> [(<выражение>)] Определитель атрибута (attribute designator) определяет свойство объекта, представ- ляемое атрибутом. Необязательное выражение может задавать дополнительные данные для вычисления значения атрибута. Пользователь может создавать свои атрибуты, однако здесь мы ограничимся рассмотрением только наиболее употребительных предопределенных атри- бутов. Предопределенные атрибуты типов приведены в таблице 4.2. Здесь T — имя типа, N — целое, а X — вспомогательное выражение, тип которого совпадает с типом T. Тип пере- численных атрибутов, кроме T'pos и T'image, совпадает с атрибутируемым типом. Ат- рибут T'pos — принимает целое значение, а T'image — строка. Таблица 4.2. Предопределенные атрибуты типов Вид атрибута Вычисляемое значение Атрибутируемый тип T'left Левая граница значений T Любой скалярный Т'right Правая граница значений T Любой скалярный T'low Нижняя граница значений T Численный, физический T'high Верхняя граница значений T Численный, физический T'image(X) Строка символов, представляющая зна- Любой чение X T'pos(X) Позиция значения X в наборе значений Перечислимый T T'val(N) Значение элемента в позиции N в наборе Перечислимый, физический, целый значений T T'leftof(X) Значение в наборе значений T, записан- Перечислимый, физический, целый ное в позиции слева от X T'rightof(X) Значение в наборе значений T, записан- Перечислимый, физический, целый ное в позиции справа от X T'pred(X) Значение в наборе значений T на одну Перечислимый, физический, целый позицию меньшее X Т'succ(X) Значение в наборе значений T на одну Перечислимый, физический, целый позицию большее X Предопределенные атрибуты массивов, приведенные в таблице 4.3., упрощают за- пись подпрограмм и описаний настраиваемых модулей. Они, в частности, позволяют запи- сывать границы обработки безотносительно к фактическому размеру массива. 23
Страницы
- « первая
- ‹ предыдущая
- …
- 21
- 22
- 23
- 24
- 25
- …
- следующая ›
- последняя »