ГОСТ 1» ИСО/МЭК 8824-1—2001
W привносит значения 25—30 в арифметическое множество, приводя к 21, имеющему значения 24—30.
С другой стороны, присваивание
Z2 :: - V (Y 124)
недопустимо, так как нет значений в Y. которые отображались в значение в V.
F.6.3 Требуется, чтобы тип любого значения, подставленного в качестве фактического параметра, имел
отображение из лого значения в одно из значений в гипс, управляющем пустым параметром, и идентифици
руется именно это значение в управляющем типе.
F.6.4 Если "Туре" подставлен в качестве фактического для пустого параметра, который является пустым
параметром множества значений, требуется, чтобы все значения этого "Туре" имели отображения в значения в
управляющем типе пустого параметра множества значений. Фактический параметр выбирает нуправляющем
типе полное множество значений, которые имеют отображения в "Туре”.
F.6.5 При спецификации типа А пустой параметр, который является параметром значения или множе
ства значений, допустим только в том случае, если для нссх значении А и для всех использований А в правой
части присваивания эти значения А могуч быть использованы вместо пустого параметра.
F.7 Примеры
F.7.1 В данном разделе приведены примеры, иллюстрирующие F.3 и F.4
F.7.2 П р и м е р I
X : : - SEQUENCEXI : : ■=SEQUENCE
{name VisiblcString. {name VisiblcString,
age INTEGER)- - комментарий - -
age INTEGER)
X2 : ■=|8| SEQUENCEX3 : : - SEQUENCE
(name VisiblcString. {name VisiblcString.
age INTEGER)age AgcType)
AgeType : : - INTEGER
X. XI. X2 и ХЗ являются определениями идентичных типов. Ни различие в пропусках и комментариях,
ни использование ссылки на тип ’.AgcType" в ХЗ значения нс имеют. Однако если изменить любой идентифи
катор элемента последовательности, го они перестанут быть идентичными определениями и между ними нс
будег отображения значений.
F.7.3 П р и м с р 2
В ::-SETBI :: - SET
{name VisiblcStnng.(age INTEGER,
age INTEGER)name VisiblcStnng)
Это определения идентичных типов при условии, что они не находятся в модуле, в заголовке которою
стоит "AUTOMATIC TAGS": в противном случае они не являются определения идентичных типов и между
ними нс существуют отображения значений. Аналогичные примеры могут быть написаны для CHOICE и
ENUMERATED (используя форму "identifier" для "Enuincrationltem").
F.7.4 П р и м с р З
С : : -S E TCl :: = SET
(name |0| VisiblcString.{name VisiblcString.
age INTEGER)age INTEGER (I .. 64))
Это не определения идентичных типов, и ни одно из них нс является определением идентичного типа с
В или BI: также нет отображений значений между С и О или между этими типами и В или В1.
F.7.5 II р и м с р 4
х INTEGER! Y (2 )} ::-3
г
INTEGER : : - х
Эго допустимо, и присваивается значение 3 через отображение, определенное в F.4.5.
F.7.6 П р и м с р 5
bl BIT STRING : : =■МОГВ
Ь2 BIT STRING {vcrsionl (0), vcrsion2 <1), vcrsion3 (2)) :: - bl
Эго допустимо и Ь2 присваивается значение {versionI, vcrsion3).
F.7.7 П р и м е р б
С определениями из F.I.I элементы SEQUENCE вида
X DEFAULT у
допустимы, где X —любой из А. В. С, D, Е. F или любой текст справа от присваивания типов этим именам, у
—любой из а. Ь. с. d, с или f. за следующими исключениями: Е DEFAULT у недопустимо для всех а, Ь. с. d,
f и С DEFAULT с недопустимо, так как в этих случаях нет отображений значений из ссылки на значение по
умолчанию на тип, для которого умолчание устанавливается.
94