search

TNO / Rewriters-Ada

Advanced manipulation of Ada code
BSD 3-Clause "New" or "Revised" License
5 stars 1 forks source link

Use Standard Libadalang functions #2

Open pjljvandelaar opened 2 years ago

pjljvandelaar commented 2 years ago

On https://docs.adacore.com/live/wave/libadalang/html/libadalang_ug/ada_api_core.html is defined

function P_Bool_Type (Node : Ada_Node'Class) → Base_Type_Decl Static method. Return the standard Boolean type.

This might be a better solution than the current implementation, e.g. used at https://github.com/TNO/Rewriters-Ada/blob/9b54e0c264161ebd27d0b8fd8018cd0d3a966d6e/src/placeholder_relations.adb#L457

Similarly, using

function P_Standard_Unit (Node : Ada_Node'Class) → Analysis_Unit Static method. Return the analysis unit corresponding to the Standard package.

might be better than https://github.com/TNO/Rewriters-Ada/blob/9b54e0c264161ebd27d0b8fd8018cd0d3a966d6e/src/placeholder_relations.adb#L398-L403