::
pragma Import_Function (
- [Internal =>] LOCAL_NAME,
- [, [External =>] EXTERNAL_SYMBOL]
- [, [Parameter_Types =>] PARAMETER_TYPES]
- [, [Result_Type =>] SUBTYPE_MARK]
- [, [Mechanism =>] MECHANISM]
- [, [Result_Mechanism =>] MECHANISM_NAME]);
+ [Internal =>] LOCAL_NAME,
+ [, [External =>] EXTERNAL_SYMBOL]
+ [, [Parameter_Types =>] PARAMETER_TYPES]
+ [, [Result_Type =>] SUBTYPE_MARK]
+ [, [Mechanism =>] MECHANISM]
+ [, [Result_Mechanism =>] MECHANISM_NAME]);
EXTERNAL_SYMBOL ::=
IDENTIFIER
::
pragma Import_Procedure (
- [Internal =>] LOCAL_NAME
- [, [External =>] EXTERNAL_SYMBOL]
- [, [Parameter_Types =>] PARAMETER_TYPES]
- [, [Mechanism =>] MECHANISM]);
+ [Internal =>] LOCAL_NAME
+ [, [External =>] EXTERNAL_SYMBOL]
+ [, [Parameter_Types =>] PARAMETER_TYPES]
+ [, [Mechanism =>] MECHANISM]);
EXTERNAL_SYMBOL ::=
IDENTIFIER
::
pragma Import_Valued_Procedure (
- [Internal =>] LOCAL_NAME
- [, [External =>] EXTERNAL_SYMBOL]
- [, [Parameter_Types =>] PARAMETER_TYPES]
- [, [Mechanism =>] MECHANISM]);
+ [Internal =>] LOCAL_NAME
+ [, [External =>] EXTERNAL_SYMBOL]
+ [, [Parameter_Types =>] PARAMETER_TYPES]
+ [, [Mechanism =>] MECHANISM]);
EXTERNAL_SYMBOL ::=
IDENTIFIER
::
pragma Source_File_Name (
- [Unit_Name =>] unit_NAME,
+ [Unit_Name =>] unit_NAME,
Spec_File_Name => STRING_LITERAL,
[Index => INTEGER_LITERAL]);
pragma Source_File_Name (
- [Unit_Name =>] unit_NAME,
+ [Unit_Name =>] unit_NAME,
Body_File_Name => STRING_LITERAL,
[Index => INTEGER_LITERAL]);
@example
pragma Import_Function (
- [Internal =>] LOCAL_NAME,
- [, [External =>] EXTERNAL_SYMBOL]
- [, [Parameter_Types =>] PARAMETER_TYPES]
- [, [Result_Type =>] SUBTYPE_MARK]
- [, [Mechanism =>] MECHANISM]
- [, [Result_Mechanism =>] MECHANISM_NAME]);
+ [Internal =>] LOCAL_NAME,
+ [, [External =>] EXTERNAL_SYMBOL]
+ [, [Parameter_Types =>] PARAMETER_TYPES]
+ [, [Result_Type =>] SUBTYPE_MARK]
+ [, [Mechanism =>] MECHANISM]
+ [, [Result_Mechanism =>] MECHANISM_NAME]);
EXTERNAL_SYMBOL ::=
IDENTIFIER
@example
pragma Import_Procedure (
- [Internal =>] LOCAL_NAME
- [, [External =>] EXTERNAL_SYMBOL]
- [, [Parameter_Types =>] PARAMETER_TYPES]
- [, [Mechanism =>] MECHANISM]);
+ [Internal =>] LOCAL_NAME
+ [, [External =>] EXTERNAL_SYMBOL]
+ [, [Parameter_Types =>] PARAMETER_TYPES]
+ [, [Mechanism =>] MECHANISM]);
EXTERNAL_SYMBOL ::=
IDENTIFIER
@example
pragma Import_Valued_Procedure (
- [Internal =>] LOCAL_NAME
- [, [External =>] EXTERNAL_SYMBOL]
- [, [Parameter_Types =>] PARAMETER_TYPES]
- [, [Mechanism =>] MECHANISM]);
+ [Internal =>] LOCAL_NAME
+ [, [External =>] EXTERNAL_SYMBOL]
+ [, [Parameter_Types =>] PARAMETER_TYPES]
+ [, [Mechanism =>] MECHANISM]);
EXTERNAL_SYMBOL ::=
IDENTIFIER
@example
pragma Source_File_Name (
- [Unit_Name =>] unit_NAME,
+ [Unit_Name =>] unit_NAME,
Spec_File_Name => STRING_LITERAL,
[Index => INTEGER_LITERAL]);
pragma Source_File_Name (
- [Unit_Name =>] unit_NAME,
+ [Unit_Name =>] unit_NAME,
Body_File_Name => STRING_LITERAL,
[Index => INTEGER_LITERAL]);
@end example
@example
type List is private with
- Iterable => (First => First_Cursor,
- Next => Advance,
- Has_Element => Cursor_Has_Element,
- [Element => Get_Element]);
+ Iterable => (First => First_Cursor,
+ Next => Advance,
+ Has_Element => Cursor_Has_Element,
+ [Element => Get_Element]);
@end example