ГОСТ Р ИСО 10303-21—2022
буквы должны быть преобразованы в соответствующие прописные буквы, т. е. кодирование не должно содержать
строчных букв.
Примечания
1 Если имеется тип данных (в списке выбора), значениями экземпляров которого является сам выбираемый
тип данных, тогда настоящий пункт должен быть использован рекурсивно для кодирования значения. Реально мо
гут быть закодированы только типы данных объекта, простые определяемые типы и перечисляемые типы данных
(см. пример 2).
2 В соответствии с ИСО 10303-11 экземпляр подтипа типа данных объекта является экземпляром типа дан
ных объекта. Так, "экземпляр типа данных объекта в списке выбора" включает в себя экземпляры подтипов соот
ветствующих типов данных объекта.
3 Если типы данных объекта в списке выбора не являются взаимоисключающими, тогда значение выбирае
мого типа данных может быть приписано нескольким типам данных объекта в списке выбора (см. пример 1).
4 Если значение не является экземпляром объекта, то оно является экземпляром простого определяемого
типа или перечисляемого типа данных. Однако значение может быть фактическим экземпляром нескольких (вло
женных) выбираемых типов данных и, следовательно, приписываться нескольким типам висходном списке выбора
(см. пример 2).
Примеры
1 Определение объекта в языке EXPRESS.
ENTITY Leader SUBTYPE OF (Employee);
project: STRING;
END_ENTITY;
ENTITY Manager SUBTYPE OF (Employee);
unit: STRING;
END_ENTITY;
ENTITY Employee;
name: STRING;
END_ENTITY;
TYPE Supervisor = SELECT (Manager, Leader);
END_TYPE;
ENTITY Meeting;
date:STRING;
attendees:SET [2:7] OF Supervisor;
END_ENTITY;
Образец экземпляра объекта в секции данных:
#1 = LEADERfJ. Brahms’,’Academic Festival’);
#2 = MANAGER(’S. Ozawa’, ’Tokyo Symphony’);
#3 = (EMPLOYEE(’G. Verdi’) LEADER(’Aida’) MANAGER(’La Scala’));
#4 = MEETING(’14921012’, (#1, #2, #3));
Вторым атрибутом экземпляра #4 являются участники: SET OF Supervisor. Экземпляром #1 является Leader,
и поэтому Supervisor верен. Экземпляром #2 является Manager, и поэтому Supervisor верен. Экземпляр #3 являет
ся экземпляром двух типов Leader и Manager из списка выбора Supervisor. Все экземпляры отображаются согласно
6.4.4.
2
Определение объекта в языке EXPRESS.
TYPE Mass = SELECT (Mass_Spec, Mass_Substitute); END_TYPE;
TYPE Mass_Spec = SELECT (Measured_Mass, Computed_Mass, Estimated_Mass);
END_TYPE;
TYPE Measured_Mass = REAL;
END_TYPE;
TYPE Computed_Mass = Extended_Real;
END_TYPE;
40