Create lambda handlers (#306)

* Preparation of lambda handlers * generate access for FunctionHandlerImpl * generate access for LambdaHandlerImpl * fixed tests * fix linter * rebase fixes * adjustments * remove debug * change signature * update function analysis snapshots * update function analysis snapshots #2 * Drop unnecessary comment
mhorod · Jan 20, 2025 · 59379c1 · 59379c1
1 parent a307454
commit 59379c1
Show file tree

Hide file tree

Showing 59 changed files with 2,893 additions and 219 deletions.
diff --git a/__snapshot__/correct/arithmetic_operators.cac.analysis.snap b/__snapshot__/correct/arithmetic_operators.cac.analysis.snap
@@ -10650,6 +10650,7 @@
         "useType": "UNUSED"
       }
     ],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []

diff --git a/__snapshot__/correct/assignment-with-function-calls.cac.analysis.snap b/__snapshot__/correct/assignment-with-function-calls.cac.analysis.snap
@@ -1997,6 +1997,7 @@
         "useType": "READ_WRITE"
       }
     ],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []
@@ -2830,6 +2831,38 @@
         "useType": "READ"
       }
     ],
+    "arguments": [
+      {
+        "__class__": "FunctionArgument",
+        "type": {
+          "__class__": "Basic",
+          "identifier": "Int",
+          "range": {
+            "__class__": "Pair",
+            "first": {
+              "__class__": "Location",
+              "value": 12
+            },
+            "second": {
+              "__class__": "Location",
+              "value": 14
+            }
+          }
+        },
+        "identifier": "x",
+        "range": {
+          "__class__": "Pair",
+          "first": {
+            "__class__": "Location",
+            "value": 9
+          },
+          "second": {
+            "__class__": "Location",
+            "value": 14
+          }
+        }
+      }
+    ],
     "auxVariables": [],
     "staticDepth": 1,
     "variablesUsedInNestedFunctions": []

diff --git a/__snapshot__/correct/assignment.cac.analysis.snap b/__snapshot__/correct/assignment.cac.analysis.snap
@@ -1142,6 +1142,7 @@
         "useType": "READ"
       }
     ],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []

diff --git a/__snapshot__/correct/blocks_easy.cac.analysis.snap b/__snapshot__/correct/blocks_easy.cac.analysis.snap
@@ -185,6 +185,7 @@
       }
     },
     "variables": [],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []

diff --git a/__snapshot__/correct/blocks_hard.cac.analysis.snap b/__snapshot__/correct/blocks_hard.cac.analysis.snap
@@ -446,6 +446,7 @@
       }
     },
     "variables": [],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []

diff --git a/__snapshot__/correct/comments.cac.analysis.snap b/__snapshot__/correct/comments.cac.analysis.snap
@@ -154,6 +154,7 @@
       }
     },
     "variables": [],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []

diff --git a/__snapshot__/correct/complex-expressions.cac.analysis.snap b/__snapshot__/correct/complex-expressions.cac.analysis.snap
@@ -2579,6 +2579,7 @@
         "useType": "READ_WRITE"
       }
     ],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []
@@ -3955,6 +3956,68 @@
         "useType": "READ"
       }
     ],
+    "arguments": [
+      {
+        "__class__": "FunctionArgument",
+        "type": {
+          "__class__": "Basic",
+          "identifier": "Int",
+          "range": {
+            "__class__": "Pair",
+            "first": {
+              "__class__": "Location",
+              "value": 12
+            },
+            "second": {
+              "__class__": "Location",
+              "value": 14
+            }
+          }
+        },
+        "identifier": "x",
+        "range": {
+          "__class__": "Pair",
+          "first": {
+            "__class__": "Location",
+            "value": 9
+          },
+          "second": {
+            "__class__": "Location",
+            "value": 14
+          }
+        }
+      },
+      {
+        "__class__": "FunctionArgument",
+        "type": {
+          "__class__": "Basic",
+          "identifier": "Int",
+          "range": {
+            "__class__": "Pair",
+            "first": {
+              "__class__": "Location",
+              "value": 20
+            },
+            "second": {
+              "__class__": "Location",
+              "value": 22
+            }
+          }
+        },
+        "identifier": "z",
+        "range": {
+          "__class__": "Pair",
+          "first": {
+            "__class__": "Location",
+            "value": 17
+          },
+          "second": {
+            "__class__": "Location",
+            "value": 22
+          }
+        }
+      }
+    ],
     "auxVariables": [],
     "staticDepth": 1,
     "variablesUsedInNestedFunctions": []

diff --git a/__snapshot__/correct/cursed.cac.analysis.snap b/__snapshot__/correct/cursed.cac.analysis.snap
@@ -9820,6 +9820,7 @@
         "useType": "UNUSED"
       }
     ],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []
@@ -11143,6 +11144,38 @@
       "used": false
     },
     "variables": [],
+    "arguments": [
+      {
+        "__class__": "FunctionArgument",
+        "type": {
+          "__class__": "Basic",
+          "identifier": "Unit",
+          "range": {
+            "__class__": "Pair",
+            "first": {
+              "__class__": "Location",
+              "value": 260
+            },
+            "second": {
+              "__class__": "Location",
+              "value": 263
+            }
+          }
+        },
+        "identifier": "x",
+        "range": {
+          "__class__": "Pair",
+          "first": {
+            "__class__": "Location",
+            "value": 257
+          },
+          "second": {
+            "__class__": "Location",
+            "value": 263
+          }
+        }
+      }
+    ],
     "auxVariables": [],
     "staticDepth": 1,
     "variablesUsedInNestedFunctions": []
@@ -12451,6 +12484,38 @@
       "used": false
     },
     "variables": [],
+    "arguments": [
+      {
+        "__class__": "FunctionArgument",
+        "type": {
+          "__class__": "Basic",
+          "identifier": "Unit",
+          "range": {
+            "__class__": "Pair",
+            "first": {
+              "__class__": "Location",
+              "value": 299
+            },
+            "second": {
+              "__class__": "Location",
+              "value": 302
+            }
+          }
+        },
+        "identifier": "x",
+        "range": {
+          "__class__": "Pair",
+          "first": {
+            "__class__": "Location",
+            "value": 296
+          },
+          "second": {
+            "__class__": "Location",
+            "value": 302
+          }
+        }
+      }
+    ],
     "auxVariables": [],
     "staticDepth": 1,
     "variablesUsedInNestedFunctions": []

diff --git a/__snapshot__/correct/evaluation-order-arithmetic.cac.analysis.snap b/__snapshot__/correct/evaluation-order-arithmetic.cac.analysis.snap
@@ -672,6 +672,7 @@
         "useType": "READ_WRITE"
       }
     ],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []

diff --git a/__snapshot__/correct/evaluation-order-function-calls.cac.analysis.snap b/__snapshot__/correct/evaluation-order-function-calls.cac.analysis.snap
@@ -3215,6 +3215,7 @@
         "useType": "READ_WRITE"
       }
     ],
+    "arguments": [],
     "auxVariables": [],
     "staticDepth": 0,
     "variablesUsedInNestedFunctions": []
@@ -4803,6 +4804,68 @@
         "useType": "READ"
       }
     ],
+    "arguments": [
+      {
+        "__class__": "FunctionArgument",
+        "type": {
+          "__class__": "Basic",
+          "identifier": "Int",
+          "range": {
+            "__class__": "Pair",
+            "first": {
+              "__class__": "Location",
+              "value": 12
+            },
+            "second": {
+              "__class__": "Location",
+              "value": 14
+            }
+          }
+        },
+        "identifier": "x",
+        "range": {
+          "__class__": "Pair",
+          "first": {
+            "__class__": "Location",
+            "value": 9
+          },
+          "second": {
+            "__class__": "Location",
+            "value": 14
+          }
+        }
+      },
+      {
+        "__class__": "FunctionArgument",
+        "type": {
+          "__class__": "Basic",
+          "identifier": "Int",
+          "range": {
+            "__class__": "Pair",
+            "first": {
+              "__class__": "Location",
+              "value": 20
+            },
+            "second": {
+              "__class__": "Location",
+              "value": 22
+            }
+          }
+        },
+        "identifier": "z",
+        "range": {
+          "__class__": "Pair",
+          "first": {
+            "__class__": "Location",
+            "value": 17
+          },
+          "second": {
+            "__class__": "Location",
+            "value": 22
+          }
+        }
+      }
+    ],
     "auxVariables": [],
     "staticDepth": 1,
     "variablesUsedInNestedFunctions": []