J.15.5 Interfacing Pragmas
is a representation pragma that is one of the
Export, or Convention. Their forms are as follows:
Import and Export, the argument for Link_Name shall not be given without
unless the argument for External_Name is given.
Name Resolution Rules
type for an external_name_string_expression
and a link_name_string_expression
in an interfacing pragma is String.
of an interfacing pragma shall be the name of a convention (see B.1
of each of these pragmas shall denote a declaration that may have the
similarly named aspect specified.
An interfacing pragma
specifies various aspects of the entity denoted by the local_name
Import specifies that the Import aspect (see B.1
Export specifies that the Export aspect (see B.1
For both pragma
Import and Export, if an external name is given in the pragma, the External_Name
aspect (see B.1
) is specified to be external_name_string_expression
If a link name is given in the pragma, the Link_Name aspect (see B.1
is specified to be the link_name_string_expression
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe