ГОСТ Р ИСО/МЭК 8824-1-2001
- если замещающий inn является ссылкой на тип, яатнюшийся преобразованным, го ссылка на тип
заменяется специальным элементом, которому нс соответствует никакой другой, кроме ею самого;
- если замещающий тип является типом "последовательноетъ-из" или "множссгво-т". то ограничения,
следующие за замещаемым типом, если они есть, помещаются перед ключевым словом "OF*;
- если замещаемый тип является параметризованным типом или множеством параметризованных значе
ний (см. ИСО/МЭК 8824-4. 8.2>, то каждый элемент "DummyRcfercncc” заменяется соответствующим
"Actual Parameter”.
е)Все ссылки на значения заменяются их определениями; если замещаемое значение яатястся парамет
ризованным (см. ИСО/МЭК 8824-4. 8.2). то каждый элемент "DummyRcfercncc" заменяется соответствующим
“ActualParameter”.
П р и м е ч а и и е — До замены любой ссылки на значение должны быть применены процедуры
настоящего приложения для того, чтобы гарантировать, что ссылка на значение идентифицирует.непосред
ственно или через отображения значений, значение се управляющего типа.
F.3.2.4 Для типа "множество"; "RootComponentTypeList" переупорядочивается так. чтобы "ComponcnlTypc"
были расположены в алфавитном порядке (от ’а ’ до V ).
П р и м е ч а н и е — В 11.9 (bstring). 11.10 (hstring) и 11.11 (cstring) установлено, что новые строки и
пропуски в таких элементах значения нс имеют. Если два экземпляратаких элементов содержат различающиеся
использования новых строк и пропусков, то для целей F.3.3 они трактуются как идентичные.
F.3.3 Если два экземпляра ’Туре", преобразованные к нормальной форме, являются идентичными спис
ками элементов АСН.1 (см. раздел 11). то они называются определениями идентичных типов за следующим
исключением: если "objectclassrcfercncc" (см. ГОСТ Р ИСО/МЭК 8824-2, 7.1) встречается в какой-либо нор
мальной форме "Туре", го эти два экземпляра не являются определениями идентичных типов и между ними не
существует отображения значений (см. F.4 ниже).
П р и м е ч а н и е — Эго исключение введено для предотвращения необходимости введения правил
преобразования к нормальной форме для элементов синтаксиса, относящихся к нотации информационных
объектов, их классов и множеств. Аналогично, не определена нормализации для нотации всех значений и
нотации арифметической установки. После доказательства требований для таких спецификаций, они могут
быть включены в последующие версии стандарта. Понятия определений идентичных типов и отображений
значений введены для обеспечения того, что простые конструкции АСН. 1могут быть использованы либо через
имена ссылок, либо копированием текста. Нет необходимости обеспечивать эту возможность для более слож
ных экземпляров "Туре", содержащих классы информационных объектов и пр.
F.4 Спецификация отображения значений
Г-.4.1 Если два экземпляра "Туре" являются определениями идентичных типов по правилам F.3. то суще
ствуют отображения между всеми значениями одного типа и соответствующими значениями другого.
F.4.2 Для типа XI. созданного тегированием из некоторого типа Х2 (см. раздел 30). отображения значе
ний существуют по определению между всеми членами XI и соответствующими членами Х2.
П р и м е ч а н и е — Хотя отображения значений по определению существуют между значениями XI и
Х2 из F.4.2 и между значениями ХЗ и Х4 из F.4.3. если такие типы встроены в идентичные вдругих отношени
ях, но разные определения типов (таких как определения типов SEQUENCE или CHOICE),
получающиеся определения типов (SEQUENCE или CHOICE) нс будут определениями идентичных типов
и между ними нс существуют отображения значений.
F.4.3 Для типа ХЗ. созданного из некоторого управляющего типа Х4 выбором значений, конструкцией
множества элементов или образованием подтипа, отображения значений существуют по определению между
членами нового типа и геми членами управляющего типа, которые были выбраны конструкцией множества
элементов или подтипа. Присутствие или отсутствие маркера расширения не влияет на это правило.
F.4.4 В F.5 определены дополнительные отображения значений между некоторыми типами символьных
строк.
F.4.5 Отображение значений существует между всеми значениями некоторого типа, определенного как
целочисленный тип с поименованными значениями, и любого целочисленного типа, определенного без по
именованных значений, с другими поименованными значениями, с другими именами поименованных значе
ний или с другими поименованными значениями и именами одновременно.
П р и м е ч а н и е — Существование отображения значений нс влияет на требования правила области
действия имен и поименованных значений. Они могут использоваться только в области действия, уираатяемой
типом, в котором они определены, или ссылкой на имя этого типа.
F.4.6 Отображение значений существует но определению между всеми значениями любого типа, опреде
ленного как битовая строка с поименованными битами, и любого типа, определенного как битовая строка без
поименованных битов, с другими поименованными бигамм, с другими именами поименованных битов или с
другими поименованными битами и менами одновременно.
92