Show number of results correctly

Author: jcreedcmu

extensions/ql-vscode/src/interface-types.ts

@@ -61,6 +61,7 @@ export interface PreviousExecution {
 export interface Interpretation {
   sourceLocationPrefix: string;
   numTruncatedResults: number;
+  numTotalResults: number;
   /**
    * sortState being undefined means don't sort, just present results in the order
    * they appear in the sarif file.

extensions/ql-vscode/src/interface.ts

@@ -494,10 +494,18 @@ export class InterfaceManager extends DisposableObject {
       if (run.results !== undefined)
         sortInterpretedResults(run.results, sortState);
     });
+
+    const numTotalResults = (() => {
+      if (sarif.runs.length === 0) return 0;
+      if (sarif.runs[0].results === undefined) return 0;
+      return sarif.runs[0].results.length;
+    })();
+
     const interpretation: Interpretation = {
       sarif,
       sourceLocationPrefix,
       numTruncatedResults: 0,
+      numTotalResults,
       sortState,
     };
     this._interpretation = interpretation;

extensions/ql-vscode/src/view/result-tables.tsx

@@ -50,9 +50,7 @@ function getResultCount(resultSet: ResultSet): number {
     case 'RawResultSet':
       return resultSet.schema.tupleCount;
     case 'SarifResultSet':
-      if (resultSet.sarif.runs.length === 0) return 0;
-      if (resultSet.sarif.runs[0].results === undefined) return 0;
-      return resultSet.sarif.runs[0].results.length + resultSet.numTruncatedResults;
+      return resultSet.numTotalResults;
   }
 }