Что такое Ada pragmas Static_Elaboration_Desired и Linker_Section означает

Question

Что такое директивы Ada pragmas Static_Elaboration_Desired и Linker_Section? Я не смог понять определения, данные через Интернет.

Answer 1

Static_Elaboration_Desiredне a Ada прагма. Это определяется реализация прагмы в GNAT:

https://gcc.gnu.org/onlinedocs/gnat_rm/Pragma-Static_005fElaboration_005fDesired.html

Вы можете использовать его, если вы хотите, разработка статичной (то есть только часть исполняемый образом), а не произойдет через исполняемый код.