ГОСТ Р ИСО 10303-21-2002
END.TYPE;
TYPE Mass Spec = SELECT(Mcasurcd_Mass, Computed.Mass, Estimatcd.Mas»);
END.TYPE;
TYPE Measured Mass = REAL:
END_TYPE;
TYPE Computed.Mass = Extended Real:
END.TYPE;
TYPE Estimated.Mass = REAL;
END.TYPE;
TYPE Mass Subsitutc = SELECT (Weight. Estimatcd.Mass):
END_TYPE:
TYPE Weight = REAL:
END.TYPE;
TYPE Extended.Real - SELECT (FloatingNtimber. NotaNumbcr):
END.TYPE;
TYPE FloatmgNumbcr ■=REAL(7);
END.TYPE;
TYPE NotaNumbcr = ENUMERATION OF (plus.infmhy, minus.infinity, indeterminate. invalid);
END.TYPE:
ENTITY Stecl.Bar;
bar lcngth: Extended.Real;
bar.mass: Mas»;
END.ENTITY:
Образец конкретизации секции данных:
#1 - STELL_BAR(FLOATINGNUMBER(77.0). MEASURED.MASS (13.25));
»2 » STELL_BAR(NOTANLMBER(.INDETERMINATE.).
ESTIMATED.MASS (10.0));
*3 - STEEL.BAR<FLOATINGNUMBER<77.0).
COMPUTED_MASS(FLOATINGNUMBER( 14.77719)));
Первый атрибут экземпляра «1 представляет значение Extended.Real, которое является Float ingNum-
bcr. Оно отображается (согласно 10.1.8для выбираемого типа данных Extended.Real) как TYPED.PARAME-
TER с KEYWORD FLOATINGNUMBER (простой определяемый тип в списке-выбора). Значение 77.0
PARAMETER отображается в структуру обмена, согласно 10.1.6для FloatingN umber, как значение простого
тина REAL.
Второй атрибут экземпляра - 1 предегаатяет значение Mcasure.Mass, которое яатяется правильным
значением Mass.Spcc и поэтому также правильным значением Mass. Оно отображается (посредством рекур
сивного применения 10.1.8. поскольку Mass является выбранным типом данных, a Mass.Spcc —выбираемым
типом данных) как TYPED.PARAMETER с KEYWORD MEASURED..V1ASS (простои определяемый тип в
спискс-выбора). Значение 13.25 PARAMETER отображается в структуру обмена, согласно 10.1.6 для Меа-
sure.Mass, как значение простого типа REAL.
Первый атрибут экземпляра «2 представляет значение Extcndcd.Real, являющееся значением NotaNum
bcr. Оно отображается (согласно 10.1.8 для Extcndcd.Real) как TYPED.PARAMETER с KEYWORD NO
TANU.V1BER (перечисляемый тип в спискс-выбора). Значение "indeterminate” PARAMETER отображается в
структуру обмена согласно 10.1.7 как перечисляемый тип NotaNumbcr.
Второй атрибут экземпляра я2 предегаатяет значение Estimatcd.Mass. Оно яатяется правильным значе
нием Mass.Spcc. а также правильным значением Mass.Subsitute и поэтому правильным значением Mass. Ого
значение фактически представлено двумя (выбираемыми) типами в спискс-выбора Mass. Оно отображается
(посредством рекурсивного применения 10.1.8, поскольку Mass является выбранным типом данных,
а Mass.Spcc —выбираемым типом данных) как TYPED.PARAMETER с KEYWORD ESTI.MATED_.MASS (про
стой определяемый тип в спискс-выбора). Значение 10.0 PARAMETER отображается в структуру обмена,
согласно 10.1.6 для Estimated.Mass, как значение простого типа REAL
Первый атрибут экземпляра “3тот же, что и первый атрибут экземпляра #1.
Второй атрибут экземпляра «3 представляет значение Computed.Mass, которое является правильным
значением Mass.Spcc и поэтому правильным значением Mass. Оно отображается (посредством рекурсив
ного применения 10.1.8, поскольку Mass является выбранным типом данных, a Mass.Spcc —выбираемым
типом данных) как TYPED.PARAMETER с KEYWORD COMPUTED.MASS (простой определяемый тип в
спискс-выбора). Значение PARAMETER кодируется, согласно 10.1.6 для значения Computed.Mass,
которое является значением Extcndcd.Real. Extcndcd.Real является выбранным типом данных. Согласно
10.1.8 значение Extcndcd.Real кодируется как TYPED.PARAMETER с KEYWORD FLOATINGN UMBER
(простой определяемый тип в спискс-выбора) и как значение 14.77719 PARAMETER, кодируемое согласно
10.1.6 для FloatingNuinber.
25