Static_Dispatch_Tables (GNAT Reference Manual) (original) (raw)

Next: SPARK_05, Previous: No_Wide_Characters, Up: Program Unit Level Restrictions [Contents][Index]

5.2.15 Static_Dispatch_Tables ¶

[GNAT] This restriction checks at compile time that all the artifacts associated with dispatch tables can be placed in read-only memory.