ГОСТ Р И С 013584-32—2012
Если оба элемента bound_1 и bound_2 определены, то элемент bound_2 должен быть больше эле
мента bound_1.
8.3.9.3 Группа элементов «список»
Список (list)— это упорядоченная группа (совокупность) значений, которые могут быть уникальными.
Тип группы «список» представляется как комплексный XML-типданных LIST_TYPE_Type (см. рисунок 68).
ANY_TYPE_Type
" 5
valuc_type
USTTYPEJypc
ixxjrvL l:
0..1
xs:nt«jer
ccund_2. 0..1 xs:in*egec
j ’xveness: xsibociean
Рисунок 68 — Структура группы элементов «список»
Определения внутренних элементов:
Элемент value_type: Определяет тип значения (простого или сложного), который используется для
каждого элемента списка.
Элемент boundjl: Определяет возможное минимальное количествоэлементов в списке.
Элемент bound_2: Определяет возможное максимальное количество элементов всписке.
Элемент uniqueness: Определяет метку элемента булевого типа, предназначенную для указания
того, являются ли все элементы списка уникальными (истинное значение (true)) или допускаются дублиро
ванные элементы (ложное значение (false)).
Перечень ограничительных условий:
Тип LIST_TYPE_Type: Приводит значения свойств или типов пользователя, которые принадлежат типу
неупорядоченных значений в группах, возможно, уникальных.
П р и м е ч а н и е — Лексическое представление значения, чьим типом данных является асписок»
LIST_TYPE_Type, приведено в D.1.22 приложения D.
Определение внешнего типа:
Тип ANY_TYPE_Type: См. 8.3.
Перечень ограничительных условий:
Если элемент bound_1 определен, то он должен быть больше или равным нулю; в противном случае
установленное по умолчанию значение будет равно нулю.
Если элемент bound_2 определен, то он должен быть больше нуля; впротивном случае установлен
ное по умолчанию значение будет неизвестным (неограниченным).
Если оба элемента bound_1 и bound_2 определены, то элемент bound_2 должен быть больше эле
мента bound_1.
8.3.9.4 Группа элементов «массив»
Массив (array)— это упорядоченная группа (совокупность) фиксированной длины из значений, кото
рые могут быть уникальными или произвольными, но маркированными последовательными индексами из
целых чисел. Тип «массив» представляется как комплексный XML-тип данных ARRAY_TYPE_Type (см.
рисунок 69).
79