Ada [12] is also completely supported. aadl2glueC creates
the necessary C code that uses the ASN.1 decoders and encoders to read and write
the relevant ASN.1 messages,
as well as the Ada code which gets the "translated" data through
"bridge" data structures (in automatically generated Ada code);
these "bridges" contain exactly the same information, in the language constructs expected
by Ada developers.
This simply means that the Ada developer doing the functional implementation
has a set of Ada data structures at his disposal, which are clearly mirrored
into/from ASN.1 messages through the generated "bridge" functions (one per
interface).
Table 2.2 describes the mapping from ASN.1 entities to the Ada "bridge"
variables.