ГОСТ Р ИСО/МЭК 8824-2-2001

objectB EXAMPLE-CLASS : : = {

TYPE- FIELD    IA5String

FIXED-TYPE-VALUE-FIELD    456

VARIABLE-TYPE-VALUE-FIELD    «abc»

VARIABLE-TYPE-VALUE-SET-FIELD {«d» | «e» | «f»}

}

-    - Следующее множество объектов содержит два определяемых

-    - объекта и один встроенный.

ObjectSet EXAMPLE-CLASS : : = {

objectA | objectB |

{

TYPE-FIELD    INTEGER

FIXED-TYPE-VALUE-FIELD    789

VARIABLE-TYPE-VALUE-SET-FIELD {4 | 5 | 6}

}

}

-    - Следующие определения извлекают информацию из объектов и

-    - множества объектов.

integerValue INTEGER : : = objectA.&fixedTypeValueField stringValue IA5String : : = objectB.&variableTypeValueField IntegerValueSetFromObjectA INTEGER : : = {objectA.&FixedTypeValueSetField} StringValueSet IA5String : : = {objectB.&VariableTypeValueSetField}

StringType : : = objectB.&TypeField

objectFromObjectA SIMPLE-CLASS : : = objectA.&objectField ObjectSetFromObjectA SIMPLE-CLASS : : = {objectA.&ObjectSetField} SetOfValuesInObjectSet INTEGER : : = {ObjectSet.&fixedTypeValueField} SetOfValueSetsInObjectSet INTEGER : : = {ObjectSet.&FixedTypeValueSetField} SetOfObjectsInObjectSet SIMPLE-CLASS : : = {ObjectSet.&objectField} SetOfObjectSetsInObjectSet SIMPLE-CLASS : : = {ObjectSeL&ObjectSetField}

ПРИЛОЖЕНИЕ E (справочное)

Руководство по модели АСН. 1 расширения множества объектов

Спецификация АСН. 1 может определять множества информационных объектов, и эти множества объектов с помощью маркера расширения могут быть помечены как расширяемые. Использование маркера расширения с множествами объектов отличается от использования с типами тем, что часто этот маркер указывает на требование к приложению динамически добавлять объекты в множество или удалять из него. Табличные ограничения и ограничения связи компонентов, которые при этом не удовлетворяются, сами по себе не рассматриваются как ошибки, если множество объектов является расширяемым. В таких случаях не является ошибкой, если значение указанного типа не найдено в множестве объектов, но если оно найдено, то должно удовлетворяться ограничение для ссылающегося типа.

24