3 Implementation Defined Restrictions

All RM defined Restriction identifiers are implemented:

• language-defined restrictions (see 13.12.1)
• tasking restrictions (see D.7)
• high integrity restrictions (see H.4)

GNAT implements additional restriction identifiers. All restrictions, whether language defined or GNAT-specific, are listed in the following.

• Partition-Wide Restrictions
• Program Unit Level Restrictions