A similar case (as with REAL and constraints on mantissa) of
interaction of value normalization and constraints is present in the
BIT STRING type:
Bs ::= BIT STRING {x(0)} (SIZE (0 .. 2))
a Bs ::= { x }
b Bs ::= '1000'B
Since a and b are the same abstract value (see X.680 (07/2002)
B.3.2.5.b) it makes sense, that both fulfill the size constraint.
Is there a general rule somewhere that constraints are only checked
after value normalization?
Henry
_______________________________________________
Asn1 mailing list
[email protected]
http://lists.asn1.org/mailman/listinfo/asn1
