remove unused code

Author: Carolyn Zech

src/ui/coverage/coverageInfo.ts

@@ -5,7 +5,6 @@ import * as path from 'path';
 
 import * as vscode from 'vscode';
 
-// eslint-disable-next-line import/order
 import Config from './config';
 import GlobalConfig from '../../globalConfig';
 import { fullToRelativePath, getRootDir} from '../../utils';
@@ -41,9 +40,6 @@ export async function runCodeCoverageAction(renderer: CoverageRenderer, function
 
 	vscode.window.showWarningMessage(warningMessage);
 
-	const activeEditor = vscode.window.activeTextEditor;
-	const currentFileUri = activeEditor?.document.uri.fsPath;
-
 	// Run this command: cargo kani --coverage -Z source-coverage --harness verify_success
 	// to generate the source coverage output
 	const playbackCommand: string = `${kaniBinaryPath} --coverage -Z source-coverage --harness ${functionName}`;
@@ -54,7 +50,6 @@ export async function runCodeCoverageAction(renderer: CoverageRenderer, function
 
 		// Convert the array of (file, line, status) objects into Map<file <line, status>>
 		// since we need to cache this globally
-		// const coverageGlobalMap = parseCoverageFormatted(coverageOutputArray);
 		globalConfig.setCoverage(coverageGlobalMap);
 		renderer.renderInterface(vscode.window.visibleTextEditors, coverageGlobalMap);
 	}
@@ -125,7 +120,6 @@ function readJsonFromPath(filePath: string): any {
  */
 async function parseKaniCoverageOutput(stdout: string): Promise<any | undefined> {
 	const kaniOutput: string = stdout;
-	const kaniOutputArray: string[] = kaniOutput.split('Source-based code coverage results:\n');
 
 	const jsonFilePath = getCoverageJsonPath(kaniOutput);
 	const coverageMap: Map<string, Map<any, string>> = new Map();
@@ -186,60 +180,10 @@ async function parseKaniCoverageOutput(stdout: string): Promise<any | undefined>
 		terminal.show();
 	}
 
-	// const coverage = parseCoverageData(coverageResultsArray);
 	// No command found from Kani
 	return coverageMap;
 }
 
-// Parse `CoverageEntry` objects and convert it into CoverageMap or a map<file_path, map<line_number, status>>.
-// We store this map as the global cache since it allows easy sorting and retrieval by file name, needed by VS Code.
-function parseCoverageFormatted(entries: CoverageEntry[]): Map<string, Map<number, string>> {
-	const nestedMap: Map<string, Map<number, string>> = new Map();
-
-	for (const entry of entries) {
-		const { filePath, lineNumber, coverageStatus } = entry;
-
-		// Check if the outer map already has an entry for the filePath
-		let innerMap = nestedMap.get(filePath);
-
-		// If not, create a new inner map and set it in the outer map
-		if (!innerMap) {
-			innerMap = new Map<number, CoverageStatus>();
-			nestedMap.set(filePath, innerMap);
-		}
-
-		// Set the coverageStatus in the inner map for the lineNumber
-		innerMap.set(lineNumber, coverageStatus);
-	}
-
-	return nestedMap;
-}
-
-// Convert coverage Kani's output into CoverageEntry objects
-function parseCoverageData(data: string[]): CoverageEntry[] {
-	const coverageEntries: CoverageEntry[] = [];
-
-	for (const entry of data) {
-	  const parts = entry.split(', ');
-
-	  if (parts.length === 3) {
-		const [filePath, lineNumberStr, coverageStatus] = parts;
-		if(filePath.includes('Complete - ')) {
-			return coverageEntries;
-		}
-		const lineNumber = parseInt(lineNumberStr.trim(), 10);
-
-		coverageEntries.push({
-		  filePath,
-		  lineNumber,
-		  coverageStatus,
-		});
-	  }
-	}
-
-	return coverageEntries;
-}
-
 // Class representing the Renderer that handles rendering coverage highlights in the editor.
 export class CoverageRenderer {
 	private configStore: Config;
@@ -249,7 +193,7 @@ export class CoverageRenderer {
         this.configStore = configStore;
     }
 
-		/**
+	/**
 	 * Renders coverage highlights for multiple files.
 	 * @param editors - An array of text editor files to render coverage highlights for.
 	 * @param coverageMap - A map containing coverage data for each file.
@@ -271,7 +215,6 @@ export class CoverageRenderer {
 			// Fetch the coverage data for a file from the coverageMap.
 			const relativePath = fullToRelativePath(editor.document.fileName);
 			const fileMap = coverageMap.get(relativePath)!;
-			// const coverageLines = this.createCoverage(editor.document, fileMap);
 
 			const coverageLines = this.convertMapToLines(fileMap);
 			this.renderHighlight(editor, coverageLines);