Тип
INSTANCE OF MHS-BODY-CLASS ({PossibleBodyTypes})
имеет эквивалентный тип "последовательность"
[UNIVERSAL 8] IMPLICIT SEQUENCE
{
type-id MHS-BODY-CLASS,&id ({PossibleBodyTypes}),
value [0] MHS-BODY-CLASS.&Type ({PossibleBodyTypes} {@.type-id})
}
Здесь компонент последовательности "type-id" ограничен тем, что может принимать значения поля &id одного из типов "PossibleBodyTypes", тогда как компонент "value" ограничен тем, что может быть любым значением поля &Туре того же самого информационного объекта.
В этом случае продукция "PossibleBodyTypes" была бы, вероятно, параметром спецификации (см. ИСО/МЭК 8824-4, разделы 10 и А.8), который не мог бы быть разрешен до тех пор, пока не создана заявка о соответствии реализации протокола, оставляя указанные выше ограничения переменными, как определено в ИСО/МЭК 8824-4, пункт 10.3.
Приложение В
(справочное)
(справочное)
Сводка нотации
Следующие элементы определены в 7.1:
CONSTRAINED
BY
Следующие элементы определены в ГОСТ Р ИСО/МЭК 8824-1 и используются в настоящем стандарте:
modulereference
number
": : ="
"{"
"}"
","
"."
Следующие продукции определены в ГОСТ Р ИСО/МЭК 8824-1 и используются в настоящем стандарте:
Туре
Следующие продукции определены в ГОСТ Р ИСО/МЭК 8824-2 и используются в настоящем стандарте:
DefinedObjectClass
DefinedObjectSet
ObjectSet
Следующие продукции определены в ИСО/МЭК 8824-4 и используются в настоящем стандарте:
ActualParameter
Governor
Следующие продукции определены в настоящем стандарте:
GeneralConstraint : : = UserDefinedConstraint2TableConstraint
UserDefinedConstraint : : = CONSTRAINED BY
"{" UserDefinedConstraintParameter "," * "}"
UserDefinedConstraintParameter : : = Governor ":" ActualParameter|
ActualParameter
TableConstraint : : = SimpleTableConstraint |
ComponentRelationConstraint
SimpleTableConstraint : : = ObjectSet
ComponentRelationConstraint : : = "{" DefinedObjectSet "}"
AtNotation "," + "}"
AtNotation : : = "@" ComponentldList | "@." ComponentldList
ComponentldList : : = identifier "." +