ГОСТ Р ИСО 13584-42—2012
slring_patte rn_constraint,
cardinality_constraint
)):
END_ENTITY; — domain_constraint
(*
F.5.2.9 Ограничение подкласса (Subclass_constraint)
Сущность subclass_constraint ограничивает область значений типа ссылки на класс class_reference_type
для одного или нескольких подклассов рассматриваемого класса, определяющего исходную область.
Пример представления на языке EXPRESS:
’)
ENTITY subclass_constraint
SUBTYPE OF(domain_constraint);
subclasses: SET [1:?] OF dass_BSU:
END_ENTITY; — subclass_constraint
(*
Определения атрибутов:
subclasses: базовые семантические единицы класса class_BSUs. переопределяющие данный класс, кото
ромудолжны принадлежать значения ограниченного свойства constrained_property.
F.5.2.10 Ограничение подтипа сущности (Entity_subtype_constraint)
Сущность entity_subtype_constraint ограничивает область значений типа реализации сущности entity_
instance_type до подтипа СУЩНОСТИ, определяющей ее исходную область.
Пример представления на языке EXPRESS:
*)
ENTITY entity_subtype_conslraint
SUBTYPE OF(domain_constraint);
subtype_names: SET[1:?] OF STRING:
END_ENTITY; — entity_subtype_constraint
(*
Определения атрибутов:
subtype_names: набор строк, описывающих (в формате функции типа TYPEOF языка EXPRESS) име
на типов данных сущности языка EXPRESS, принадлежащих результату действия функции типа TYPEOF язы
ка EXPRESS, примененной к значению, ссылающемуся на повторно определенное ограниченное свойство соп-
strained_properties.
F.5.2.11 Ограничение нумерации (Enumeration_constraint)
Сущность enumeration_constraint ограничивает область значений типаданных до списка значений, опреде
ленных в расширении. Порядок, определенный списком. — это рекомендуемый порядок представления информа
ции. Конкретное описание по желанию может быть ассоциировано с каждым значением подмножества с помощью
неколичественното целого типа non_quantitative_int_type, т-е значение которого описывает смысл /-го значения
подмножества.
Для подтипов number_type, ассоциированных со словарными единицами измерения dic_unit иальтернатив
ными единицами измерения и. возможно, с идентификаторами словарных единиц измерения dic_unit_identifier, а
также с идентификаторами альтернативных единиц измерения, данное ограничение применяется к значению, со
ответствующему словарной единице dic_unit или одному идентификатору словарной единицы dic_unit_identifier.
Если существуют и сама единица, и ее идентификатор, то они соответствуют одной и той же единице измерения.
Для подтипов number_type. ассоциированны с валютой, ограничения накладываются на валюту, указанную
в определении их типов данных. Если никакая валюта в определении типов данных не указана, то рассматривае
мое ограничение не используется.
Для значений, принадлежащих переводимому строчному типу translatable_string_type, ограничения на
кладываются на строку, представленную на исходном языке, на котором определена область значений свойства.
Данный исходный язык может быть определен атрибутом source_language административных данных adminis-
trative_data свойства. Если данный атрибут не существует, то указанный исходный язык считается известным
пользователю словаря.
Если какое-либо другое ограничение нумерации enumeration_constraint накладывается на свойство ранее
уже ассоциированное с некоторым ограничением нумерации enumeration_constraint в некотором суперклассе,
то применяются оба ограничения. Таким образом, допустимый набор значений — это пересечение двух подмно
жеств. Порядок представления информации и возможный смысл ограничения, ассоциированного с каждым значе
нием для рассматриваемого офаничения нумерации enumeration_constraint, иллюстрируется примерами ниже.
Пример 1 — Если (в классе С1) данное свойство ассоциировано с ограничением нумерации
enumerationconstraint. атрибут subset которого равен {1, 3, 5, 7}, то в классе С1 и в любом его подклас се
свойство Р1 может принимать только одно из четырех нижеследующих значений: 1, 3, 5. 7.
Пример 2— Если тип данных свойства Р1 — это целочисленный массив LIST[1:4], и если в классе
С1 данное свойство ассоциировано с ограничением нумерации enumerationconstraint, атрибут subset
которого { {1}, (3, 5}, {7}. {1, 3, 7}}, то в классе С1 и в любом его подклассе свойство Р1 может
принимать только одно из четырех нижеследующих значений: {1}, {3, 5}, {7}, {1, 3, 7).
134