ГОСТ Р ИСО 13584-20—2006
EXPRESS-спеиификация
*>
ENTITY plus_expression
SUBTYPE OF (multiple_arity_numeric_expression);
END_ENTITY;
r
6.3.17 Объект minus_expression
Объект minus_expression включаетвсебя семантику операторапо ИСО 10303-11. относящую
ся к типуданных NUMBER.
П р и м е ч а н и е — Mlnus_expression является выражением, которое вычисляет разность своих операн
дов. В ISOl3584_expressions_9chema все такие операнды должны быть выражены числами, относящимися к
области числового типа данных.
EXPRESS-спеиификация
*)
ENTITY minus_expression
SUBTYPE OF (binary_numeric_expression);
END_ENTITY;
Г
6.3.18 Объект mult_expression
Объект mult_expression включает в себя семантикуоператора’ ’ поИС010303-11. относящуюся
к типуданных NUMBER.
П р и м е ч а н и е — Объект mult_expression является выражением, которое вычисляет произведение
всех своих операндов. В ISOl3584_expresslons_schema асе такие операнды должны быть выражены числами,
относящимися кобласти числового типа данных.
EXPRESS-спеиификация
*>
ENTITY mult_expression
SUBTYPE OF (multiple_arity_numeric_expression);
END_ENTITY:
r
6.3.19 Объект div_expression
Объект div_expression включает в себя семантику оператора языка EXPRESS ’DIV’ по
ИСО 10303-11. относящуюся к типуданных NUMBER.
П р и м е ч а н и е — Объект div_expresslon является выражением, которое вычисляет целое частное сво
их операндов. В IS013584_expreeslons_schema все такие операнды должны быть выражены числами, относящи
мися кобласти числовоготипа данных. Результатом является целое число.
EXPRESS-спеиификация
#)
ENTITYdiv_expression
SUBTYPE OF (binary_numeric_expression);
END_ENTITY;
r
18
Неформальное утверждение
IP1 — оценкой SELF\binary_generic_expresslon.operands[2] недолжен быть 0.