ГОСТ Р ИСО 13584-20—2006
deflnedjunctlon. чтобы определить соответствующую функцию и один из объектов unary_generlc_expression.
binary_generlc_express!on или multlple_arlty_generlc_expresslon в соответствии с арностью этого оператора.
Этот процесс обеспечивает следующее:
- любое выражение, согласующееся с конкретизированной схемой, является семантически корректным;
- все функции, определенные настоящим стандартом как ресурсы (например. is_lnt_expr, used_vartables.
ls_SQL_mappable и т. д.) согласуются со своими абстрактными описаниями.
П р и м е ч а н и е — При конкретизации схемы IS013584_expresslons_schema действия по Е.4.3 не прово
дят.
Е.5 Пример конкретизации схемы IS013584_generlc_expreeslons_schema
Вданном примере фрагментописания наязыке EXPRESS выбран настопькопростым,насколько это возмож
но. чтобы сделать понятной конкретизацию данной схемы.
Рассмотрим конкретизацию схемы ISO 13584_generic_expreselons_schema для обработки выражений, опе
рирующих с комплексными числами. Эти выражения получают путем определения подтипа схемы
IS013584_generlc_expresslons_schema.
В следующих EXPRESS-спецификациях показана суть такой схемы. При этом будут использоваться лишь
несколько выражений:
Шаг 1— заданным типом данных являются комплексные числа.
Шаг 2 — семантическое понятие, которое должно быть определено комплексными выражениями.
Предположим, что необходимо связать эти выражения с парой координат двумерных объектов
carteslan_polnt(noHCO 10303-42).
Можно определить следующую семантику для обеспечения связи с комплексными переменными.
EXPRESS-спецификаиия
*)
ENTITY posltlon_vanable_semanttcs
SUBTYPE OF
( v a n a b le _ s e m a n t iC 3 . c a rt e s ia n _ p o in t);
WHERE
SELF\geometric_representationJtem.dimension=2;
END_ENTITY;
C
Семантикой должна быть точка в двумерном пространстве, а в описании должно быть указано, что действи
тельная часть является координатой х, а мнимая часть — координатой у.
Предполагается, что вданном примере не нужны выражения point_expreselons.
Шаг 3 — определение complex_expression путем конкретизации схемы IS013584_generlc_expresslone_
schema.
ЕХРИЕЗБ-специФикац/я
*)
ENTITY complex_expres8lon
SUBTYPE OF (generlc_express*on)
ASTRACT SUPERTYPE OF (ONEOF (
simpfe_compIex_expression.
unary_compie x_expression,
blnary_complex_expression,
multiple_arlty_complex_expression)):
END_ENTITY;
ENTITY simple_complex_expression
A8STRACT SUPERTYPE ( OF ONEOF(
complex,variable.
complexjlteral))
SUBTYPE OF (complex_expression. slmple_genenc_expresslon);
END_ENTITY;
ENTITY complexj/arlable.
SUBTYPE OF (8impte_complex_expression.generlc_varlable);
END_ENTITY;
ENTITY complexjlteral
61