ГОСТ Р НСО/МЭК 8825-2-2003
ПРИЛОЖЕНИЕ В
(справочное)
Объединения видимых для PER ограничений
Некоторые свойства могутоставаться видимыми при объединении элементов подтипа, каждый идкоторых
по отдельности может быть видимым для PER. Ниже приведены примеры таких свойств:
B.I Эффективным ограничением размера для
А - IASStnng (SIZE (|..4)| SIZE (9.. 10»
является
А - iASStnng (SIZE (I..4) | (9.. 10))
В.2 Когда ограничение PcrmittcdAlphabct объединяется в одну спецификацию подтипа с друшми огра
ничениями PcrmittcdAlphabcl, исг эффективного ограничения PcrmittcdAlphabct, содержащего меньше, чем все
символы в неограниченном типе, если нет единственной спецификации PcrmittcdAlphabct. которая является
супермножеством всехдругих спецификаций PcrmittcdAlphabct в этой спецификации подтипа. Кроме того, если
в эти спецификации ограничений включены ограничения размера, то супсрмножсство спецификации Pcr
mittcdAlphabct должно иметь эффективное ограничение размера, объединенное с ним операцией INTERSEC
TION. которое является супермножеством всех других ограничений размера, наложенных на тип. Например.
В - IA5String (FROM <«АВ») я SIZE (I..2) I
FROM (*DE*) ’ SIZE (3) |
FROM («ABODE.) я SIZE (I..5))
имеет эффективное ограничение размера и эффективное ограничение алфавита PcrmittcdAlphabct
В = lA5Stnng (FROM («ABCDE*) я (SIZE (I..5))
так как это является супермножеством более сложного выражения, приведенного выше, таким образом оно
становится видимым для PER. С другой стороны, в следующем примере эффективное ограничение PermittcdAI-
phabet является йодным набором символов, допустимых для IA5String, так как нег единственного эквивалента
ограничения PcrmittcdAlphabcl. Таким образом, следующее ограничение не является видимым для PER:
С :: ® IASStnng (FROM <«АВ») | (FROM («CD*)) —нс эквивалентно (FROM («ABCD*))
В.З Ограничения размера могут произвольно объединяться, если нег ограничения PcrmittcdAlphabct.
Например.
Е :: - lA5Stnng (SIZE (1..4) | (SIZE (5..I0) я FROM («ABCD.) | SIZE (6..10»
является невидимым для PER ограничением размера (так как размер 5 допустим нс для всех возможных
символов), тогда как
Е « IASStnng (SIZE (I..4) | (SIZE (6.. 10) - FROM («ABCD*) | SIZE (6.. 10»
является видимым для PER ограничением размера SIZE (I..4) | (6.. 10). так как эффективное ограничение
PcrmittcdAlphabct является набором всех символов IASStnng. В этом случае FROM («ABC’D*) не является
видимым для PER ограничением, так как оно неприменимо ко веем возможным значениям Е (например, если
длина строки равна I, то символ нс ограничивается одним из «ABCD»).
40