5
гост рисо/мэк мак:
11
i» -io—99
П р и м е ч а н и я
1 В соответствии с 13.2 ГОСТ Р ИСО 9040 элемент массива считается пустым, сои он в настоящий
момент нс имеет назначенного ему значения первичного атрибута.
2 Профиль ФСВТ может, например, указывать, что этот тест нс является чувствительным для подобного
случая.
12.5.7 Выход из поля (действие)
Данное УВП яыяется первым из числа связанных УВП. Каждое УВП имеет обязательный
параметр, принимающий значение, которое указывает локальное действие, как определено в 3.5.3.
Когда выбирается какое-либо из этих УВГ1. функция локального действия применяется к
целочисленному значению, на которое указывает значение параметра, для предоставления операции
локального действия; см. 12.2.3. УВП устанавливает значение «истинно*, если удовлетворяются
следующие два условия:
- логическое местоположение ввода находится внутри существующего поля;
- выполнение операции локального действия перемещает его из области, определяемой этим
полем.
В противном случае УВП устанавливает значение «ложно».
Для этого УВП соответствующей областью является поле, в котором в настоящий момент
находится логическое местоположение ввода.
12.5.N Выход из поля вперед (действие)
Спецификация данного УВП такая же. как и для УВП «выход из поля», за исключением того,
чтосоответствующаяобластьпредставляетпутьпродвижениявперед(см.20.3.3.4
ГОСТ !’ ИСО 9040). начинающийся в пате, в котором в настоящий момент находится логическое
местопотоженне ввода.
12.5.9 Вых(н) из поля назад (действие)
Спецификация данного УВП такая же. как и дтя УВП «выход из поля», за исключением того,
чтосоответствующаяобластьпредставляетпутьпродвиженияназад(см.20.3.3.4
ГОСТ Р ИСО 9040). начинающийся в пате, в котором в настоящий момент находится логическое
местоположение ввода.
12.5.10 Выход из массива «х» (действие)
Спецификация данного УВП такая же, как и для УВП «выход из поля*, за исключением того,
что соответствующая область представляет массив «х*, в котором в настоящий момент находится
логическое местоположение ввода.
12.5.11 Выход из массива «у» (действие)
Спецификация данного УВП такая же. как и для УВП «выход из поля», за исключением того,
что соответствующая область представляет массив «у*, в котором в настоящий момент находится
логическое местоположение ввода.
12.5.12 УВП «НЕТ» (yen)
Данный параметр является обязательным. Его значением должно быть «Условие ввода в поле*.
Этот предикат устанавливается в значение «истинно*, если предикат, указанный его парамет
ром, имеет значение «ложно». В противном случае этот предикат устанавливается в значение
«ложно».
12.5.13 УВП «И» (множество yen)
Данный параметр является обязательным. Его значением должно быть МНОЖЕСТВО ИЗ
«условие ввода в поле*.
Этот предикат устанавливается в значение «истинно*, если каждый из предикатов, указанных
его параметрами, установлен в значение «истина*. В противном случае этот предикат устанавлива
ется в значение «ложно».
12.5.14 УВП «ИЛ//* (множество yen)
Данный параметр является обязательным. Его значением должно быть МНОЖЕСТВО ИЗ
«условие ввода в поле*.
Этот предикат устанавливается в значение «истинно», если любой из предикатов, указанных
его параметрами, установлен взначение «истина*. В противном случае этот предикат имеет значение
«ложно».
12.5.15 Нарушение (список ЗИВП)
Данный параметр является обязательным. Его значение — множество идентификаторов
ЗИВП. Каждый идентификатор представляет пару <имя ОУИВП. индекс>, где «индекс* —цело
численная адресация записи в ОУИВП. имя которого указывается.
16