ГОСТ Р МСО/МЭК Ш 4 - «
ЧастичнаяСпецификации :: =ОгрэннченияТипз)
ОграничеиняТипа :: =
ЛонменованиоеОграннченне |
ЛонменованноеОграничение Ограничения!ила
ИоимснованноеОграничение :: =
Идентификатор Ограничение j Ограничение
37.6.5 «ОграниченняТипа» содержат список ограничений на ти
пы-компоненты порождающего типа. Для типа «последователь
ность» ограничения должны следовать в требуемом порядке. Внут
ренний тип, к которому относится ограничение, определяется с по
мощью идентификатора, если он имеется, или местом в перечне
ограничении, как в случае типов «последовательность».
не имеет идентификатора, то
Примечание.Если внутреннийтип
обозначение может оказаться неоднозначным.
37.6.6 Обозначение«ОграниченияНеоколькнхТипов» охваты
вает два варианта обозначений: «ПолнаяСпецификации» и «Час-
тичнаяСпсиифнкация».Если используется «ПолнаяСпецифкка-’
ция», то неявно подразумевается ограничение присутствия вида
«ABSENT» («отсутствует») для всех внутренних типов, не присут
ствующих явно в перечне ограничений (см. 37.6.9), а каждый внут
ренний тип, не отмеченный ключевым словом «OPTIONAL» («не
обязательный») или «DEFAULT»(«по умолчанию») в описании
порождающего типа, должен явно присутствовать в перечне огра
ничений. Если используется «ЧастичнаяСпецификацня», то ника
ких ограничений присутствия не подразумевается, и любой внут
ренний тип может быть опущен из перечня ограничений.
37.6.7 На конкретный внутренний тип могут накладываться ог
раничения. как в терминах его присутствия (в значениях порож
дающего типа), так и в терминах допускаемых для него значений,
либо и того н другого. Соответствующее обозначение должно иметь
вщ
«Ограничение»:
Ограничение :: —
1 ОграннчсниеЗначения ОграничениеПрисутстаия
зн
, 37.6.8 Ограничение значения внутреннего типа выражается обо
ачением «ОграниченнеЗначепия»:
ОграничеинеЗначення :: = СпецифнкацняПодтипапусто
Значение порождающего типа удовлетворяет ограничению в
том и только том случае, когда значение внутреннего типа относит
ся к подтипу, заданному обозначением «СпсцификацияПодтнпа» в
применении к внутреннему типу.
61