A.4.21 Mapping for typedef

IDLtypedef is mapped to a Lisp type whose name is the scoped symbol corresponding to that typedef. This name of this type denotes the set of Lisp values that correspond to the Lisp type that is generated by the mapping of the IDL type to which the typedef corresponds.

However, it is not required to perform recursive checking of the contents of constructed types likearray,sequence, andstruct.

For example, in IDL:

module example{
  typedef unsigned long foo;
  typedef string bar;
};

In generated Lisp:

(defpackage :example)
(deftype example:foo () 'corba:ulong)
(deftype example:bar() 'corba:string)

And in use:

(typep -3 'example:foo)
> nil
(typep 6000 'example:bar)
> nil
(typep "hello" 'example:bar)
>T

---

Developing Component Software with CORBA - 22 Jan 1999

Generated with Harlequin WebMaker