Merge branch 'mku/raise_stmt' into 'master'

Unparsing: Add RaiseStmt and RaiseExpr config

Closes #1371

See merge request eng/libadalang/libadalang!1629

extensions/default_unparsing_config.json

@@ -4528,6 +4528,84 @@
         ]
       }
     },
+    "RaiseExpr": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "text",
+            "text": "raise"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_exception_name"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_error_message"
+          }
+        ]
+      },
+      "fields": {
+        "f_error_message": {
+          "kind": "align",
+          "width": 2,
+          "contents": {
+            "kind": "group",
+            "document": [
+              "line",
+              {
+                "kind": "text",
+                "text": "with"
+              },
+              "whitespace",
+              "recurse"
+            ]
+          }
+        }
+      }
+    },
+    "RaiseStmt": {
+      "node": {
+        "kind": "group",
+        "document": [
+          {
+            "kind": "text",
+            "text": "raise"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_exception_name"
+          },
+          {
+            "kind": "recurse_field",
+            "field": "f_error_message"
+          },
+          {
+            "kind": "text",
+            "text": ";"
+          }
+        ]
+      },
+      "fields": {
+        "f_error_message": {
+          "kind": "align",
+          "width": 2,
+          "contents": {
+            "kind": "group",
+            "document": [
+              "line",
+              {
+                "kind": "text",
+                "text": "with"
+              },
+              "whitespace",
+              "recurse"
+            ]
+          }
+        }
+      }
+    },
     "RangeSpec": {
       "node": {
         "kind": "align",

testsuite/tests/unparsing/raise_expr/long/doc-baseline.json

@@ -0,0 +1,63 @@
+{
+  "id": 7,
+  "kind": "command",
+  "command": {
+    "command": "group",
+    "id": 0,
+    "groupContents": {
+      "id": 6,
+      "kind": "list",
+      "list": [
+        {
+          "id": 0,
+          "kind": "text",
+          "text": "raise VeeeeeeeeeeeeryyyyyyyyLoooongNotImplementedError"
+        },
+        {
+          "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": 1,
+                      "kind": "command",
+                      "command": {
+                        "command": "line",
+                        "literal": false,
+                        "soft": false,
+                        "hard": false
+                      }
+                    },
+                    {
+                      "id": 2,
+                      "kind": "text",
+                      "text": "with \"a looooooooooooong too bad message\""
+                    }
+                  ]
+                },
+                "break": false,
+                "expandedStates": null
+              }
+            }
+          }
+        }
+      ]
+    },
+    "break": false,
+    "expandedStates": null
+  }
+}

testsuite/tests/unparsing/raise_expr/long/input.ada

@@ -0,0 +1 @@
+raise VeeeeeeeeeeeeryyyyyyyyLoooongNotImplementedError with "a looooooooooooong too bad message"

testsuite/tests/unparsing/raise_expr/long/test.out

@@ -0,0 +1,2 @@
+raise VeeeeeeeeeeeeryyyyyyyyLoooongNotImplementedError
+  with "a looooooooooooong too bad message"

testsuite/tests/unparsing/raise_expr/long/test.yaml

@@ -0,0 +1,8 @@
+description: |
+    This test checks the formatting of a raise expression
+    with the line length exceeded.
+    It is expected the expression breaks before the `with`
+    keyword and the new line be indented.
+ 
+driver: unparser
+rule: raise_expr

testsuite/tests/unparsing/raise_expr/short/doc-baseline.json

@@ -0,0 +1,63 @@
+{
+  "id": 7,
+  "kind": "command",
+  "command": {
+    "command": "group",
+    "id": 0,
+    "groupContents": {
+      "id": 6,
+      "kind": "list",
+      "list": [
+        {
+          "id": 0,
+          "kind": "text",
+          "text": "raise NotImplementedError"
+        },
+        {
+          "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": 1,
+                      "kind": "command",
+                      "command": {
+                        "command": "line",
+                        "literal": false,
+                        "soft": false,
+                        "hard": false
+                      }
+                    },
+                    {
+                      "id": 2,
+                      "kind": "text",
+                      "text": "with \"too bad\""
+                    }
+                  ]
+                },
+                "break": false,
+                "expandedStates": null
+              }
+            }
+          }
+        }
+      ]
+    },
+    "break": false,
+    "expandedStates": null
+  }
+}

testsuite/tests/unparsing/raise_expr/short/input.ada

@@ -0,0 +1 @@
+raise NotImplementedError with "too bad"

testsuite/tests/unparsing/raise_expr/short/test.out

@@ -0,0 +1 @@
+raise NotImplementedError with "too bad"

testsuite/tests/unparsing/raise_expr/short/test.yaml

@@ -0,0 +1,6 @@
+description: |
+    This test checks the formatting of a raise expression.
+    It is expected the expression stays on a single line.
+ 
+driver: unparser
+rule: raise_expr

testsuite/tests/unparsing/raise_stmt/long_with_expr_and_message/doc-baseline.json

@@ -0,0 +1,68 @@
+{
+  "id": 8,
+  "kind": "command",
+  "command": {
+    "command": "group",
+    "id": 0,
+    "groupContents": {
+      "id": 7,
+      "kind": "list",
+      "list": [
+        {
+          "id": 0,
+          "kind": "text",
+          "text": "raise VeeeeeeeeeeeeryyyyyyyyLoooongNotImplementedError"
+        },
+        {
+          "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": 1,
+                      "kind": "command",
+                      "command": {
+                        "command": "line",
+                        "literal": false,
+                        "soft": false,
+                        "hard": false
+                      }
+                    },
+                    {
+                      "id": 2,
+                      "kind": "text",
+                      "text": "with \"a looooooooooooong too bad message\""
+                    }
+                  ]
+                },
+                "break": false,
+                "expandedStates": null
+              }
+            }
+          }
+        },
+        {
+          "id": 6,
+          "kind": "text",
+          "text": ";"
+        }
+      ]
+    },
+    "break": false,
+    "expandedStates": null
+  }
+}

testsuite/tests/unparsing/raise_stmt/long_with_expr_and_message/input.ada

@@ -0,0 +1 @@
+raise VeeeeeeeeeeeeryyyyyyyyLoooongNotImplementedError with "a looooooooooooong too bad message";

testsuite/tests/unparsing/raise_stmt/long_with_expr_and_message/test.out

@@ -0,0 +1,2 @@
+raise VeeeeeeeeeeeeryyyyyyyyLoooongNotImplementedError
+  with "a looooooooooooong too bad message";

testsuite/tests/unparsing/raise_stmt/long_with_expr_and_message/test.yaml

@@ -0,0 +1,8 @@
+description: |
+    This test checks the formatting of a raise statement
+    with the line length exceeded.
+    It is expected the statement breaks before the `with`
+    keyword and the new line be indented.
+ 
+driver: unparser
+rule: raise_stmt

testsuite/tests/unparsing/raise_stmt/simple/doc-baseline.json

@@ -0,0 +1,21 @@
+{
+  "id": 2,
+  "kind": "command",
+  "command": {
+    "command": "group",
+    "id": 0,
+    "groupContents": {
+      "id": 1,
+      "kind": "list",
+      "list": [
+        {
+          "id": 0,
+          "kind": "text",
+          "text": "raise;"
+        }
+      ]
+    },
+    "break": false,
+    "expandedStates": null
+  }
+}

testsuite/tests/unparsing/raise_stmt/simple/input.ada

@@ -0,0 +1 @@
+raise;

testsuite/tests/unparsing/raise_stmt/simple/test.out

@@ -0,0 +1 @@
+raise;

testsuite/tests/unparsing/raise_stmt/simple/test.yaml

@@ -0,0 +1,6 @@
+description: |
+    This test checks the formatting of a raise statement.
+    It is expected the statement stays on a single line.
+ 
+driver: unparser
+rule: raise_stmt