Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

Ada 2005 Abstract Interface Types provide a limited and practical form of multiple inheritance of specifications. In this paper we cover the following aspects of their implementation in the GNAT compiler: interface type conversions, the layout of variable sized tagged objects with interface progenitors, and the use of the GNAT compiler for interfacing with C++ classes with compatible inheritance trees.

Attached Files

Last Updated: 10/26/2017
Posted on: 3/21/2007