J.15.5 Interfacing Pragmas
interfacing pragma 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
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.
Wording Changes from Ada 2005
This clause is new. Pragma Unchecked_Union was
moved here from B.3.3; aspect Unchecked_Union
lives there now.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe