ГОСТ Р И С 013584-32—2012
Определения внутренних элементов:
Элемент value_type: Определяет тип значения (простого или сложного), который используется для
каждого элемента множества с ограничительным условием на подмножество.
Элемент bound_1: Определяет целое число, указывающее минимальный индексопределенного мно
жества с ограничительным условием на подмножество.
Элемент bound_2: Определяет целое число, указывающее максимальный индекс определенного
множества с ограничительным условием на подмножество.
Элемент cardinal_min: Определяет минимальный объем подмножества, который может быть извлечен.
Элемент cardinal_max: Определяет максимальный объем подмножества, который может быть из
влечен.
Перечень ограничительных условий:
Тип SET_WITH_SUBSET_CONSTRAINT_TYPE_Type: Определяет значения свойств или типов пользо
вателя. которые принадлежат типу неупорядоченных значений в группах, не содержат дублей и из которых
может извлекаться подмножество от минимального до максимального объема.
П р и м е ч а н и е — Лексическое представление значения, чьим типом данных является «множество с
ограничительным условием на подмножество» SET_WITH_SUBSET_CONSTRAINT_Type. приведено в D.1.24 при
ложения D.
Определение внешнего типа:
Тип ANY_TYPE_Type: См. 8.3.
Перечень ограничительных условий:
Если элемент bound_1 определен, то он должен быть больше или равным нулю; в противном случае
установленное по умолчанию значение будет равно нулю.
Если элемент bound_2 определен, то он должен быть больше нуля; в противном случае установлен
ное по умолчанию значение будет неизвестным (неограниченным).
Если оба элемента bound_1 и bound_2 определены, то элемент bound_2 должен быть больше эле
мента bound_1.
Элемент cardinal_min должен быть меньше или равным элементу cardinal_max.
Если элементы bound_1 и cardinal_min определены, то элемент cardinal_min не должен превы
шать элемент bound_1.
Если элементы bound_2 и cardinal_max определены, то элемент cardinal_max не должен превы
шать элемент bound_2.
8.3.10 Тип «ссылочный класс»
Тип ссылочного класса (class reference) позволяет определять область значений свойства, которыми
являются экземпляры класса.
П р и м е ч а н и е 1 — Свойство, чьим типом является тип ссылочного класса, устанавливает соотношение
между обоими классами. Таким соотношением может быть, например, композиционное соотношение.
Пример — Сборка boltedassembly может содержать элементы screw и nut. Предположим, что bolted
assembly, screw и nut характеризуют семейство деталей; при этом компоненты bolted assembly могут
представляться, во-первых, путем определения двух свойств в классе bolted assembly (соответствен но
— элементов its_screw и its_nut), и. во-вторых, путем закрепления за этими свойствами области
значений, которые будут отвечать типуданных СLASS_REFERENСЕ_TYPE_Туре, связывая классы screw и
nut
Тип ссылочногокласса представляется как комплексный XML-типданных CLASS_REFERENCE_TYPE_
Туре (см. рисунок 71).
domainГ1
------------->1CLASS
I
J
Рисунок 71 — Структура области значений экземпляра класса
81