ГОСТ Р ИСО/МЭК 24709-1— 2009
8.11.2.2 Выходные параметры процессов являются локальными переменными (см. 7.2).
8.11.2.3 Имена выходных параметров процессовдолжны быть корректными именами локальных пе
ременных (см. 7.2).
8.11.2.4 Имена всехлокальных переменных процесса (включая входные и выходные параметры про
цесса)должны быть уникальными.
8.12 Элемент <set>
8.12.1 Синтаксис
8.12.1.1 Данный элементдолжен иметь следующие атрибуты:
a) name (обязательный атрибут) — значением этого атрибутадолжно быть корректное имя перемен
ной (см. 7.2). которой должно быть присвоено значение или которая подлежит созданию с последующим
присвоением значения:
b) value (необязательный атрибут)— если этот атрибут присутствует, то он должен содержать значе
ние. которое должно бытьприсвоено переменной с именем, определяемым обязательным атрибутом name;
c) var (необязательный атрибут) — если этот атрибут присутствует, то значением атрибута должно
быть корректное имя переменной (см. 7.2). значение которой должно быть присвоено переменной с име
нем. определяемым обязательным атрибутом пате.
8.12.1.2 Должен присутствовать только один из атрибутов value или var.
8.12.1.3 В составданного элемента может также входить:
- необязательный элемент <only_lf>, представляющий собой условие и определенный в 8.16.
8.12.2 Семантика
8.12.2.1 Этот элемент представляет собой присвоение значения переменной с возможной проверкой
условия.
8.12.2.2 Значением атрибута пате должно быть корректное имя глобальной или локальной перемен
ной (см. 7.2). Значение атрибута name не должно быть входным параметром обрабатываемого утвержде
ния (см. 8.3) и не должно начинаться с двух следующих друг за другом символов «НИЖНЕЕ ПОДЧЕРКИ
ВАНИЕ» («
__
»). Переменная может существоватьдо присвоения значения, а может быть новой перемен
ной. созданной в процессе присвоения значения.
8.12.2.3 Если присутствует дочерний элемент <only_if>. необходимо провести проверку условия
(см. 8.16).
8.12.2.4 Результатом проверки должно быть корректное логическое значение (см. 7.5).
8.12.2.5 Если результат проверки имеет значение "true", то присвоение значения переменной, имя
которой определено значением атрибута name, осуществляется следующим образом.
8.12.2.5.1 Если переменной не существует, ее необходимо создать.
8.12.2.5.2 Если присутствует атрибут var, то его значением должно быть имя существующей пере
менной. Значение этой переменнойдолжно быть присвоено переменной, имя которой определяется значе
нием атрибута name.
8.12.2.5.3 Если присутствует атрибут value, то его значениедолжно быть присвоено переменной, имя
которой определяется значением атрибута пате.
8.13 Элемент <add>
8.13.1 Синтаксис
8.13.1.1 Данный элементдолжен иметь следующие атрибуты:
a) пате (обязательный атрибут) — значением этого атрибутадолжно быть корректное имя перемен
ной (см. 7.2). значение которойдолжно быть изменено:
b) value (необязательный атрибут) — если этот атрибут присутствует, то его значением должно быть
целое число, которое необходимо прибавить к текущему значению (представляющему собой также целое
число) переменной, имя которой определяется обязательным атрибутом name:
c) var (необязательный атрибут) — если этот атрибут присутствует, то его значением должно быть
корректное имя переменной (см. 7.2). значение которой должно быть целым числом, которое необходимо
прибавить к текущему значению переменной, имя которой определяется обязательным атрибутом пате
8.13.1.2Должен присутствовать только один из атрибутов — value или var.
8.13.1.3 В составданного элемента может также входить:
-дополнительный элемент <only_if>. представляющий собой условие и определенный в 8.16.
8.13.2 Семантика
8.132.1Этот элемент представляет собой прибавление целогочисла к значению (также являющему
ся целым числом) переменной с возможной проверкой условия.
29