Add a version-check to BigInt quick-eval test

Author: d10c

extensions/ql-vscode/test/data/debugger/QuickEvalBigIntQuery.ql

@@ -0,0 +1,31 @@
+import QuickEvalLib
+
+class InterestingBigInt instanceof InterestingNumber
+{
+    QlBuiltins::BigInt getBigIntValue() {
+        result = super.getValue().toBigInt().pow(10)
+    }
+
+    string toString() {
+        result = super.toString()
+    }
+}
+
+class PrimeNumber extends InterestingNumber {
+    PrimeNumber() {
+        exists(int n | this = MkNumber(n) |
+            n in [
+                2,
+                3,
+                5,
+                7,
+                11,
+                13,
+                17,
+                19
+            ])
+    }
+}
+
+from InterestingNumber n
+select n.toString()

extensions/ql-vscode/test/data/debugger/QuickEvalLib.qll

@@ -17,8 +17,4 @@ abstract class InterestingNumber extends TNumber
     final int getValue() {
         result = value
     }
-
-    QlBuiltins::BigInt getBigIntValue() {
-        result = value.toBigInt()
-    }
 }

extensions/ql-vscode/test/vscode-tests/cli-integration/debugger/debugger.test.ts

@@ -49,6 +49,9 @@ describeWithCodeQL()("Debugger", () => {
   const quickEvalQueryPath = getDataFolderFilePath(
     "debugger/QuickEvalQuery.ql",
   );
+  const quickEvalBigIntQueryPath = getDataFolderFilePath(
+    "debugger/QuickEvalBigIntQuery.ql",
+  );
   const quickEvalLibPath = getDataFolderFilePath("debugger/QuickEvalLib.qll");
 
   beforeEach(async () => {
@@ -146,11 +149,16 @@ describeWithCodeQL()("Debugger", () => {
 
   it("should run a quick evaluation with a bigint-valued result column", async () => {
     await withDebugController(appCommands, async (controller) => {
-      await selectForQuickEval(quickEvalLibPath, 20, 23, 20, 37);
+      const semver = await cli.getVersion();
+      if (semver.compare("2.18.4") < 0) {
+        // Skip this test if the CLI version is too old to support BigInt
+        return;
+      }
 
-      await controller.startDebuggingSelection({
-        query: quickEvalQueryPath, // The query context. This query extends the abstract class.
-      });
+      await selectForQuickEval(quickEvalBigIntQueryPath, 4, 23, 4, 37);
+
+      // Don't specify a query path, so we'll default to the active document ("QuickEvalBigIntQuery.ql")
+      await controller.startDebuggingSelection({});
       await controller.expectLaunched();
       const result = await controller.expectSucceeded();
       expect(result.started.quickEvalContext).toBeDefined();