ADA13 — tagged types mapped from abstract interfaces

The current Ada mapping specifies that ada Abstract_Ref types
mapped from IDL abstract interfaces should inherit directly
from CORBA.AbstractBase.Ref, and not from CORBA.Object.Ref.

It seems more natural to us to make Abstract_Ref types inherit
from CORBA.Object.Ref. Otherwise, these Abstract_Ref tagged
types would not inherit thr primitives of CORBA.Object.Ref
(Is_A, Is_Equivalent, Hash)

Resolution:
Close without change. The intended semantics for abstract interfaces are correctly
reflected by inheriting from AbstractBase, rather than Object, as evidenced by the
following section in the CORBA specification:
“3. Abstract interfaces do not implicitly inherit from CORBA::Object. This is because
they can represent either value types or CORBA object references, and value types do not
necessarily support the object reference operations (see Section4.3, “Object Reference
Operations,” on page4-8). If an IDL abstract interface type can be successfully narrowed
to an object reference type (a regular IDL interface), then the CORBA::Object operations
can be invoked on the narrowed object reference.”
Disposition: Closed, no change