Hello, 

> > > FUNCTION ::= CLASS {
> > >
> > >     &ArgumentType,
> > >     &ResultType DEFAULT NULL,
> > >     &Errors ERROR NULL,
> > >     &Code INTEGER UNIQUE -- ERROR should be &code
> > > }

> > > MyFunction{FUNCTION:funct } ::= SEQUENCE { -- ERROR should be Funct
> > >     opcode FUNCTION.&Code({funct}),
> > >     argument FUNCTION.&ArgumentType({funct} {@Opcode})
> > > }
> 
> Minor points: "funct" should start with an upper case letter and "@Opcode"
> should be "@opcode".
> 
> > > Is it true that argument field in MyFunction is encoded as an OpenType (ie)
> > > Length encoding followed by the encoding of either SEQUENCE or INTEGER
> > > depending on Opcode.
> >
> > Yes, MyFunction is an open type.
> 
> No, MyFunction is a parameterized type that resolves to a SEQUENCE type.
> "argument" is an open type, not MyFunction.

 I'd like to confirm. 
Do you mean
 
 "argument" is an open type and  
 " opcode"  is not an open type?
 



Thanks
------------------------------------------
Naoki Hashimoto
SoftLab Inc
[EMAIL PROTECTED]

Reply via email to