ГОСТ Р ИСО/МЭК **24-93
простых случаев, Более сложные случаи требую? иепольЛэзани* конструкции об
щего- вида.
пецификацияПодтнпа»
«С
36.6 Обозначение для
:
спецификации подтипа должно иметь вил
СпецификацияПодтипа :: =
(ПодмножествоЗначенийПодтипаСписокПодмножествЗначе-
нийПодтипа)
СписокПодмножествЗначенийПодтипа :: «
«!»
ПодмножествоЗначенийПодтипа
СписокПодмножествЗначенийПодтнпа J
пусто
36.7 Каждое «ПодмножествоЗначснийПодтнпя* задает какое-
то количество (возможно, равное нулю) значений порождающего
типа, которые включаются в подтип. Значение порождающего типа
является значением подтипа тогда и только тогда, когда оно вхо
дит.в одно или несколько подмножеств значений подтипа. Подтип,
таким образом, образуется как объединение подмножеств значении
подтипа
368 Предусмотрено несколько различных форм обозначения
«ПодмножествоЗначенийПодтипа».. Они перечислены ниже. а их
синтаксис и семантика определены в разделе 37. Как указано в
разделе 37 и проиллюстрировано в таблице 7, некоторые виды обо
значений применимы лишь к некоторым порождающим типам.
ПодмножествоЗначенийПодтипа:: =
•ОдноЗначение j,
Вложенный Подтип |
ДналазолЗначеннй J
РазрешенныйАлфаинт ОграничениеРазмера J
ОграннчснняВнутреннихТипов
37 ПОДМНОЖЕСТВА ЗНАЧЕНИЯ ПОДТИПА
37.1 Одно значение
37.1.1 Обозначение «одно значение» должно иметь вид
ОдноЗначение :: - Значение
где «Значение» — обозначение значения порождающего типа.
37.1.2 Подмножество вида «ОдноЗначение» состоит из одного
значения порождающего типа, заданного «Значением*. Это обоз
начение может быть применено ко всем порождающим типам.
37.2 Вложенный подтип
37.2.1 Обозначения «ВложенныйПодтип» должны иметь вид:
ВложенныйПодтип :: = INCLUDES Тип
37.2.2 Значения, задаваемые обозначением«ВложенныйПод-
57