ADA12 — Impl methods should be dispatchable

Summary: I suggest that the IDL to Ada mapping standard specifically
mention that Impl side methods be dispatching. In order to
achieve this, the Impl package spec generated for an
interface A should contain the marked declaration:

with POA_A;
package A.Impl is
type Object is new POA_A.Object with private;
-------- ADDITION :
type Object_Access is access all Object"Class;
-------- END OF ADDITION

– example method:
procedure Meth (Self : access Object);

end A.Impl;

No Data Available