Add AttributeDefClause and AttributeRef configs

AdaCore · Apr 17, 2024 · 022e61c · 022e61c
1 parent 2d1eeec
commit 022e61c
Show file tree

Hide file tree

Showing 5 changed files with 137 additions and 0 deletions.
diff --git a/extensions/default_unparsing_config.json b/extensions/default_unparsing_config.json
@@ -410,6 +410,60 @@
         }
       }
     },
+    "AttributeDefClause": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "text",
+            "text": "for"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_attribute_expr"
+          },
+          {
+            "kind": "text",
+            "text": "use"
+          },
+          {
+            "kind": "align",
+            "width": 2,
+            "contents": {
+              "kind": "recurse_field",
+              "field": "f_expr"
+            }
+          },
+          {
+            "kind": "text",
+            "text": ";"
+          }
+        ]
+      }
+    },
+    "AttributeRef": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "recurse_field",
+            "field": "f_prefix"
+          },
+          {
+            "kind": "text",
+            "text": "'"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_attribute"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_args"
+          }
+        ]
+      }
+    },
     "AssocList": {
       "sep": [
         "recurse",

diff --git a/testsuite/tests/unparsing/attribute_def_clause/doc-baseline.json b/testsuite/tests/unparsing/attribute_def_clause/doc-baseline.json
@@ -0,0 +1,74 @@
+{
+  "id": 10,
+  "kind": "command",
+  "command": {
+    "command": "group",
+    "id": 0,
+    "groupContents": {
+      "id": 9,
+      "kind": "list",
+      "list": [
+        {
+          "id": 0,
+          "kind": "text",
+          "text": "for"
+        },
+        {
+          "id": 3,
+          "kind": "command",
+          "command": {
+            "command": "group",
+            "id": 0,
+            "groupContents": {
+              "id": 2,
+              "kind": "list",
+              "list": [
+                {
+                  "id": 1,
+                  "kind": "text",
+                  "text": " Small'Size"
+                }
+              ]
+            },
+            "break": false,
+            "expandedStates": null
+          }
+        },
+        {
+          "id": 4,
+          "kind": "text",
+          "text": " use"
+        },
+        {
+          "id": 7,
+          "kind": "command",
+          "command": {
+            "command": "align",
+            "alignData": {
+              "kind": "width",
+              "n": 2
+            },
+            "alignContents": {
+              "id": 6,
+              "kind": "list",
+              "list": [
+                {
+                  "id": 5,
+                  "kind": "text",
+                  "text": " 16"
+                }
+              ]
+            }
+          }
+        },
+        {
+          "id": 8,
+          "kind": "text",
+          "text": ";"
+        }
+      ]
+    },
+    "break": false,
+    "expandedStates": null
+  }
+}
diff --git a/testsuite/tests/unparsing/attribute_def_clause/input.ada b/testsuite/tests/unparsing/attribute_def_clause/input.ada
@@ -0,0 +1 @@
+for Small'Size use 16;
diff --git a/testsuite/tests/unparsing/attribute_def_clause/test.out b/testsuite/tests/unparsing/attribute_def_clause/test.out
@@ -0,0 +1 @@
+for Small'Size use 16;
diff --git a/testsuite/tests/unparsing/attribute_def_clause/test.yaml b/testsuite/tests/unparsing/attribute_def_clause/test.yaml
@@ -0,0 +1,7 @@
+description: |
+    This test checks the formatting of an attribute definition
+    clause.
+    It is expected the declaration stays on a single line.
+ 
+driver: unparser
+rule: aspect_clause