ADA 1.3 RTF Avatar
  1. OMG Issue

ADA13 — mapping of IDL factories (initializers) for valuetypes

  • Key: ADA13-10
  • Legacy Issue Number: 3703
  • Status: closed  
  • Source: Anonymous
  • Summary:

    Description: section 4.5.5 of the ada mapping specifies that IDL
    initializers have to be mapped into Ada functions. It reads "Thus they
    will be primitive on the value reference type". For example,

    // IDL
    valuetype VT

    { factory create(in long l); }

    is mapped into

    // ada
    package VT is
    type Value_Ref is ...
    function VT (l : in CORBA.Long) return Value_Ref;
    end VT;

    The fact that these functions be primitives implies that they have to
    be overriden for each inheriting valuetype. This implies code
    rewriting, with unprecise semantics: what should the semantic of the
    overriding function be ?

    Therefore, we suggest that the return type of the function be a
    Value_Ref'Class, so that these functions are not primitives, and do
    not have to be overriden.

  • Reported: ADA 1.2 — Tue, 13 Jun 2000 04:00 GMT
  • Disposition: Resolved — ADA 1.3
  • Disposition Summary:

    Accept as suggested

  • Updated: Fri, 6 Mar 2015 20:57 GMT