Add SingleTaskDecl, TaskTypeDecl and EntryDecl confs

AdaCore · Apr 4, 2024 · 2203ecf · 2203ecf
1 parent e019dff
commit 2203ecf
Show file tree

Hide file tree

Showing 35 changed files with 4,637 additions and 76 deletions.
diff --git a/extensions/default_unparsing_config.json b/extensions/default_unparsing_config.json
diff --git a/testsuite/tests/unparsing/entry_decl/entries_family/doc-baseline.json b/testsuite/tests/unparsing/entry_decl/entries_family/doc-baseline.json
diff --git a/testsuite/tests/unparsing/entry_decl/entries_family/input.ada b/testsuite/tests/unparsing/entry_decl/entries_family/input.ada
@@ -0,0 +1 @@
+entry Request(Level)(D : Item);
diff --git a/testsuite/tests/unparsing/entry_decl/entries_family/test.out b/testsuite/tests/unparsing/entry_decl/entries_family/test.out
@@ -0,0 +1 @@
+entry Request (Level) (D : Item);
diff --git a/testsuite/tests/unparsing/entry_decl/entries_family/test.yaml b/testsuite/tests/unparsing/entry_decl/entries_family/test.yaml
@@ -0,0 +1,6 @@
+description: |
+    This test checks the formatting of a family of entries declaration.
+    It is expected the declaration stays on a single line.
+ 
+driver: unparser
+rule: entry_decl
diff --git a/testsuite/tests/unparsing/entry_decl/simple_entry/doc-baseline.json b/testsuite/tests/unparsing/entry_decl/simple_entry/doc-baseline.json
@@ -0,0 +1,85 @@
+{
+  "id": 10,
+  "kind": "command",
+  "command": {
+    "command": "group",
+    "id": 0,
+    "groupContents": {
+      "id": 9,
+      "kind": "list",
+      "list": [
+        {
+          "id": 7,
+          "kind": "command",
+          "command": {
+            "command": "group",
+            "id": 0,
+            "groupContents": {
+              "id": 6,
+              "kind": "list",
+              "list": [
+                {
+                  "id": 5,
+                  "kind": "command",
+                  "command": {
+                    "command": "align",
+                    "alignData": {
+                      "kind": "width",
+                      "n": 2
+                    },
+                    "alignContents": {
+                      "id": 4,
+                      "kind": "command",
+                      "command": {
+                        "command": "group",
+                        "id": 0,
+                        "groupContents": {
+                          "id": 3,
+                          "kind": "list",
+                          "list": [
+                            {
+                              "id": 0,
+                              "kind": "text",
+                              "text": "entry Shut_Down"
+                            },
+                            {
+                              "id": 2,
+                              "kind": "command",
+                              "command": {
+                                "command": "group",
+                                "id": 0,
+                                "groupContents": {
+                                  "id": 1,
+                                  "kind": "list",
+                                  "list": [
+                                  ]
+                                },
+                                "break": false,
+                                "expandedStates": null
+                              }
+                            }
+                          ]
+                        },
+                        "break": false,
+                        "expandedStates": null
+                      }
+                    }
+                  }
+                }
+              ]
+            },
+            "break": false,
+            "expandedStates": null
+          }
+        },
+        {
+          "id": 8,
+          "kind": "text",
+          "text": ";"
+        }
+      ]
+    },
+    "break": false,
+    "expandedStates": null
+  }
+}
diff --git a/testsuite/tests/unparsing/entry_decl/simple_entry/input.ada b/testsuite/tests/unparsing/entry_decl/simple_entry/input.ada
@@ -0,0 +1 @@
+entry Shut_Down;
diff --git a/testsuite/tests/unparsing/entry_decl/simple_entry/test.out b/testsuite/tests/unparsing/entry_decl/simple_entry/test.out
@@ -0,0 +1 @@
+entry Shut_Down;
diff --git a/testsuite/tests/unparsing/entry_decl/simple_entry/test.yaml b/testsuite/tests/unparsing/entry_decl/simple_entry/test.yaml
@@ -0,0 +1,6 @@
+description: |
+    This test checks the formatting of a simple entry declaration.
+    It is expected the declaration stays on a single line.
+ 
+driver: unparser
+rule: entry_decl
diff --git a/testsuite/tests/unparsing/entry_decl/with_parameter/doc-baseline.json b/testsuite/tests/unparsing/entry_decl/with_parameter/doc-baseline.json
diff --git a/testsuite/tests/unparsing/entry_decl/with_parameter/input.ada b/testsuite/tests/unparsing/entry_decl/with_parameter/input.ada
@@ -0,0 +1 @@
+entry Read(V : out Item);
diff --git a/testsuite/tests/unparsing/entry_decl/with_parameter/test.out b/testsuite/tests/unparsing/entry_decl/with_parameter/test.out
@@ -0,0 +1 @@
+entry Read (V : out Item);
diff --git a/testsuite/tests/unparsing/entry_decl/with_parameter/test.yaml b/testsuite/tests/unparsing/entry_decl/with_parameter/test.yaml
@@ -0,0 +1,7 @@
+description: |
+    This test checks the formatting of an entry declaration
+    with parameters.
+    It is expected the declaration stays on a single line.
+ 
+driver: unparser
+rule: entry_decl