Gabriel Dos Reis wrote:
C++ templates do not involve dynamic dispatching (I would suspect the same to be true for Ada generics) so I do not understand your comment. Maybe there are unsopken assumptions?
As I said, templates and Ada generics cause trouble with certification requirements in two respects. First, they have the potential to intefere with required traceability from source to object. Second, there are a number of formal techniques that are used in certification for which support of generics/templates is an issue. Visit the praxis site (www.praxis-his.com) for more insight into this issue.
Praxis is certainly of the opinion that a limited form of generics can be accomodated, but I do not think that anyone would suggest that unlimited use of C++ templates could be easily accomodated by some of these tools.
