ГОСТ Р ИСО/ТС 10303-1092—2009
4.1.7 Тип данных maths_value
Значение типаданных maths_value является элементом значения типаданных Maths_space.
EXPRESS-спсииФикаиия:
*)
ТУРЕ maths_value = EXTENSIBLE SELECT
(maths_atom.
maths_tuple):
END_TYPE;
r
‘ )
END_SCHEMA: - Maths_value_arm
(*
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте отображение не устанавливается.
5.2 Сокращенный листинг интерпретированной модели прикладного модуля на языке
EXPRESS
Настоящий подраздел определяет EXPRESS-схему. полученную из таблицы отображения. Она
использует элементы из общих ресурсов либо из других прикладных модулей и определяет EXPRESS
конструкциидля объектов, рассматриваемых в настоящем стандарте.
Настоящий подраздел представляет ИММ прикладного модуля, а также специфицирует модифи
кации. которые применяют к конструкциям, импортируемым изобщих ресурсов.
При использовании в описываемой схемеконструкций, определенныхв общихресурсахилив при
кладных модулях, следует применятьследующие ограничения:
- использованиеобъектасупертипа недаетправаприменятьлюбой изего подтипов, пока этотпод
тип небудет также импортирован в схему ИММ;
- использованиетипаSELECT недаетправа применятьлюбой изперечисленныхв нем типов, пока
этот тип не будеттакже импортирован в схему ИММ.
EXPRESS-спеиификация:
SCHEMA Maths_value_mim;
USE FROM mathematical_functions_schema- ISO 10303-50
(maths_boolean.
mathsjnteger,
maths_real,
maths_simple_atom,
atom_based_tuple.
atom_based_value.
maths_tuple,
maths_value);
(*
П р и м е ч а н и я
1 Схемы, на которые даны ссылки выше, можнонайти в следующих стандартах комплекса ИСО 10303:
mathemabcal_functions_schema в ISO 10303-50
2 Графическое представление этой схемы см. рисунок 0.1.приложение D.
*)
END_SCHEMA;
- Maths_space_mim
Г
4