ГОСТ Р ИСО/МЭК 8825-6-2013
12.2.1.6(Справочно) Идентификация цели(ей) (и возможная информация о
квалификации) процедуры «Targets» использует одну из четырех основных форм:
a) использование «typereference» (см. 12.2.2) возможно в сопровождении
списка идентификаторов, разделенных точкой (или звездочкой, чтобы обозначить
единственный компонент последовательности или набора), идентифицируя также:
1) «Туре» в присвоении типа (если нет никакого разделенного точкой
списка идентификаторов);
2) «Туре» в компоненте определения типа (который может содержать
высокоуровневыекомпоненты,представленныеконструктором
COMPONENTS OF — см. 12.2.1.1 1);
b)использованиеALLкакпоследнегоидентификаторав формеа),
идентифицируявсе «Туре»,представленныев определениитипа(который
идентифицируется предыдущей ссылкой типа и разделенным точкой списком
идентификаторов);
c)использование«BuiltlnTypeName»(см.12.2.3), идентифицируявсе
«Туре»вмодуле,которыеописываютсяприпомощисоответствующего
встроенного имени типа или конструктора;
d)использованиесписка«identifier»сопровождаемыхIN(илиALL
сопровождаемыхIN, или COMPONENTSсопровождаемыхIN) и формы из
вышестоящего пункта а) (см. также 12.2.4), идентифицируя:
1) «Туре» идентифицированных компонентов формы а);
2) (использование ALL) все «Туре», которые дословно появляются
внутри «Туре», идентифицированного формой а);
3) (использование COMPONENTS) все «Туре», которые являются
высокоуровневыми компонентами «Туре», идентифицированного формой а).
Примечания
1 Термин «определение типа» («type definition»), используемый в а) и Ь), подчеркивает,
что только дословно представленные идентификаторы могут использоваться. Идентификаторы
не могут использоваться, если «Туре» является ссылкой типа.
15