ГОСТ Р ИСО/МЭК 8824-1-2001
в) только тот “Symbol" из присутствующих в "Symbol List" для "SymbolsFromModule" может
быть использован в качестве символа в любой ссылке "Extemal<X>Reference”, который имеет ссыл
ку "modulereference". обозначенную “GlobalModuleReference" в этом "SymbolsFromModule" (где <Х>
есть "value", "type", "object", "objectclass" или "objectset");
г) если нет такого "Symbol", то для "Symbolslmported" должна быть выбрана пустая альтерна
тива "empty".
П р и м с ч а и и с 2 —Из в) и г) следует утверждение: "IMPORTS:" подразумевает, что модуль не может
содержать"Extemal<X> Relercпсе":
д) все "SymbolsFromModule" в “SymbolsFromModuleList" должны содержать экземпляры ссыл
ки "GlobalModuleReference", такие, что:
i) все "modulereference" в ней отличны друг от друга и от "modulereference", ассоциированной
со ссылающимся модулем, и
И) "AssignedIdentifier", когда он не пуст, обозначает значения идентификаторов объектов,
которые отличны друг от друга и от значения идентификатора объекта (если он есть), ассоцииро
ванного со ссылающимся модулем.
12.16Когда для "Imports" выбрана пустая альтернатива "empty", то модуль может ссылаться на
"Symbol", определенный в другом модуле с помощью "External<X>Reference".
Пр и м е ч а н и е —Альтернатива "empty" для "Imports" включена для совместимости с предшествующи
ми версиями ногайки.
12.17 Идентификатор, который появляется в "NamedNumberList". "Enumeration" или
’Named BitList", импортируется неявно, если определяющая его ссылка на п т импортируется или
появляется как компонент (или подкомпонент) в импортируемом типе.
12.17 bis Символ "Symbol" из ’SymbolsFrom Module" может появляться в "ModuleBodу" в каче
стве ссылки "Reference". Смысловое значение, связанное с "Symbol", то же самое, какое он имеет в
модуле, обозначенном соответствующей ссылкой "GlobalModuleReference".
12.18 Когда символ "Symbol" также появляется в "AssignmentList" (не рекомендуется) или в
одном или нескольких других экземплярах "SymboLsFromModule", он должен использоваться только в
ссылках "External<X>Reference“. Если он таким образом не появляется, то он должен использо ваться
непосредственно как ссылка "Reference".
12.19 Различные альтернативы для присвоения "Assignment" определены в следующих разделах
настоящего и последующих стандартов:
Альтернатива присвоенияОпределяющий раздел
"Type Assignment"15.1
"ValueAssignment" 15.2
“ValueSetTypeAssign ment" 15.4
“ObjectClassAssignment"ГОСТ P ИСО/МЭК 8824-2, 9.1
"ObjectAssignment”ГОСТ Р ИСО/МЭК 8824-2. 11.1
"Object SetAssignment"ГОСТ Р ИСО/МЭК 8824-2, 12.1
“ParameterizedAssignment"ИСО/МЭК 8824-4. 8.1
Первый символ в любом "Assignment" яаляется одной из альтернатив для “Reference", обозна
чающей определяемое ссылочное имя. Ни для каких двух присвоений в списке "AssignmentList" не
может быть одинаковых ссылочных имен.
13 Ссылки на определения типов и значений
13.1Последовательности, которые должны использоваться для ссылок на определения типов
и значений, определяются следующими продукциями:
DefinedType::=
Externaltypereference |
typereference|
ParameterizedType |
ParameterizedValueSetType
DefinedValue : : =
Externalvaluereference|
valuereference|
ParameterizedValue
21