On Tue, 20 Mar 2001, Ed Day wrote:
> Hi all,
>
> I have run across some syntax and am not quite sure how to apply the
> PER-visible constraints. The syntax is as follows:
>
> Id ::= INTEGER (IdSet)
>
> IdSet INTEGER ::= { IDs, ... }
>
> IDs ::= INTEGER (0..65535)
>
>
> My guess is that Id reduces to one of the two following expressions:
>
> Id ::= INTEGER (0..65535)
>
> or
>
> Id ::= INTEGER (0..65535,...)
>
>
> I know there are some rules as to whether the ellipsis is maintained or
> not when constraints like this are used. I'm fuzzy as to how that
> applies in this case however.
>
> Any help would be most appreciated.
See X.680 clause 47.4. It states that the extension marker is not
inherited when an extensible type is referenced in an contained subtype.
Thus, the above reduces to:
Id ::= INTEGER (0..65535)
-------------------------------------------------------------------------
Bancroft Scott Toll Free :1-888-OSS-ASN1
OSS Nokalva International:1-732-302-0750
[EMAIL PROTECTED] Tech Support :1-732-302-9669 x-1
1-732-302-9669 x-200 Fax :1-732-302-0023
http://www.oss.com
