ГОСТ Р ИСО 13584-20—2006
П р и м е ч а н и е — У оператора concat_expression есть, по крайней мере, два операнда типа
string_expression. Он вычисляет строковое значение, являющееся результатом конкатенации всех элементов
списка SELFVmultlple_arlty_generlc_expresslon.operands. Конкатенация этих элементов осуществляется в
порядке их расположения в списке.
EXPRESS-спеиификация
*)
ENTITY concat_expression
SUBTYPE OF (string_expression, multiple_arity_generic_expression);
SELF\multiple_arity_generic_expression.operands:
LIST[2: ?] OF string_expression;
END_ENTITY;
r
Определение атрибута
SELRmultiplo_arity_generic_expression.operands — выражения типа string_expression, кото
рые подлежат конкатенации.
6.5.7 Объектformat_functlon
Объектformat_functlon включает в себя семантикуфункции FORMAT по ИСО 10303-11.
П р и м е ч а н и е — Функция format_functlon возвращает отформатированное строковое представление
числа. Ее параметрами являются: numerlc_expression, соответствующее операнду value_to_format. которое
выражается в виде вещественного или целого числа, и slringexpresslon, соответствующее операнду
format_etrlng. которое выражается в виде строки, содержащей команды форматирования. Результатом функции
является строковое представление значения операнда value_to_format. соответствующее значению операнда
formal_strlng. Строка форматирования содержит специапьные символы, которые указывают, какой формат дол
жен быть урезультата. Различные способы описания строки форматирования установлены в ИСО 10303-11.
EXPRESS-спеиификация
*)
ENTITYformat_funotion
SUBTYPE OF (string_expression. binary_generic_expression);
DERIVE
value_to_format:generic_expression:=
SELF\binary_generic_expression.operands[1];
format_string:generic_ expressions
SELF\binary_generic_expression.operands[2];
WHERE
WR1: ({’IS013584_EXPRESSI0NS_SCHEMA.NUMERIC_EXPRESSI0N’)
IN TYPEOF(value_to_format))
AND ((*IS013584_EXPRESSIONS_SCHEMA.STRING_EXPRESSION’)
IN TYPEOF(format_string));
END_ENTITY;
Г
Определения атрибутов
value_to_format — объект numeric_expression, который должен быть отформатирован;
format_string — команды форматирования, которые определяют видрезультата.
Формальное утверждение
WR1 — операнд value_to_format должен принадлежать к типу numeric_expression. а операнд
format_string — к типу string_expression.
6.5.8 Объектstring_defined_function
Объект string_defined_function представляет собой любой оператор, определенный в приклад
ной программе, областью значений которогоявляется типданных STRING по ИСО 10303-11.
EXPRESS-спеиификация
*)
ENTITY string_defined_function
36