ГОСТ Р ИСО 13584-20—2006
IF’IS013584_GENERIC_EXPRESSI0NS_SCHEMA.BINARY_GENERIC_EXPRESSI0N’
IN TYPEOF (arg))
THEN
RETURN(used_variables(arg\binary_generic_expression.operands{1])
♦ used_variables (arg\binary_generic_expression.operands[2]));
ENDJF;
IF
’IS013584_GENERIC_EXPRESSI0NS_SCHEMA.MULTIPLE_ARITY_GENERIC_EXPRESSI0N’
INTYPEOF (arg)
THEN
REPEAT i:= 1TO
SIZEOF(arg\multiple_arity_generic_expression.operands);
result :=result ♦ used_variables(
arg\multiple_arity_generic_expression.operands[i]);
END_REPEAT:
RETURN (result);
ENDJF;
RETURN ([]);- в этом случав подтип недолжен содержать
- никаких переменных (см. IP1 Bgeneric_expression)
ENDJUNCTION; - used_variables
END_SCHEMA; -- IS013584_generic_expressions_schema
Г
6 IS013584_expressions_schema
В данном разделеустановлены требования кIS013584_expressions_schema. Следующее описа
ние на языке EXPRESS представляетблок IS013584_expressions_schema иустанавливаетнеобходи
мые внешниессылки.
EXPRESS-спецификаиия
*)
SCHEMA IS013584_expressions_schema:
REFERENCE FROM IS013584_generic_expressk>ns_schema(
generic_expression.
simple_generic_expression,
generic_variable.
genericjiteral,
unary_generic_expression.
binary_generic_expression.
multiple_arity_generic_expression);
Г
6.1 Введение
IS013584_expressions_schema обеспечивает моделирование числовых, булевых и строковых
выражений, построенных изоператоров ифункций языка EXPRESS. Именаоператоров ифункций — по
ИСО 10303-11. Они имеют ту же семантику, что и соответствующиеэлементы в ИС010303-11.
Основнаяструктура — поIS013584_generic_exprossions_schema. Онапредставляетсобойори
ентированныйациклическийграф, узлами которогоявляютсяоператоры, литеральныезначения ипере
менные. а связи представляют собой взаимосвязь операторов со своими аргументами, которые сами
являются выражениями.
IS013584_expressions_schema обеспечивает строгое определение типа выражения. Любое
выражение обозначает либо числовое, либо строковое, либо булево значение. Этот типданных может
быть вычислен по структуре выражения. Чтобы дать возможность включить в выражение либо
generic_expression. либо функцию, определенную в приложении, типданных результата которой явля
ется либо числом, либо строкой, либо булевым значением. IS013584_expressions_schema содержит
11