ГОСТ Р ИСО 13584-20—2006
SUBTYPE OF <simple_complex_expres8ion,generic_literal):
real_part, imag_part:REAL;
END_ENTITY.
ENTITY unary_complex_expressson
END_ENTITY;
ENTITY binary_complex_expression
END_ENTlTY;
ENTITY multiple_arity_complex_expresslon
END_ENTITY.
ENTITY po8iUon_cartesian_constructor
SUBTYPE OF (complex_expression. binary_gener»c_expression);
x, у :REAL
END_ENTITY.
ENTITY position_polar_constructor
SUBTYPE OF (complex_expression,blnary_gener»c_expression):
ro. theta. REAL;
END_ENTITY;
(*
Шаг 4 — Специализация схемы IS013584_generlc_expres8lons_schema задается определением следую
щих объектов:
EXPRESS-спеииФикаиия
*)
ENTITY real_part_defined_funcbon
SUBTYPE OF (real_deflned_functlon.unary_generic_expression):
the_complex;complex_express»on;
END.ENTITY;
ENTITY imaginary_part_defined_funcbon
SUBTYPE OF (real_defmed_function.unary_generic_expression)
the_complex; complex_expresston;
END_ENTITY,
ENTITY angle_defined_function
SUBTYPE OF (real_deflned_functlon,unary_generlc_expres8ion)
END_ENTITY.
ENTITY module_deflned_function
SUBTYPE OF <real_deflned_funcllon.unary_generic_expression).
END_ENTITY.
(*
Отметим, что эта схема осталась неполной, тах как целью данного приложения не является установка стан
дартной схемы для комплексных выражений.
Е.6 Пример специализации схемы IS013584_expresslons_schema
Данный пример соответствует случаю, когда шаг 3. приведенный в Е.5. опущен.
Необходимо ввести оператор, который вычисляет расстояние между двумя точками в декартовом простра
нстве. Эта функция возвращает вещественное число. Объект, соответствующий этой функции, получают путем
конкретизации. Вводят подтип функции real_defined_functlon. Определяют следующий объект;
62