Improve Aspect Specification Analysis
This commit cleans up and generalizes the `Analyze_Aspect_Specifications` procedure in the Ada compiler, in preparation for further improvements.
The Analyze_Aspect_Specifications procedure in the Ada compiler has been cleaned up to improve code readability and maintainability in preparation for future enhancements. The changes include correcting terminology, removing a potentially incorrect list of aspects, and generalizing the Insert_Pragma procedure (to be renamed in a future commit). The order of pragmas is now preserved using Ins_Node for Annotate but not for Compilation_Unit, marked for review.
In Details
This commit cleans up Analyze_Aspect_Specifications in sem_ch13.adb. It corrects terminology, removes a long list of aspects for Insert_Pragma, and generalizes Insert_Pragma. The order of pragmas is now preserved using Ins_Node for Annotate but not for Compilation_Unit, marked for review. The goal is to avoid having so many goto Continue; statements and potentially splitting out Analyze_One_Aspect as a separate procedure.
For Context
Aspect specifications in Ada allow you to add metadata or annotations to program entities, influencing compilation or runtime behavior. This commit focuses on refactoring the compiler's analysis of these specifications. By cleaning up and generalizing the code that handles aspect specifications, the compiler can become more robust and easier to maintain, which is crucial for a complex language like Ada.