ГОСТ Р ИСО 13584-20—2006
П р и м е ч а н и е — Объект lnteger_de(lned_functlon является ресурсом, позволяющим конкретизировать
эту схему путем включения любой определяемой приложением функции, которая возвращает значение, принадле
жащее области данных целого типа.
6.3.42 Объект real_defined_functlon
Объект real_defined_function представляет собой любую функцию, областью значений которой
является типданных REAL по ИСО 10303-11.
EXPRESS-спецификация
*)
ENTITY real_defined_function
ABSTRACT SUPERTYPE
SUBTYPE OF (numeric_defmed_function);
END_ENTITY;
C
Неформальное утверждение
IP1 — подтипом объекта real_defined_function может быть либо объект generic_expression,
либо такой подтип, который несодержит какой-либо объектgeneric_variable.
П р и м е ч а н и е — Объект real_deflned_tunction является ресурсом, позволяющим конкретизировать эту
схему путем включения любой определяемой приложением функции, которая возвращает значение, принадлежа
щее области данных вещественного типа.
6.4 Определения объектов булевых выражений
Объект boolean_expression представляет собой выражение, областью значений которого явля
ется типданных BOOLEAN по ИС010303-11.
EXPRESS-спецификация
*)
ENTITY boolean_expression
ABSTRACT SUPERTYPE OF (ONEOF (simple_boolean_expression.
unary_boolean_expression.
binary_boolean_expression,
multiple_arity_boolean_expression,
comparison_expression,
interval_expression.
boolean_defined_function))
SUBTYPE OF (expression);
END_ENTITY;
c
6.4.1 Объект simple_boolean_expression
Объект simple_boolean_expression представляет собой унарный оператор, областью значений
которого являетсятип данных BOOLEAN по ИС010303-11.
EXPRESS-спецификация
*)
ENTITYsimple_boolean expression
ABSTRACT SUPERTYPE OF (ONEOF (booleanjiteral.
boolean_variable))
SUBTYPE OF (boolean_expression. simple_generic_expression);
END_ENTITY;
(*
25