Next: SPARK_05, Previous: No_Wide_Characters, Up: Program Unit Level Restrictions [Contents][Index]
[GNAT] This restriction checks at compile time that all the artifacts associated with dispatch tables can be placed in read-only memory.