ГОСТ Р ИСО/ТО 10303-12-2000; Страница 44

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ ЭД1 4750-90 Шины пневматические для велосипедов. Технические условия Pneumatic tyres for bicycles. Specifications ГОСТ Р ИСО/МЭК 65-2000 Общие требования к органам по сертификации продукции General requirements for bodies operating product certification systems (Настоящий стандарт устанавливает общие требования, которым должна соответствовать третья сторона, действующая в системе сертификации продукции, если она хочет быть признана компетентной и надежной ) ГОСТ 7717-88 Бумага диаграммная. Технические условия Chart base paper. Specifications (Настоящий стандарт распространяется на бумагу, предназначенную для изготовления диаграммных лент и дисков, используемых в регистрирующих приборах и устройствах ввода, вывода и подготовки данных ЭВМ для нанесения технической информации чернилами, пастой или тушью)

Страница 44

Страница 1

Untitled document

ГОСТ Р ИСО/ТО 10303-12-2000

жаемыми в HXPRESS-I, являются атрибуты и операторы SUPERTYPE и SUBTYPE, как показано

в таблице 16.

Т а б л и и а 16 -

Обзор

отображения ENTITY

EXPRESS

EXPRESS-I

Имя ENTITY

Оператор SUPERTYPE

Оператор SUBTYPE

Явный атрибут

Вычисляемый атрибут

Инверсный атрибут

Оператор UNIQUE

Оператор WHERE

EntityDomain

BcqueathesTo

InhcritsFrom

RequirodAttr или OptionalAttr

DcrivcdAttr

InverseAttr

Ничего

Пример 60 - Отображение простого объекта

EXPRESSEXPRESS-1

ENTITY top;

aSET OF bot;

END. ENTITY:

tl = topja -> (@egl, @’eg2);};

t2 = top{a -> (@eg2. @eg3);};

t3 = topja -> ( );};

egl = bot{i -> 1;

j<* 2;

inv <- (@tl);J;

eg2 = bot{i -> 276;

j <- 552;

inv <- (0tl, @t2);|;

U1 - 1,

eg3 = bat{i -> 9X76:

ENTITY hot;

i : INTEGER;

DERIVE

j :

INTEGER := 24i;

INVERSE

inv : BAG 11:?| OF top FOR a:

UNIQUE

ill • s*

WHERE

wl : i > 0;

END. ENTITY;

nv <- (®|2);};

12.9 Отображение атрибутов EXPRESS-объекта

EXPRESS-1-атрибуты должны появляться в том же порядке, что и в соответствующем ЕХ-

PRESS-обьекте. Каждый EXPRESS-атрнбут должен иметь соответствующий EXPRESS-1-атрибут.

Значение EXPRESS-I-атрибута должно быть совместимо с областью значений EXPRESS-

определения.

12.9.1 Явный атрибут

Явные EXPRESS-атрибуты отображаются непосредственно в EXPRESS-1-атрибуты. Описание

EXPRESS-атрибута повторяется в EXPRESS-1, за исключением того, что описание типа атрибута

(то есть справа от двоеточия) заменяется значением типа атрибута, а двоеточие заменяется на ->.

Значение может быть представлено простым значением, ссылкой на экземпляр предмета (то

есть ссылкой на экземпляр объекта, типа, перечисления или выбора), значением перечисления,

поименованным значением, ссылкой на константу, ссылкой на параметр или агрегатами данных

значений. Эти значения более детально обсуждены ниже.

В случае, если явный атрибут является необязательным (OPTIONAL), значением атрибута

может быть также Nil, показывающее, что значение не представлено.

Пример 61 - Отображение необязательного атрибут

ENTITY opt;

req: STRING;

opt att : OPTIONAL REAL:

END_ENT1TY;

EXPRESSEXPRESS-1

opt I = opt {req -> ’Opt_att given’;

opt_att -> 5.0;};

opt2 = opt{req -> ’Opt .att not given’;

opt att ->?;};