From d10efa667ae975105dd6ed854fb445b9635557c3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 12 Feb 2025 19:56:33 -0800
Subject: [PATCH] stub for treesitter

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 genaisrc/treesitter.genai.mts | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 genaisrc/treesitter.genai.mts

diff --git a/genaisrc/treesitter.genai.mts b/genaisrc/treesitter.genai.mts
new file mode 100644
index 000000000..b333ede2b
--- /dev/null
+++ b/genaisrc/treesitter.genai.mts
@@ -0,0 +1,14 @@
+script({
+    title: "Invoke LLM code update",
+    files: "src/muz/spacer/spacer_qe_project.cpp"
+})
+
+
+
+const inputFile = env.files[0];
+const { captures } = await parsers.code(inputFile);
+
+// pretty-print tree sitter parse tree of captures:
+
+
+console.log(JSON.stringify(captures, null,2))