ГОСТ Р ИСО/МЭК 24709-1— 2009
8.13.2.2 Значением атрибута name должно быть корректное имя глобальной или локальной перемен
ной (см. 7.2). Значение атрибута name не должно быть входным параметром обрабатываемого утвержде
ния (см. 8.3) и не должно начинаться с двух следующихдруг за другом символов «НИЖНЕЕ ПОДЧЕРКИ
ВАНИЕ» («
__
»). Переменная, имя которой определяется значением атрибута пате, должна существовать
до присвоения значения, а ее значениемдолжно быть корректное представлением целого числа (см.
7.4).
8.13.2.3 Если присутствует дочерний элемент <only_if>. необходимо провести проверку условия
(см. 8.16).
8.13.2.4 Результатом проверки условия должно быть корректное логическое значение (см. 7.5).
8.13.2.5 Если результатом проверки условия является значение «true», то переменной, имя которой
определяется значением атрибута name, присваивается новое значение следующим образом.
8.13.2.5.1 Переменной должно быть присвоено каноническое представление целого числа, которое
является суммой двух операндов. Первый операнд является целым числом, соответствующим текущему
значению переменной. Второй операндопределяют следующим образом.
8.13.2.5.2 Если присутствует атрибут var, то его значением должно быть имя существующей пере
менной. Значением этой переменной должно быть корректное представление целого числа (см. 7.4), кото
рое является вторым операндом.
8.13.2.5.3 Если присутствует атрибут value, то его значениемдолжно быть корректное представление
целого числа (см. 7.4), которое является вторым операндом.
8.14 Элемент «subtract»
8.14.1 Синтаксис
8.14.1.1 Данный элементдолжен иметь следующие атрибуты:
a) name (обязательный атрибут)— значением этого атрибутадолжно быть корректное имя перемен
ной (см. 7.2). значение которой должно быть изменено:
b) value (необязательный атрибут) — если этот атрибут присутствует, то его значением должно быть
целое число, которое необходимо вычесть из текущего значения (представляющего собой целое число)
переменной, определяемой значением обязательногоатрибута name:
c) var (необязательный атрибут) — если этот атрибут присутствует, то его значением должно быть
корректное имя переменной (см. 7.2), значение которой представляет собой целое число, которое необхо
димо вычесть из текущего значения переменной, определяемой значением обязательного атрибута name.
8.14.1.2 Должен присутствовать только один из атрибутов — value или var.
8.14.1.3 В состав элемента может также входить;
-дополнительный элемент <only_if>. представляющий собой условие и определенный в 8.16.
8.14.2 Семантика
8.14.2.1 Этот элемент представляет собой вычитание целого числа из значения (являющегося также
целым числом) переменной с возможной проверкой условия.
8.14.2.2 Значением атрибута name должно быть корректное имя глобальной или локальной перемен
ной (см. 7.2). Значение атрибута name не должно быть входным параметром обрабатываемого утвержде
ния (см. 8.3) и не должно начинаться с двух следующихдруг за другом символов «НИЖНЕЕ ПОДЧЕРКИ
ВАНИЕ» («
__
»). Переменная, имя которой определяется значением атрибута пате, должна существовать
до присвоения значения, а ее значением должно быть корректное представление целого числа (см. 7.4).
8.14.2.3 Если присутствует дочерний элемент <only_if>. необходимо провести проверку условия
(см. 8.16).
8.14.2.4 Результатом проверки должно быть корректное представление логического значения
(см. 7.5).
8.14.2.5 Если результатом проверки условия является значение "true", то переменной, имя которой
определяется значением атрибута name, присваивается новое значение следующим образом.
8.14.2.5.1 Переменной должно быть присвоено каноническое представление целого числа, которое
является разностью двух операндов. Первый операнд является целым числом, соответствующим текуще
му значению переменной. Второй операндопределяют следующим образом.
8.14.2.5.2 Если присутствует атрибут var, то его значением должно быть имя существующей пере
менной. Значением этой переменной должно быть корректное представление целого числа (см. 7.4), кото
рое является вторым операндом.
8.14.2.5.3 Если присутствует атрибут value, то его значением должно быть корректное представле
нием целого числа (см. 7.4), которое является вторым операндом.
30