No_Implementation_Attributes (GNAT Reference Manual) (original) (raw)

Next: No_Implementation_Identifiers, Previous: No_Implementation_Aspect_Specifications, Up: Program Unit Level Restrictions [Contents][Index]

5.2.6 No_Implementation_Attributes ¶

[RM 13.12.1] This restriction checks at compile time that no GNAT-defined attributes are present. With this restriction, the only attributes that can be used are those defined in the Ada Reference Manual.