ГОСТ Р ИСО 13584-42—2012
WR2: min_value и max_value должны иметь один и тот же тип данных.
WR3: если min_value задано, то minjnclusive также должно быть задано.
WR4: если max_value задано, то max_inclusive также должно быть задано.
F.5.2.13 Ограничение на длину строки (String_size_constraint)
Сущность string_size_constraint ограничивает длину строки, допустимую типом строки или ее подтипом.
П р и м е ч а н и е 1— Областью значений свойства string_type гложет быть строчный тип string_type. не
переводимый строчный тип non_translatable_string_type. переводимый строчный тип translatable_string_type.
тип универсального идентификатора ресурса URI_type. неколичественный кодовый тип non_quantitative_code_
type, тип данных о дате date_data_type, тип данных о времени time_data_type или тип данных о дате и времени
date_time_data_type.
П р и м е ч а н и е 2 — Для неколичественного кодового типа non_quantitative_code_type ограничение на
кладывается на код.
Для значений, принадлежащих переводимому строчному типу translatable_string_type. ограничение накла
дывается на строку, представленную на исходном языке, на котором дано определение области значений свойств.
Исходный язык может быть определен атрибутом sourcejanguage административных данных administrative_
data свойства. Если данный атрибут не существует, то рассматриваемый исходный язык предполагается извест ным
пользователю словаря.
Пример представления на языке EXPRESS:
*)
ENTITY string_size_constraint
SUBTYPE OF (domain_constraint);
minjength: OPTIONAL INTEGER:
maxjength: OPTIONAL INTEGER;
WHERE
WR1: (minjength >= 0)AND {maxjength >= minjength);
END_ENTITY; — string_size_constraint
(*
Определения атрибутов:
minjength: минимальная длина строки, допустимая в качестве значения свойства, идентифицированного
атрибутом constrained_properties.
maxjength: максимальная длина строки, допустимая в качестве значения свойства, идентифицированного
атрибутом constrained_properties.
П р и м е ч а н и е 3 — Если значение minjength не существует, то берется 0. Если значение maxjength
не существует, то берется бесконечность.
Пояснения к тексту программы:
WR1: значения minjength и maxjength задают корректные границы.
F.5.2.14 Ограничение на шаблон строки (String_pattem_constraint)
Сущность string_pattern_constraint ограничивает область значений строчного типа stringJype или любого
его подтипа до значений, заданных конкретным шаблоном. Синтаксис шаблона определен регулярным выражени
ем языка XML и ассоциированными алгоритмами сравнения, определенными в Схеме XML Часть 2:
«Рекомендо ванные типы данных».
П р и м е ч а н и е 1 — Область значений свойства stringjype — это строчный тип stringJype. непере
водимый строчный тип nonJranslatable_string_type. переводимый строчный тип translatable_stringjype. тип
универсального идентификатора ресурса URIJype. некопичественный кодовый тип non_quantitative_code_type,
тип данных даты date_datajype. тип данных времени time_dataJype или тип данных даты и времени datejime_
datajype.
Для строчного типа stringjype. непереводимого строчного типа non_translatable_string_type. типа уни
версального идентификатора ресурса URIJype. неколичественного кодового типа non_quantitative_code_type.
типа данных о дате date_data_type. типа данных о времени time_dataJype или типа данных о времени и дате
dateJime_dataJype. ограничение накладывается на (уникальную) строку, значения которой — это значение ука
занного типа данных. Для неколичественного кодового типа non_quantitative_code_type ограничение накладыва
ется на код.
Для значений, принадлежащих переводимомустрочному типу translatable_stringJype, ограничение наклады
вается на строку, представленную на исходном языке, на котором определена область значений свойства. Исходный
язык может быть определен атрибутом sourcejanguage административных данных administrative_data свойства.
Если данный атрибут не существует, то данный исходный язык предполагается известным пользователю словаря.
П р и м е ч а н и е 2 — Для неколичественногокодовоготипа non_quantitative_code_type. типа данных о дате
date_data_type. типа данных о времени time_datajype или типа данных о времени идате date_time_data_type ша
блондолжен соответствовать с неформальным требованиям, определенным соответствующими типамиданных.
136