No_Implementation_Identifiers (GNAT Reference Manual) (original) (raw)

Next: No_Implementation_Pragmas, Previous: No_Implementation_Attributes, Up: Program Unit Level Restrictions [Contents][Index]

5.2.7 No_Implementation_Identifiers ¶

[RM 13.12.1] This restriction checks at compile time that no implementation-defined identifiers (marked with pragma Implementation_Defined) occur within language-defined packages.