CORBA26 — Implied IDL for interfaces in modules

The Messaging Programming Model introduces implied interfaces. These
interfaces have the same name as the original interface, but with an
AMI_ prefix.

What happens if the original interface is in a module? Will AMI_ be
prepended to the unqualified name, or to the absolute name? E.g.

module Stock {
interface StockManager

;
};

In this case, will the absolute name of the ReplyHandler be
::AMI_Stock::StockManagerHandler, or ::Stock::AMI_StockManagerHandler ?

All examples in the spec (formal/2001-09-26) are outside any module.
Since it never talks about absolute names, but only of names, it might
indicate that it should be the latter (AMI_ prepended to the unquali-
fied name).

However, the precedent for prefixes, the POA, always prepends the POA_
prefix to the absolute name, and I would find it confusing if the AMI_
prefix was used differently.

see below