ГОСТ Р И С 010303-11 — 2009
REPEAT i := LOINDEX(point) ТО HIINDEX(point);
circles := circles ♦
USEDIN (point pi. ’THIS_SCHEMA.CIRCLE.CENTRE’ );
END_REPEAT;
WHERE R1 : SlZEOF(
QUERY(
at zero <* circles |
— начало запроса
— взять все точки
(at_zero.centre = point (0.0, 0.0, 0.0)) — в 0,0,0
)
) >= 1;— no крайней мере, одна
END_RULE:
15.27 Арифметическая функция VALUE
FUNCTION VALUE ( V : STRING ) : NUMBER;
Функция VALUE возвращает число, представленное строкой.
Параметр: V — строка, содержащая действительный или целочисленный литерал (см. 7.5).
Результат: число, соответствующее содержанию строки. Если строка не может быть интерпретирова
на какдействительный или целочисленный литерал, то возвращается неопределенное (?) значение.
Пример — В данном примере представлены результаты вызова функции VALUE с разными пара
метрами:
VALUE ( ’1.234’) — > 1.234 (действительное число)
VALUE ( ’20’ )
VALUE ( ’abc’)
- -> 20 (целое число)
— > ? (неопределенное значение)
15.28 Функция принадлежности VALUE IN
FUNCTION VALUEJN (C : AGGREGATE OF GENERIC : GEN; V : GENERIC : GEN ) : LOGICAL;
Функция VALUEJN возвращает логическое значение в зависимости от того, принадлежитли конкрет
ное значение к агрегированной структуре.
Параметры.
a) С — агрегированная структура любого типа.
b) V — выражение, совместимое по присваиванию с базисным типом С.
Результат:
a) если V или С имеет неопределенное (?) значение, то возвращается значение UNKNOWN;
b
) если значение какого-либо элемента из С равно значению V. то возвращается значение TRUE;
c) если какой-либо элемент из С имеет неопределенное (?) значение, то возвращается значение
UNKNOWN;
d) во всех других случаях возвращается значение FALSE.
Пример — Следующая проверка обеспечивает, что существует хотя бы одна точка (объект point),
расположенная в начале координат:
LOCAL
points : SET OF point;
ENDLOCAL;
IF VALUEJN (points. point(0.0, 0.0. 0.0)) THEN...
15.29 Функция уникальности VALUEJJNIQUE
FUNCTION VALUEJJNIQUE ( V ; AGGREGATE OF GENERIC): LOGICAL;
Функция VALUEJJNIQUE возвращает логическое значение в зависимости от того, являются ли зна
чения элементов агрегированной структуры уникальными.
Параметр: V — агрегированная структура любого типа данных.
Результат:
a) если V имеет неопределенное (?) значение, то возвращается значение UNKNOWN;
b
) если значения любыхдвух элементов из V равны, то возвращается значение FALSE;
c)если любой элемент из V имеетнеопределенное (?) значение, то возвращается значение UNKNOWN;
d) во всех других случаях возвращается значение TRUE.
Пример— Следующая проверка обеспечивает, что все точки (объекты points) в наборерасположе
ны наразных позициях(по определению, эти точкиразличны, то есть их экземпляры уникальны).
IF VALUEJJNIQUE(points) THEN...
111