ГОСТ Р МЭК 61360-2—2013
m injnclusive: указывает, действительно ли минимальное значение min_value принадлежит рас
сматриваемому диапазону; если такое значение не задано, то нижней границы нет.
m axjnclusivo: указывает действительно ли максимальное значение max_value принадлежит
рассматриваемому диапазону; если такое значение не задано, то верхней границы нет.
Пояснения к тексту программы:
WR1: min_value должно быть меньше или равно max_value.
WR2: min_value и max_valuo должны иметь один и тот же тип данных.
WR3: если min_value задано, то m injnclusive также должно быть задано.
WR4: если max_value задано, то maxJnclusive также должно быть задано.
7.3.14 Ограничение на длину строки (String_sizo_constraint)
Сущность string_size_constraint ограничивает длину строки, допустимую типом строки или ее
подтипом.
Примечание 1 — Областью значений свойства stringJype может быть строчный тип stringJype. не
переводимый строчный тип nonJranslatable_stringJype. переводимый строчный тип translatable_stringjype.
тип универсальною идентификатора ресурса URIJype, нехоличестввнный кодовый тип non_quantitative_code_
type, тип данных о дате date_data_type. тип данных о времени time_data_type или тип данных о дате и времени
dateJime_dataJype.
Примечание 2 — Для неколичественного кодового типа non_quantitative_codeJype ограничение на
кладывается на код.
Для значений, принадлежащих переводимому строчному типу translatable_stringjype. ограни
чение накладывается на строку, представленную на исходном языке, на котором дано определение
области значений свойств. Исходный язык может быть определен атрибутом sourcojanguage админи
стративных данных administrative_data свойства. Если данный атрибут не существует, то рассматри
ваемый исходный язык предполагается известным пользователю словаря.
Пример представления на языке EXPRESS:
*)
ENTITY string_size_constraint
SUBTYPE OF (domain_constraint);
min_length: OPTIONAL INTEGER;
max_length: OPTIONAL INTEGER;
WHERE
WRI: (min_length >- 0> AND (max_length >- min_length);
END_ENTITY; — string_size_constraint
(w
Определения атрибутов.
m injength: минимальная длина строки, допустимая в качестве значения свойства, идентифици
рованного атрибутом constrained_properties.
m axjength: максимальная длина строки, допустимая в качестве значения свойства, идентифи
цированного атрибутом constrained_properties.
Примечание 3 — Если значение minjength не существует, то берется 0. Если значение maxjength не
существует, то берется бесконечность.
Пояснение к тексту программы:
WR1: значения m injength и m axjength задают корректные границы.
7.3.15 Ограничение на шаблон строки (String_pattern_constraint)
Сущность string_pattern_constraint ограничивает область значений строчного типа stringJype
или любого его подтипа до значений, заданных конкретным шаблоном. Синтаксис шаблона определен
регулярным выражением языка XML и ассоциированными алгоритмами сравнения, определенными в
схеме XML. часть 2: «Рекомендованные типы данных».
Примечание 1—Область значений свойстваstringJype—это строчный типstring_type, непереводимый
строчный тип nonJransiatable_stringJype. переводимый строчный тип translatable_stringJype. тип универсаль
ного идентификатора ресурса URIJype. неколичественный кодовый тип non_quantitative_codeJype, тип данных
даты date_datajype. тип данных времени time_data_type или тип данных даты и времени dateJime_dataJype
103