ЭФФЕКТИВНОЕ ОГРАНИЧЕНИЕ ДОПУСТИМОГО АЛФАВИТА "PERMITTEDALPHABET" (ДЛЯ ОГРАНИЧЕННЫХ ТИПОВ СИМВОЛЬНЫХ СТРОК)

Единственное ограничение PermittedAlphabet, которое может быть применено к встроенному типу символьной строки известной кратности, результатом которого является допущение всех строк, содержащих только те символы, которые могут присутствовать в любой позиции любого значения ограниченного типа символьных строк.

Примечание - Ограничением эффективного допустимого алфавита (PermittedAlphabet) является либо весь алфавит неограниченного типа символьных строк, либо спецификация PermittedAlphabet, которая может оказаться супермножеством всех ограничений PermittedAlphabet, наложенных на тип. Например, в

Ах :: = IA5String (FROM ("AB")|FROM ("CD"))

Вх :: = IA5String (SIZE (1..4)|FROM ("abc"))