From 1380fc23a0549ff79e9ce0d61f447ff130c48536 Mon Sep 17 00:00:00 2001
From: Konstantin Chukharev <lipen00@gmail.com>
Date: Fri, 7 Jun 2024 11:53:53 +0300
Subject: [PATCH] Add non-polymorphic Local to ArkFile JSON schema

---
 .../src/main/resources/arkfile-schema.json      | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/jacodb-panda-dynamic/src/main/resources/arkfile-schema.json b/jacodb-panda-dynamic/src/main/resources/arkfile-schema.json
index 37ec6410c..2d8b9a82e 100644
--- a/jacodb-panda-dynamic/src/main/resources/arkfile-schema.json
+++ b/jacodb-panda-dynamic/src/main/resources/arkfile-schema.json
@@ -40,7 +40,7 @@
         },
         "locals": {
           "items": {
-            "$ref": "#/definitions/Value.Local"
+            "$ref": "#/definitions/Local"
           },
           "type": "array"
         }
@@ -519,6 +519,21 @@
       ],
       "type": "object"
     },
+    "Local": {
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "type": {
+          "type": "string"
+        }
+      },
+      "required": [
+        "name",
+        "type"
+      ],
+      "type": "object"
+    },
     "Method": {
       "properties": {
         "body": {