ГОСТ Р 53556.5—2013
В пределах блока оператора кодаоперации формальные параметры могут использоваться, каклюбая
другая переменная. Тег уровня каждого формального параметра определяет уровень переменной. Если
код операции будет на определенном уровне, то никакой формальный параметр недолжен быть объявлен
раньше, чем этот уровень.
Существует специальный тег
xsig.
который позволяет формальным параметрам быть полиморфным
уровнем,
xsig
не должен быть тегом уровня любого формального параметра, если тип кода операции не
будет
opcode.
8.7.5 Объявления переменной кода операции
8.7.5.1 Синтаксическая форма
<opcode vardeclarations> •> <opcode vardeclaration>[ <opcode var declaratioris>]
<opcode vardeciarations>
->
<NULL>
<opcode vardedaration> •> <nstrvariable dedaration>
<opcode vardeclaration» •> xsig <namelist>;
В контексте кода операции маркеры
inchannels
и
outchannels
обращаются к каналам ввода и каналам
вывода связанного инструмента.
Синтаксис и семантика объявлений переменной кода операции являются теми же. как и в инструмен
тальных объявлениях переменной, со следующими исключениями и дополнениями.
Имена переменной кода операции доступны только в рамках кода операции, содержащего их. Инст
рументальные объявления переменной для инструментального инстанцирования, связанного с вызовом
кода операции, не в рамках кода операции, и ссылки на эти имена недолжны быть сделаны, если имена не
будут явно объявлены в пределах кода операции. Стандартные имена в рамках каждого кода операции
должны датьсемантику в применении к инструментальному инстанцированию, связанномус вызовом кода
операции. У переменной не должно быть уровня выше, чем уровень кода операции. Стандартные имена
выше, чем уровень кода операции, не определяются в коде операции. Тег
imports
недолжен использовать ся
для локального сигнала
к
уровня, когда нет никакой глобальной переменной того же самого имени.
Значения переменных кода операции статичны и сохраняются от вызова до вызова, ссылающегося
на определенное состояние кода операции. Значения переменных кода операциидолжны быть установле
ны в 0 в состояние кода операции прежде, чем первый вызов, ссылающийся на это состояние, будет
выполнен.
tablemap
объявление можетсослаться на любые таблицы, объявленные в локальном контексте, так
же как на любыеформальные параметры, которые являются таблицами.
Значения переменных кода операции в различных состояниях того же самого кода операции (из-за
различного синтаксического использования выражений кода операции или различных выражений индекса
ции в
ораггау
выражениях) являются отдельными и не имеют никакого отношения друг к другу.
Существует специальный тег
xsig.
который может использоваться, чтобы объявить переменные кода
операции с полиморфным уровнем кода операции, если тип кода операции не будет
opcode.
8.7.6 Блок оператора кода операции
8.7.6.1 Синтаксическая форма
<opcode statement block>
->
<opcode statement> [ <opcode statement block> ]
<opcode statement block> -> <NULL>
<opcode statement>•> <statement>
<opcode statement> ■> return ( <exprlist> );
Синтаксис и семантика операторов в кодах операции являются тем же, как синтаксис и семантика
операторов в инструментах, со следующими исключениями и дополнениями.
Никакой оператор в коде операции не должен быть выше, чем уровень кода операции.
Оператор присваивания и значения всех переменных обращается к состоянию кода операции, или к
связанному с определенным выражением индексации в обращении оператору
ораггау.
Существует специальный оператор
return,
который используется в кодах операции. Этот оператор
позволяет возвращать значения кодов операции назад.
87.6.2 Оператор
return
Оператор
return
позволяет возвращать значения кодов операции назад.
Список параметра выражения может содержать и однозначные и оцененные массивом выражения.
Уровень оператора
return
является уровнем кода операции. Никакое выражение в списке параметра
выражения недолжно быть выше, чем уровень кода операции.
Оператор
return
должен быть оценен следующим образом. Каждое выражение в списке параметра
выражения оценивается в порядке, как они происходят в списке. Исходное значение кода операции явля-
37