refactor cli

extensions/ql-vscode/.eslintrc.js

@@ -48,7 +48,7 @@ const baseConfig = {
     "@typescript-eslint/no-throw-literal": "error",
     "@typescript-eslint/consistent-type-imports": "error",
     "import/consistent-type-specifier-style": ["error", "prefer-top-level"],
-    curly: ["error", "all"],
+    // curly: ["error", "all"],
     "escompat/no-regexp-lookbehind": "off",
     "etc/no-implicit-any-catch": "error",
     "filenames/match-regex": "off",

extensions/ql-vscode/src/variant-analysis/bqrs-processing.ts

@@ -15,28 +15,28 @@ export async function extractRawResults(
   const bqrsInfo = await cliServer.bqrsInfo(filePath);
   const resultSets = bqrsInfo["result-sets"];
 
-  if (resultSets.length < 1) {
+  if (resultSets.length === 0) {
     throw new Error("No result sets found in results file.");
   }
   if (resultSets.length > 1) {
     void logger.log(
-      "Multiple result sets found in results file. Only one will be used.",
+      "Multiple result sets found in results file. Using the first one.",
     );
   }
 
-  // Always prefer #select over any other result set. #select is usually the result the user
-  // wants to see since it contains the outer #select.
+  // Prefer `#select` result set; otherwise, use the first available set.
   const schema =
-    resultSets.find((resultSet) => resultSet.name === SELECT_TABLE_NAME) ??
-    resultSets[0];
+    resultSets.find((r) => r.name === SELECT_TABLE_NAME) ?? resultSets[0];
 
   const chunk = await cliServer.bqrsDecode(filePath, schema.name, {
     pageSize: MAX_RAW_RESULTS,
   });
-
   const resultSet = bqrsToResultSet(schema, chunk);
 
-  const capped = !!chunk.next;
-
-  return { resultSet, fileLinkPrefix, sourceLocationPrefix, capped };
+  return {
+    resultSet,
+    fileLinkPrefix,
+    sourceLocationPrefix,
+    capped: !!chunk.next,
+  };
 }

vscode-codeql.code-workspace

@@ -20,8 +20,7 @@
 			"TZ": "UTC"
 		},
 		"github.copilot.advanced": {},
-        "github-enterprise.uri": "http://server:8080",
-        "sarif-viewer.connectToGithubCodeScanning": "off"
+		"github-enterprise.uri": "http://server:8080"
 
     }
 }