Pragma Import_Procedure - GNAT Reference Manual

Next: Pragma Import_Valued_Procedure, Previous: Pragma Import_Object, Up: Implementation Defined Pragmas

2.75 Pragma Import_Procedure

Syntax:

    pragma Import_Procedure (
         [Internal                 =>] LOCAL_NAME
      [, [External                 =>] EXTERNAL_SYMBOL]
      [, [Parameter_Types          =>] PARAMETER_TYPES]
      [, [Mechanism                =>] MECHANISM]);
    
    EXTERNAL_SYMBOL ::=
      IDENTIFIER
    | static_string_EXPRESSION
    
    PARAMETER_TYPES ::=
      null
    | TYPE_DESIGNATOR {, TYPE_DESIGNATOR}
    
    TYPE_DESIGNATOR ::=
      subtype_NAME
    | subtype_Name ' Access
    
    MECHANISM ::=
      MECHANISM_NAME
    | (MECHANISM_ASSOCIATION {, MECHANISM_ASSOCIATION})
    
    MECHANISM_ASSOCIATION ::=
      [formal_parameter_NAME =>] MECHANISM_NAME
    
    MECHANISM_NAME ::= Value | Reference

This pragma is identical to Import_Function except that it applies to a procedure rather than a function and the parameters Result_Type and Result_Mechanism are not permitted.