A.4.6 Scoped names and scoped symbols

A.4.6.1 Definitions

For any named IDL entity I there is a Lisp symbol S called the scoped symbol of I. The scoping separator is the string "/".

If I is a top-level module, then the name of S is the name of I.

If I is a module nested within another module J, then the name of S is the concatenation of the name of the scoped symbol of J, the scoping separator, and the name of I. The home package of the scoped symbol of a module is:keyword.

Suppose I is a named IDL entity that is not a module. The name of the scoping symbol S of I is determined as follows. If the declaration of I is enclosed inside another IDL entity J that is not a module, then the name of S is the concatenation of the name of the scoping symbol for J, the scoping separator, and the name of I. Otherwise the name of S is the name of I.

If I is enclosed in a module M, then the home package of S is named by the scoped symbol for M. Otherwise the home package for S is theroot package.