3.11.5 Generating C Headers for Ada Specifications

GNAT includes a C header generator for Ada specifications which supports Ada types that have a direct mapping to C types. This includes in particular support for:

• * Scalar types
• * Constrained arrays
• * Records (untagged)
• * Composition of the above types
• * Constant declarations
• * Object declarations
• * Subprogram declarations