ГОСТ Р ИСО/МЭК ТО 10023- 93
TSQnaJity. Другими типами параметров TSP являются TAddress
(см. 8.2) к Octetstring (данные пользователя), которые импорти
руются из библиотеки типов данных LOTOS (см. раздел 7).
П р и м е ч а н и е — Представление значений TD1Season соответствует опре
делению п И .2.1 ГОСТ 34.9G0, но без представления дополнительной информа ции
к примеров, приведенных в примечаниях (см.
87
для определения
TwoTuplet).
type TEXOption
is TwoTuplet renamedby
sortnames
TEXOption for Tuplet
opnnames
UseTEX for TheOne
NoTEX for TheOther
endtype (* TEXOption *)
type TDlSReason
is TwoTuplet renamedby
sortnames
TDlSReason for Tuplet
opnnames
User for TheOne
Provider for TheOther
endtype (* TDlSReason *)
(*____________________________________________________
8.7 В с п о м о г а т е л ь н ы е о п р е д е л е н и я
General Identifier определяет бесконечное множество идентифи
каторов вместе
с
равенством на кем.
Element определен в библиотеке типов данных LOTOS, тогда
как Eleinent2, Elements и Element4 являются его отдельными изо
морфными копиями. Эти типы используются в определениях Pair,
ThrceTuple и FourTuple. которые определяют кортежи общего ви
да из двух, трех пли четырех значений, возможно разных видов,
с равенством и проекциями. TwoTunlet и FourTuplct определяет
мно жества. состоящие соответственно из двух и четырех
элементов,
наделенных булевым равенством. OrderedFourTuplet является рас
ширением FourTuplct с общим упорядочением.
POEIement -~ это общий тип Element с добавлением частичной
упорядоченности,тогдакакPOElement2,POE!emcnt3и
POEIement4 являются его отдельными изоморфными копиями. Эти
типы используются при построении POPair, POThreeTuple
и
24