Merge branch 'issue_1280' into 'master'

Unparsing: add config for SubpBody, SubpDecl and SubpSpec Closes #1280 See merge request eng/libadalang/libadalang!1552
AdaCore · Feb 23, 2024 · 619caf2 · 619caf2
2 parents d7351d0 + f842b4a
commit 619caf2
Show file tree

Hide file tree

Showing 61 changed files with 12,213 additions and 0 deletions.
diff --git a/extensions/default_unparsing_config.json b/extensions/default_unparsing_config.json
@@ -594,6 +594,18 @@
         ]
       }
     },
+    "OverridingNotOverriding": {
+      "node": [
+        "recurse",
+        "hardlineWithoutBreakParent"
+      ]
+    },
+    "OverridingOverriding": {
+      "node": [
+        "recurse",
+        "hardlineWithoutBreakParent"
+      ]
+    },
     "PackageBody": {
       "node": [
         {
@@ -940,6 +952,156 @@
         "field": "f_range"
       }
     },
+    "SubpBody": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "recurse_field",
+            "field": "f_overriding"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_subp_spec"
+          },
+          {
+            "kind": "align",
+            "width": 2,
+            "contents": {
+              "kind": "recurse_field",
+              "field": "f_aspects"
+            }
+          },
+          "hardlineWithoutBreakParent",
+          {
+            "kind": "text",
+            "text": "is"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_decls"
+          },
+          {
+            "kind": "text",
+            "text": "begin"
+          },
+          {
+            "kind": "indent",
+            "contents": [
+              "hardlineWithoutBreakParent",
+              {
+                "kind": "recurse_field",
+                "field": "f_stmts"
+              }
+            ]
+          },
+          "hardlineWithoutBreakParent",
+          {
+            "kind": "text",
+            "text": "end"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_end_name"
+          },
+          {
+            "kind": "text",
+            "text": ";"
+          }
+        ]
+      },
+      "fields": {
+        "f_decls": [
+          {
+            "kind": "indent",
+            "contents": [
+              "hardlineWithoutBreakParent",
+              "recurse"
+            ]
+          },
+          "hardlineWithoutBreakParent"
+        ]
+      }
+    },
+    "SubpDecl": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "recurse_field",
+            "field": "f_overriding"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_subp_spec"
+          },
+          {
+            "kind": "align",
+            "width": 2,
+            "contents": {
+              "kind": "recurse_field",
+              "field": "f_aspects"
+            }
+          },
+          {
+            "kind": "text",
+            "text": ";"
+          }
+        ]
+      }
+    },
+    "SubpSpec": {
+      "node": {
+        "kind": "align",
+        "width": 2,
+        "contents": {
+          "kind": "group",
+          "document": [
+            {
+              "kind": "recurse_field",
+              "field": "f_subp_kind"
+            },
+            "whitespace",
+            {
+              "kind": "recurse_field",
+              "field": "f_subp_name"
+            },
+            "line",
+            {
+              "kind": "group",
+              "document": [
+                {
+                  "kind": "recurse_field",
+                  "field": "f_subp_params"
+                },
+                {
+                  "kind": "recurse_field",
+                  "field": "f_subp_returns"
+                }
+              ]
+            }
+          ]
+        }
+      },
+      "fields": {
+        "f_subp_returns": {
+          "kind": "align",
+          "width": 1,
+          "contents": {
+            "kind": "group",
+            "document": [
+              "line",
+              {
+                "kind": "text",
+                "text": "return"
+              },
+              "whitespace",
+              "recurse"
+            ]
+          }
+        }
+      }
+    },
     "UnconstrainedArrayIndices": {
       "node": {
         "kind": "align",