ГОСТ Р ИСО 13584-20—2006
SUPERTYPE OF {ONEOF (int_numeric_variable,
real_numeric_variable))
SUBTYPE OF (simple_numeric_expression, variable);
WHERE
WR1;(’IS013584_EXPRESSIONS_SCHEMA .INT_NUMERIC_VARIABLE’
INTYPEOF_(SELF))OR
(’IS013584_EXPRESSI0NS_SCHEMA .REAL_NUMERIC_VARIABLE’
INTYPEOF (SELF));
END_ENTITY;
(*
Формальное утверждение
WR1 — объект numeric_variablc может быть только целой или вещественной переменной.
6.3.7 Объект int_numeric_variable
Объектint_numeric_variable являетсяпеременной, которая представляетсобой значениецелого
числа.
EXPRESS-спецификаиия
*>
ENTITY int_numeric_variable
SUBTYPE OF (numeric_variable);
END_ENTITY;
C
6.3.8 Объект real_numeric_variable
Объект real_numeric_variable является переменной, которая представляет собой значение
вещественного числа.
EXPRESS-спецификаиия
•)
ENTITY real_numeric_variable
SUBTYPE OF (numeric_variable);
END_ENTITY;
r
6.3.9 Объект unary_numeric_expression
Объект unary_numeric_expression является унарным оператором, диапазоном которого являет
ся типданных NUMBER по ИСО 10303-11.
EXPRESS-спецификаиия
*)
ENTITY unary_numeric_expression
ABSTRACT SUPERTYPE OF (ONEOF (unary_function_call))
SUBTYPE OF (numeric_expression. unary_generic_expression):
SELRunary_generic_expression.operand: numeric_expression;
END_ENTITY;
C
Определение атрибута
operand — числовое выражение, которое представляет собой параметр унарногооператора.
6.3.10 Объектbinary_numeric_expression
Объект binary_numeric_expression является бинарным оператором, диапазоном которого явля
ется типданных NUMBER по ИСО 10303-11.
EXPRESS-спецификаиия
*>
ENTITY binary_numeric_expression
15