ГОСТ Р ИСО 13584-20—2006
ABSTRACT SUPERTYPE OF (ONEOF (minus_expression.
div_expression,
mod_expression.
slash_expression,
power_expression,
binary_function_call))
SUBTYPE OF (numeric_expression. binary_generic_expression);
SELF\binary_generic_expression.operands;LIST [2:2] OF
numeric_expression:
END_ENTITY;
r
Определение атрибута
operands — список, содержащийдва параметра бинарногооператора.
6.3.11 Объект multiple_arity_numeric_expression
Объект multiple_arity_numeric_expression является оператором большой арности, диапазоном
которого является типданных NUMBER по ИС010303-11.
EXPRESS-спеиигЬикаиия
*)
ENTITY multiple_arity_numeric_expression
ABSTRACT SUPERTYPE OF (ONEOF (plus_expression.
mult_expression.
multiple_arity_function_call))
SUBTYPE OF (numeric_expression. multiple_arity_genoric_expression);
SELRmultiple_arity_generic_expression.operands : LIST [2:?] OF
numeric_expression
END_ENTITY;
Г
Определение атрибута
operands — список, содержащийпараметрыоператора большойарности. Длинаэтогоспискарав
на арности оператора.
6.3.12 Объект length_function
Объект length_function включает всебя семантикуфункции LENGTH по ИСО 10303-11.
П р и м е ч а н и е — Функция LENGTH возвращает число символов в строке. Ее параметром является объ
ект strlng_expression, содержащий значение строковоготипаданных. Результатом выполнения функции является
возвращенное значение, которое представляет собойчислосимволов встроке; онодолжнобытьбольше или равно
нулю.
EXPRESS-cneundJHKaunp
*)
ENTITY length_function
SUBTYPE OF (numeric_expression. unary_generic_expression);
SELRunary_generic_expression.operand: string_expression;
END_ENTITY;
r
Определение атрибута
SELF\unary_generlc_exprossion.operand — строка, длина которой вычисляется с помощью
функции longth_function.
6.3.13 Объект value_functlon
Объект value_function включает в себя семантику функции VALUE по ИСО 10303-11. Если значе
ние. представленное объектом string_expression, который соответствует унаследованному атрибуту
operand, является целым числом, должен быть использован подтип int_value_function.
16