Merge pull request #39 from trailofbits/VF/close-all-sarif-files-button

Add button to close all SARIF files

package.json

@@ -2,7 +2,7 @@
     "name": "sarif-explorer",
     "displayName": "SARIF Explorer",
     "description": "SARIF Explorer: Explore static analysis results effectively and enjoyably.",
-    "version": "1.2.7",
+    "version": "1.2.8",
     "publisher": "trailofbits",
     "author": {
         "name": "Trail of Bits"

src/webviewSrc/main.html

@@ -72,6 +72,11 @@
             class="smallButton codicon codicon-repo-push"
             title="Send all results marked as BUG to weAudit"
         ></div>
+        <div
+            id="closeAllSarifFilesButton"
+            class="smallButton codicon codicon-close"
+            title="Close all SARIF files"
+        ></div>
     </div>
 </div>
 

src/webviewSrc/result/resultsTableWidget.ts

@@ -417,7 +417,7 @@ export class ResultsTableWidget {
             }
         };
 
-        // 10. Settings button
+        // 10. Send bugs to WeAudit button
         const sendBugsToWeAuditButton = getElementByIdOrThrow(this.SEND_BUGS_TO_WEAUDIT_BUTTON_ID) as HTMLButtonElement;
         sendBugsToWeAuditButton.onclick = () => {
             apiSendBugsToWeAudit(this.resultsTable.getBugs());

src/webviewSrc/sarifFile/sarifFileListWidget.ts

@@ -83,6 +83,7 @@ export class SarifFileListWidget {
     /* eslint-disable @typescript-eslint/naming-convention */
     private SARIF_LIST_TABLE_ID = "sarifFileTable";
     private SARIF_LIST_OPEN_BUTTON_ID = "openNewSarifFileButton";
+    private CLOSE_ALL_SARIF_FILES_BUTTON_ID = "closeAllSarifFilesButton";
     /* eslint-enable @typescript-eslint/naming-convention */
 
     private sarifFileListData: SarifFileList;
@@ -112,6 +113,17 @@ export class SarifFileListWidget {
             apiLaunchOpenSarifFileDialog();
         };
 
+        // Close all SARIF files button
+        const closeAllSarifFilesButton = getElementByIdOrThrow(
+            this.CLOSE_ALL_SARIF_FILES_BUTTON_ID,
+        ) as HTMLButtonElement;
+        closeAllSarifFilesButton.onclick = () => {
+            this.sarifFilePathToRow.forEach((sarifFileAndRow) => {
+                this.removeSarifFile(sarifFileAndRow);
+                apiCloseSarifFile(sarifFileAndRow.sarifFile.getSarifFilePath());
+            });
+        };
+
         this.sarifFileTableElement.setAttribute("tabindex", "0");
 
         this.sarifFileTableElement.addEventListener("keydown", (e: KeyboardEvent) => {