ГОСТ Р ИСО МЭК W24—93.
нено только к типам «строка знаков» или к типам, полученным из
них тегированием или образованием подтипа.
37.5.3Обозначение «СпецифнкацияПодтипа» задает знаки; ко
торые могут присутствовать в строке знаков, оно может быть лю бой
спецификацией подтипа, которая применима к подтипу, полу ченному
из порождающего типа применением спецификации под
типа «SIZE(l)».’
37.6 Образование внутренних подтипов
37.6.1 Обозначение«ОграниченняВнутреннихТипов» должно
иметь вид:*•_.
ОграниченияВнутреиннхТнпов :: =
WITH COMPONENT Огр.чничениеОдногоТниа J
WITH COMPONENTS ОграннченпяНесколькихТипов
37.6.2 «ОграниченняВнутреннихТипов* задают включение в
подмножество только тех значений, которые удовлетворяют сово
купности ограничений на присутствие и/илн значения компонентов
порождающего типа. Значение порождающего типа включается в
подтип только в том случае, когда удовлетворяются все ограниче
ния, как явные, так и неявные (см. 37.6.6). Это обозначение может
быть применено к типам «множество-из», «последовательность из»,
«множество», «последовательность» и выборочному типу, а также
к типам, полученным из них тегированием или образованием под
типа.
37.6.3 Для типов, определенных в терминах некоторого другого
(внутреннего) типа (типы «множество-из», «последовательность-
из» и полученные из них тегированием или образованием подтипа),
предусмотрено ограничение, имеющее вид спецификации значения
подтипа. Обозначение для этого случая должно иметь вид:
ОграничениеОдиогоТипа :: =* СпецифнкацияПодтипа
«СпецификацияПодтипа» определяет подтип единственного друго
го (внутреннего) подтипа Значение порождающего является эле
ментом подмножества значений подтипа в том и только в том
случае, когда каждое внутреннее значение принадлежит подтипу,
образованному применением «СиецификацннПодтнпа» к внутрен-.
нему типу.
37.6.4 Для типов, определенных в терминах нескольких других
(внутренних) типов (типы «множество*, «последовательность»,
выГюрочнын и полученные из них тегироьаннем или образованием
подтипз), предусмотрено несколько возможностей накладывать
ограничения на эти внутренние типы. Обозначение для этого слу
чая должно иметь вид:
ОграниченияНесколькихТнпов :: =
ПолнаяСиецификаиня | ЧастнчнаяСпсцифнкацня
ПолнаяСпецнфикацня= (ОграничснняТииа}
60