ГОСТ Р ИСО/ТС 10303-1092—2009
4.1 Определение типа данных прикладной эталонной модели
В данном подраздело приведены определенные в ПЭМ типыданных рассматриваемого приклад
ного модуля.
4.1.1 Тип данных maths_atom
Значение типа данных maths_atom является единичным булевским значением либо единичным
значением действительного, целого или комплексного числа.
EXPRESS-спецификация;
*)
TYPE maths_atom = SELECT
(maths_boolean.
maths_complex,
mathsjnteger.
maths_real);
END_TYPE;
C
4.1.2 Тип данных maths_boolean
Значение типаданных maths_boolean является единичным булевским значением.
EXPRESS-спецификация:
*)
TYPE maths_boolean = BOOLEAN;
END_TYPE;
Г
4.1.3 Тип данных mathsjnteger
Значение типаданных mathsjnteger является единичным значением целогочисла.
EXPRESS-спецификация:
•)
TYPE maths integer= INTEGER:
END_TYPE;
Г
4.1.4 Тип данных maths_complex
Значение типаданных maths_complex является единичным значением комплексного числа.
EXPRESS-спецификация:
*)
TYPE maths_complex =LIST [2:2] OF REAL.
END_TYPE;
c
4.1.5 Тип данных maths_real
Значение типаданных maths_real являетсяединичным значениемдействительного числа.
EXPRESS-спецификация:
*)
TYPE maths_real = REAL;
END_TYPE:"
Г
4.1.6 Тип данных mathsJuple
Значениетипаданных mathsJuple является кортежем изодноголибо несколькихединичныхзна
чений данных типа maths_value.
EXPRESS-спецификация:
*)
TYPE maths tuple = LIST [0:?] OF maths_value;
END_TYPE:
Г
3