Merge branch 'issue_1299' into 'master'

Unparsing: add config for PragmaNode and PragmaNodeList Closes #1299 See merge request eng/libadalang/libadalang!1563
AdaCore · Mar 1, 2024 · a259ad8 · a259ad8
2 parents b7fde2d + 0b0c9ba
commit a259ad8
Show file tree

Hide file tree

Showing 18 changed files with 1,757 additions and 78 deletions.
diff --git a/extensions/default_unparsing_config.json b/extensions/default_unparsing_config.json
@@ -131,6 +131,12 @@
         }
       }
     },
+    "BaseAssocList": {
+      "sep": [
+        "recurse",
+        "line"
+      ]
+    },
     "BinOp": {
       "node": {
         "kind": "group",
@@ -1418,6 +1424,96 @@
         }
       }
     },
+    "PragmaArgumentAssoc": {
+      "node": {
+        "kind": "group",
+        "document": {
+          "kind": "align",
+          "width": 2,
+          "contents": [
+            {
+              "kind": "recurse_field",
+              "field": "f_name"
+            },
+            {
+              "kind": "recurse_field",
+              "field": "f_expr"
+            }
+          ]
+        }
+      },
+      "fields": {
+        "f_name": [
+          "recurse",
+          "whitespace",
+          {
+            "kind": "text",
+            "text": "=>"
+          },
+          "line"
+        ]
+      }
+    },
+    "PragmaNode": {
+      "node": {
+        "kind": "group",
+        "document": {
+          "kind": "align",
+          "width": 2,
+          "contents": [
+            {
+              "kind": "text",
+              "text": "pragma"
+            },
+            "line",
+            {
+              "kind": "group",
+              "document": {
+                "kind": "align",
+                "width": 2,
+                "contents": [
+                  {
+                    "kind": "recurse_field",
+                    "field": "f_id"
+                  },
+                  {
+                    "kind": "recurse_field",
+                    "field": "f_args"
+                  }
+                ]
+              }
+            },
+            {
+              "kind": "text",
+              "text": ";"
+            }
+          ]
+        }
+      },
+      "fields": {
+        "f_args": [
+          "line",
+          {
+            "kind": "group",
+            "document": [
+              {
+                "kind": "text",
+                "text": "("
+              },
+              {
+                "kind": "align",
+                "width": 1,
+                "contents": "recurse"
+              },
+              {
+                "kind": "text",
+                "text": ")"
+              }
+            ]
+          }
+        ]
+      }
+    },
     "PragmaNodeList": {
       "sep": [
         "recurse",