Приложение F (справочное). Сводка нотации

Приложение F
(справочное)

Сводка нотации

Следующие элементы определены в разделе 7:

     objectclassreferenсе

     objectreference

     objectsetreferenсе

     typefieldreference

     valuefieldreference

     valuesetfieldreference

     objectsetfieldreference

     word

     CLASS

     INSTANCE

     SYNTAX

     UNIQUE

Следующие элементы определены в ГОСТ Р ИСО/МЭК 8824-1 и используются в настоящем стандарте:

     empty

     modulereference

     ": : ="

     "{"

     "}"

     ","

     ":"

     "["

     "]"

     ":"

     DEFAULT

     OF

     OPTIONAL

     WITH

Следующие продукции определены в ГOCT Р ИСО/МЭК 8824-1 и используются в настоящем стандарте:

     ElementSetSpec

     Туре

     Value

     ValueSet

Следующие продукции определены в ИСО/МЭК 8824-4 и используются в настоящем стандарте:

     ParameterizedObjectClass

     ParameterizedObjectSet

     Parameterized Object

Следующие продукции определены в настоящем стандарте:

     DefinedObjectClass : : =

       ExternalObjectСlassReference | objectclassreference |

       UsefulObjectClassReference

     ExternalObjectClassReference : : = modulereference "."

       objectclassreference

     UsefulObjectСlassReference : : =

       TYPE-IDENTIFIER |

       ABSTRACT-SYNTAX

     ObjectClassAssignment : : = objectclassreference ": : = " ObjectClass

     ObjectСlass : : = DefinedObjectClass | ObjectClassDefn |

       ParameterizedObjectСlass

     ObjectClassDefn : : = CLASS "{" FieldSpec "," + "}" WithSyntaxSpec?

     FieldSpec : : =

       TypeFieldSpec |

       FixedTypeValueFieldSpec |

       VariableTypeValueFieldSpec |

       FixedTypeValueSetFieldSpec |

       VariableTypeValueSetFieldSpec |

       ObjectFieldSpec |

       ObjectSetFieldSpec

     PrimiitiveFieldName : : =

       typefieldreference |

       valuefieldreference |

       valuesetfieldreference |

       objectfieldreference |

       objectsetfieldreference

     FieldName : : = PrimitiveFieldName "." +

     TypeFieldSpec : : = typefieldreference TypeOptionalitySpec?

     TypeOptionalitySpec : : = OPTIONAL | DEFAULT Type

     FixedTypeValueFieldSpec : : = valuefieldreference UNIQUE? ValueOptionalitySpec?

     ValueOptionalitySpec : : = OPTIONAL | DEFAULT Value

     VariableTypeValueFieldSpec : : = valuefieldreference FieldNameValueOptionalitySpec?

     FixedTypeValueSetFieldSpec : : = valuesetfieldreference TypeValueSetOptionalitySpec?

     ValueSetOptionalitySpec : : = OPTIONAL | DEFAULT ValueSet

     VariableTypeValueSetFieldSpec : : = valuesetfieldreference FieldNameValueSetOptionalitySpec?

     ObjectFieldSpec : : = objectfieldreference DefinedObjectСlassObjectOptionalitySpec?

     ObjectOptionalitySpec : : = OPTIONAL | DEFAULT Object

     ObjectSetFieldSpec : : = objectsetfieldreference DefinedObjectClassObjectSetOptionalitySpec?

     ObjectSetOptionalitySpec : : = OPTIONAL | DEFAULT ObjectSet

     WithSyntaxSpec : : = WITH SYNTAX SyntaxList

     SyntaxList : : = "{" TokenOrGroupSpec empty * "}"

     TokenOrGroupSpec : : = RequiredToken | OptionalGroup

     OptionalGroup : : = "[" TokenOrGroupSpec empty + "]"

     RequiredToken : : = Literal | PrimitiveFieldName

     Literal : : = word | ","

     DefmedObject : : = ExternalObjectReference | objectreference

     ExternalObjectReference : : = modulereference "." objectreference

     ObjectAssignment : : = objectreference DefinedObjectСlass ": : = " Object

     Object : : = DefinedObject | ObjectDefn | ObjectFromObject | ParameterizedObject

     ObjectDefn : : = DefaultSyntax | DefinedSyntax

     DefaultSyntax : : = "{" FieldSetting "," * "}"

     FieldSetting : : = PrimitiveFieldName Setting

     DefinedSyntax : : = "{" DefinedSyntaxToken empty * "}"

     DefinedSyntaxToken : : = Literal | Setting

     Setting : : = Type | Value | Value Set | Object | ObjectSet

     DefinedObjectSet : : = ExternalObjectSetReference | objectsetreference

     ExternalObjectSetReference : : = modulereference "." objectsetreference

     ObjectSetAssignment : : = objectsetreference DefinedObjectClass ": : =" ObjectSet

     ObjectSet : : = "{" ObjectSetSpec "}"

     ObjectSetSpec : : =

       RootElementSetSpec |

       RootElementSetSpec "," "..."

       "..." |

       "..." "," AdditionalElementSetSpec |

       RootElementSetSpec "," "..." "," AdditionalElementSetSpec

     ObjectSetElements : : =

       Object | DefmedObjectSet | ObjectSetFromObjects |

       ParameterizedObjectSet

     ObjectСlassFieldType : : = DefinedObjectClass "." FieldName

     ObjectСlassFieldValue : : = OpenTypeFieldVal | FixedTypeFieldVal

     OpenTypeFieldVal : : = Type ":" Value

     FixedTypeFieldVal : : = Value

     InformationFromObjects : : = ValueFromObject | ValueSetFromObjects | TypeFromObject | ObjectFromObject |

       ObjectSetFromObjects

     ReferencedObjects : : =

       DefinedObject | ParameterizedObject |

       DefinedObjectSet | ParameterizedObjectSet

       ValueFromObject : : = ReferencedObjects "." FieldName

       ValueSetFromObjects : : = ReferencedObjects "." FieldName

       TypeFromObject : : = ReferencedObjects "." FieldName

       ObjectFromObject : : = ReferencedObjects "." FieldName

       ObjectSetFromObjects : : = ReferencedObjects "." FieldName

       InstanceOfType : : = INSTANCE OF DefinedObjectClass

       InstanceOfValue : : = Value