ГОСТ Р ИСО/ГО 10303-12-2000
CONSTANT
const = = an_ent{aa -> 275;};
END_CONSTANT;
al = an_ent{aa -> 1;};
Ы = bdynjab -> @al;};
b2 = bdynjab -> const;};
b3 = bdynjab -> param:}:
END SCHEMA DATA:
END_CONTEXT;
12.9.5 Атрибут с областью знач ений типа, выбора или перечисления
Если областью значений EXPRESS-атрибута является определенный тип данных, типы SE
LECT или ENUMERATION, то атрибут должен отображаться как значение EXPRESS-1, принад
лежащее к соответствующей области значений. Обычно это либо значение (для определенного
типа данных или перечисления), либо ссылка на экземпляр объекта (для выбора), но может быть и
ссылкой на экземпляр предмета, поименованным значением, либо ссылкой на константу или
параметр, области значений которых совместимы с областью значений атрибута.
Правила и ограничения
a)Ссылка на константу может использоваться только в случае, если экземпляр объекта и
экземпляр конста)гты находятся в одном и том же экземпляре данных схемы.
b
) Ссылка на параметр может использоваться только в случае, если формальный параметр
и экземпляр объекта находятся в одном и том же контексте (CONTEXT).
c)Ссылка на параметр не должна использоваться внутри области применения модели
(MODEL).
d) Ссылка на экземпляр предмета или поименованное значение должны использоваться,
если фактическая область значений не однозначно определяется из значения.
Пример 64 - Отображение типов в качестве атрибутов
Пусть EXPRESS-представление задано в виде:
SCHEMA a_schenia:
CONSTANT
zero : REAL := 0.0;
END.CONSTANT;
TYPE size = SELECT(area, radius); END_TYPE;
TYPE area = REAL: END/TYPE:
TYPE radius = REAL; END_TYPE:
TYPE vector = ARRAY 11:3} OF REAL; END_TYPE;
TYPE color = ENUMERATION OF (red. blue, green); END_TYPE;
ENTITY point;
x, y, z, : REAL;
END.ENTITY;
ENTITY circle;
center : point;
normal : vector;
howbig: size;
shade: color;
END_ENT1TY;
END_SCHEMA:
Тогда EXPRESS-l-прсдстааление может иметь вид:
SCHE.MA DATA a_schema;
CONSTANT
zero = = 0. 0;
END_CONSTANT;
40