Merge branch 'incomplete_types' into 'master'

Unparsing: Add Incomplete Types configs Closes #1358 See merge request eng/libadalang/libadalang!1613
AdaCore · Apr 15, 2024 · fd27030 · fd27030
2 parents 307649c + bc9eb6b
commit fd27030
Show file tree

Hide file tree

Showing 87 changed files with 9,604 additions and 5,679 deletions.
diff --git a/extensions/default_unparsing_config.json b/extensions/default_unparsing_config.json
@@ -2863,6 +2863,173 @@
         ]
       }
     },
+    "IncompleteFormalTypeDecl": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "group",
+            "document": [
+              {
+                "kind": "text",
+                "text": "type"
+              },
+              {
+                "kind": "align",
+                "width": 2,
+                "contents": [
+                  "line",
+                  {
+                    "kind": "group",
+                    "document": [
+                      {
+                        "kind": "recurse_field",
+                        "field": "f_name"
+                      },
+                      {
+                        "kind": "recurse_field",
+                        "field": "f_discriminants"
+                      }
+                    ]
+                  }
+                ]
+              }
+            ]
+          },
+          {
+            "kind": "group",
+            "document": [
+              {
+                "kind": "recurse_field",
+                "field": "f_is_tagged"
+              },
+              "line",
+              {
+                "kind": "group",
+                "document": {
+                  "kind": "recurse_field",
+                  "field": "f_default_type"
+                }
+              }
+            ]
+          },
+          {
+            "kind": "text",
+            "text": ";"
+          }
+        ]
+      },
+      "fields": {
+        "f_discriminants": [
+          "line",
+          "recurse"
+        ],
+        "f_default_type": {
+          "kind": "align",
+          "width": 2,
+          "contents": [
+            "line",
+            "recurse"
+          ]
+        }
+      }
+    },
+    "IncompleteTypeDecl": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "text",
+            "text": "type"
+          },
+          {
+            "kind": "align",
+            "width": 2,
+            "contents": [
+              "line",
+              {
+                "kind": "group",
+                "document": [
+                  {
+                    "kind": "recurse_field",
+                    "field": "f_name"
+                  },
+                  {
+                    "kind": "recurse_field",
+                    "field": "f_discriminants"
+                  }
+                ]
+              }
+            ]
+          },
+          {
+            "kind": "text",
+            "text": ";"
+          }
+        ]
+      },
+      "fields": {
+        "f_discriminants": [
+          "line",
+          "recurse"
+        ]
+      }
+    },
+    "IncompleteTaggedTypeDecl": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "text",
+            "text": "type"
+          },
+          {
+            "kind": "align",
+            "width": 2,
+            "contents": [
+              "line",
+              {
+                "kind": "group",
+                "document": [
+                  {
+                    "kind": "recurse_field",
+                    "field": "f_name"
+                  },
+                  {
+                    "kind": "recurse_field",
+                    "field": "f_discriminants"
+                  }
+                ]
+              }
+            ]
+          },
+          "line",
+          {
+            "kind": "text",
+            "text": "is"
+          },
+          "whitespace",
+          {
+            "kind": "recurse_field",
+            "field": "f_has_abstract"
+          },
+          {
+            "kind": "text",
+            "text": "tagged"
+          },
+          {
+            "kind": "text",
+            "text": ";"
+          }
+        ]
+      },
+      "fields": {
+        "f_discriminants": [
+          "line",
+          "recurse"
+        ]
+      }
+    },
     "InterfaceTypeDef": {
       "node": {
         "kind": "group",