Issue 3703: mapping of IDL factories (initializers) for valuetypes                                                                                                                                                  (ada-rtf)
Source:  (, )
Nature: Revision
Severity: Minor
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.

Resolution: 
Revised Text: 
Actions taken:
June 13, 2000: received issue
Discussion: 

End of Annotations:=====
Date: Tue, 13 Jun 2000 11:28:45 -0400 (EDT)
Message-Id: <200006131528.LAA21195@emerald.omg.org>
From: fabien.azavant@adabroker.eu.org
To: juergen@omg.org, web-incoming@omg.org
Subject: Issue Report
Content-Type: text
X-UIDL: K_Le9+EJe9Vbl!!J7-!!

Name: Fabien Azavant
Company: enst
mailFrom: fabien.azavant@adabroker.eu.org
Notification: Yes
Specification: ada language mapping
Section: 4.5.9
Formal #: 
Version: 1.2
Revision_Date: 05/04/2000
Page: 
Nature: Revision
Severity: Minor
full_desc: Specification: Ada Language Mapping Specification v1.2 (May
2000)

Nature: Revision

Severity: Minor

Summary: mapping of IDL factories (initializers) for valuetypes

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.

submit: Submit Issue Report