ADA12 — Mapping of operation parameters of same interface type.

Summary: It is a natural consequence of the Ada language rules that an operation
parameter of the same interface type, other than the implied parameter,
must be mapped to a class-wide reference type. The Ada language rules
disallow two controlling parameters, and the first added Ref parameter must
be the controlling parameter. So, for an operation that has an implicit
parameter of the enclosing interface, a special mapping rule is needed so
that the operation is not primitive on that parameter.

No Data Available