ГОСТ Р ИСО 10303-14—2015
PARTITION second;
FROM г:four,q:five
WHERE cond7;
END_VIEW;
VIEW к SUBTYPE OF (j);
PARTITION second;
WHERE cond9;
END_VIEW;
Только тот подтип образа, для которого
к
является супертипом, может включать раздел
second.
9.3.7 Ограничения супертипа
В объявлении образа могут быть определены ограничения супертипа (см. пункт 9.2.4 ИСО 10303-11).
Удовлетворяется или нет ограничение супертипа не влияет ни на выполнение модели, ни на содержи
мое пространств образа.
Синтаксис:
228 view dec! = (root view deci idependent view decl Isubtype view decl
) .
177 root view decl = VIEW view id
{
supertype constraint )
binding header SELECT view attr deci stmt list { binding header SELECT
view attr decl stmt list ) END VIEW
207 supertype constraint = abstract supertype
.
declaration |supertype ruie
33 abstract supertype declaration = ABSTRACT SUPERTYPE l
subtype constraint ] .
20b subtype declaration = SUBTYPE OF •(’ view ret {view ret )•
204 subtype constraint = OFsupertype expression ’)’ •
208 supertype expression = supertype factor i ANDOR supertype factor } .
2C9 supertype factor = supertype term { AND supertype term ) .
211 supertype term = view ref I one ot I ’(’ supertype expression ’)’ .
147 one of = ONEOF *(’ supertype expression { supertype expression )
’ ) ’ -_____________________________________________________________________
Пример
VIEW a ABSTRACT SUPERTYPE OF ONEOF(b ANDOR c, d);
END_VIEW;
Экземпляр образа
а
является допустимым в том случае, если у него есть по крайней мере два
типа данных
(а
и какой-нибудь еще), что определено наличием ключевого слова
ABSTRACT,
а одним из
возможных других типов данных может быть
d
или некоторая комбинация
b
и
с.
что определено на
личием ключевого слова
ONEOF.
9.4 Объявление отображения
9.4.1 Введение
Объявление отображения поддерживает задание соответствия между определениями объектных
типовданных из двух или более EXPRESS-схем. Данное объявление поддерживает также отображение
из множества определений исходных объектных типов данных на множество определений целевых
объектных типов данных.
18