Skip to content

Libadalang24 #11

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Libadalang24 #11

wants to merge 2 commits into from

Conversation

pjljvandelaar
Copy link
Collaborator

Libadalang 24 no longer supports F_Name for an Accept_Stmt.

This results in errors like

extraction-bodies_for_entries.adb:27:57: error: no selector "F_Name" for private type "Accept_Stmt" defined at libadalang-analysis.ads:300

Libadalang does support P_corresponding_Entry, hence we don't need to look up the corresponding declaration ourselves via F_Name.

This pull request solves these issues, and makes DGE compatible with libadalang 24.

Since libadalang 23, the Ada_Type_Decl is no longer an enumeration value of Ada_Node_Kind_Type, but an enumeration range thereof:

      subtype Ada_Type_Decl is Ada_Node_Kind_Type
            range Ada_Anonymous_Type_Decl .. Ada_Formal_Type_Decl;

This enumeration range includes the following 4 values:

	Ada_Anonymous_Type_Decl, Ada_Synth_Anonymous_Type_Decl, Ada_Concrete_Type_Decl, and Ada_Formal_Type_Decl
extraction-bodies_for_entries.adb:27:57: error: no selector "F_Name" for private type "Accept_Stmt" defined at libadalang-analysis.ads:300

	Accept_Stmt provides P_Corresponding_Entry, hence we don't need F_Name anymore to find the corresponding refenced declaration ourselves.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant