ГОСТ Р ИСО 13584-20—2006
6.4.6 Объект odd_functlon
Объект odd_function включает в себя семантику оператора языка EXPRESS ’ODD’ по
ИСО 10303-11.
П р и м е ч а н и е — Функция ODD возвращает значение TRUE или FALSE в зависимости от того, является
число нечетным или четным. Ее параметром является числовое выражение, значение которого принадлежит к
целому типу данных. В качестве результата функция возвращает значение TRUE, если значение параметра по
модулю 2 равно 1. и FALSE — в противном случае.
EXPRESS-спецификация
*)
ENTITYodd_function
SUBTYPE OF (unary_boolean_express»on);
SELF\unary_generic_expression.operand: numeric_expressk>n;
WHERE
WR1: is_int_expr(SELF\numeric_expression);
END_ENTITY;
r
Определение атрибута
SELF\unary_generic_expression.operand — выражение numeric_expression. котороепредстав
ляетсобойоперанд функции ’ODD’.
Формальное утверждение
WR1 — операнд представляет собой выражение numeric_expression. областью значений кото
рого является типданных INTEGER языка EXPRESS.
6.4.7 Объектbinary_boolean_exprossion
Объект binary_boolean_expression представляет собой бинарный оператор, областью значений
которого является типданных BOOLEAN языка EXPRESS по ИСО 10303-11.
EXPRESS-спецификация
*)
ENTITY binary_boolean_expression
ABSTRACT SUPERTYPE OF(ONEOF (xor_expression. equats_expression))
SUBTYPE OF (boolean_expression. binary_generic_expression);
END_ENTITY;
r
6.4.8 Объект multiple_arity_boolean_expression
Объект multiple_arity_boolean_expression представляет собой оператор большой арности,
областью значений которого являетсятип данных BOOLEAN языка EXPRESS по ИСО 10303-11.
EXPRESS-спецификация
*)
ENTITY multiple_arity_boolean_expression
ABSTRACT SUPERTYPE OF (ONEOF (and_expression. or_expression))
SUBTYPE OF (boolean_expression, multiple_arity_generic_expression);
SELF\multiple_arity_generic_expression.operands:
LIST [2:?] OF boolean_expression;
END_ENTITY;
Г
Определение атрибута
operands — экземпляры объекта boolean_expression. которые представляют собой параметры
оператора большой арности.
6.4.9 Объектxor_expression
Объект xor_expression включает в себя семантикуоператора ’XOR’ по ИС010303-11.
27