Что результирующий набор операция расширяемых ограничений в ASN.1

Question

Я не могу выяснить, который является результатом множества работы расширяемых ограничений в ASN.1, как показано ниже:

A ::= INTEGER ((1..64, ..., 100..128) INTERSECTION (1..32, ..., 33..120)) 
B ::= INTEGER ((1..64, ..., 100..128) UNION (1..32, ..., 33..120)) 
C ::= INTEGER (1..64, ..., 100..128) (1..32, ..., 33..120) 

Что полученное ограничение из этих типов?

Любая помощь приветствуется.

Answer 1

Первые два определения недействительны, поскольку ... может произойти только на самом верхнем уровне, а не вложенном в несколько круглых скобок, поэтому A и B являются недопустимыми определениями. См. Пункт 50.1 и 50.5 МСЭ-Т X.680.

C также технически недействителен, поскольку значение 120 не находится в базовом диапазоне 1..64 для «родительского типа». Если вы измените 120 до 64, то эффективное ограничение следующим образом:

C :: = INTEGER (1..32, ..., 33..64)

МСЭ-Т X.680 статья 50.10 имеет следующее:

50.10 Если ограничение типа подтипа последовательно применяется к родительскому типу, который может расширяться при приложении расширяемого ограничения, нотация значения, используемая в нем, не должна ссылаться на значения, которые не находятся в корне расширения родительский тип. Результат второго (последовательно примененного) ограничения определяется таким же, как если бы ограничение было применено к родительскому типу без его маркера расширения и возможных добавлений расширения.