Fix formatting check in CI (#146)

The `.prettierignore` was ignoring some Typescript files that we'd
actually want to check. Rather than have CI check against everything
(`prettier .`) with a list of what to exclude, remove the exclusion list
and just check all the Typescript files in `src`.

See carolynzech#2 for
evidence that it works.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

Author: Carolyn Zech

.prettierignore

@@ -90,7 +90,7 @@
     "pretest": "npm run compile && npm run lint",
     "lint": "eslint src --ext ts",
     "pretty": "prettier --write \"src/**/*.ts\"",
-    "prettier:check:ci": "./node_modules/.bin/prettier --check .",
+    "prettier:check:ci": "npx prettier --check \"src/**/*.{ts,tsx}\"",
     "test": "node ./out/test/runTest.js"
   },
   "devDependencies": {
@@ -114,7 +114,7 @@
     "eslint-plugin-tsdoc": "^0.2.17",
     "glob": "^8.0.3",
     "mocha": "^10.0.0",
-    "prettier": "2.8.0",
+    "prettier": "3.4.2",
     "typescript": "^4.7.4"
   },
   "dependencies": {

package-lock.json

@@ -1,43 +1,48 @@
 // Copyright Kani Contributors
 // SPDX-License-Identifier: Apache-2.0 OR MIT
 
-import { DecorationRenderOptions, ExtensionContext, TextEditorDecorationType, window } from "vscode";
+import {
+	DecorationRenderOptions,
+	ExtensionContext,
+	TextEditorDecorationType,
+	window,
+} from 'vscode';
 
 // Takes the extension context and stores the specified decoration (VS Code highliging API) values for that context
 // By storing the decoration values per context, we allow users to de-highlight the same contexts.
 // Without caching these values as a global cache, VS Code does not de-highlight.
 class CoverageConfig {
-    public covered!: TextEditorDecorationType;
-    public partialcovered!: TextEditorDecorationType;
-    public uncovered!: TextEditorDecorationType;
-
-    private context: ExtensionContext;
-
-    constructor(context: ExtensionContext) {
-        this.context = context;
-        this.setup();
-    }
-
-    private setup(): void {
-        const fullDecoration: DecorationRenderOptions = {
-            backgroundColor: 'rgba(0, 255, 0, 0.2)', // Green background
-            isWholeLine: false
-        };
-
-        const partialDecoration: DecorationRenderOptions = {
-            backgroundColor: 'rgba(255, 255, 0, 0.2)', // Yellow background
-            isWholeLine: false
-        };
-
-        const noDecoration: DecorationRenderOptions = {
-            backgroundColor: 'rgba(255, 0, 0, 0.2)', // Red background
-            isWholeLine: false
-        };
-
-        this.covered = window.createTextEditorDecorationType(fullDecoration);
-        this.partialcovered = window.createTextEditorDecorationType(partialDecoration);
-        this.uncovered = window.createTextEditorDecorationType(noDecoration);
-    }
+	public covered!: TextEditorDecorationType;
+	public partialcovered!: TextEditorDecorationType;
+	public uncovered!: TextEditorDecorationType;
+
+	private context: ExtensionContext;
+
+	constructor(context: ExtensionContext) {
+		this.context = context;
+		this.setup();
+	}
+
+	private setup(): void {
+		const fullDecoration: DecorationRenderOptions = {
+			backgroundColor: 'rgba(0, 255, 0, 0.2)', // Green background
+			isWholeLine: false,
+		};
+
+		const partialDecoration: DecorationRenderOptions = {
+			backgroundColor: 'rgba(255, 255, 0, 0.2)', // Yellow background
+			isWholeLine: false,
+		};
+
+		const noDecoration: DecorationRenderOptions = {
+			backgroundColor: 'rgba(255, 0, 0, 0.2)', // Red background
+			isWholeLine: false,
+		};
+
+		this.covered = window.createTextEditorDecorationType(fullDecoration);
+		this.partialcovered = window.createTextEditorDecorationType(partialDecoration);
+		this.uncovered = window.createTextEditorDecorationType(noDecoration);
+	}
 }
 
 export default CoverageConfig;

package.json

@@ -20,21 +20,24 @@ interface CoverageEntry {
 
 // Interface for storing the coverage status for each line of a document.
 export interface CoverageLines {
-    full: vscode.Range[];
-    partial: vscode.Range[];
-    none: vscode.Range[];
+	full: vscode.Range[];
+	partial: vscode.Range[];
+	none: vscode.Range[];
 }
 
 enum CoverageStatus {
-	Full = "FULL",
-	Partial = "PARTIAL",
-	None = "NONE"
+	Full = 'FULL',
+	Partial = 'PARTIAL',
+	None = 'NONE',
 }
 
 const warningMessage = `Line coverage is an unstable feature.`;
 
 // Callback function for the coverage code lens action
-export async function runCodeCoverageAction(renderer: CoverageRenderer, functionName: string): Promise<void> {
+export async function runCodeCoverageAction(
+	renderer: CoverageRenderer,
+	functionName: string,
+): Promise<void> {
 	const globalConfig = GlobalConfig.getInstance();
 	const kaniBinaryPath = globalConfig.getFilePath();
 
@@ -46,8 +49,7 @@ export async function runCodeCoverageAction(renderer: CoverageRenderer, function
 	const playbackCommand: string = `${kaniBinaryPath} --coverage -Z line-coverage --harness ${functionName}`;
 	const processOutput = await runCoverageCommand(playbackCommand, functionName);
 
-
-	if(processOutput.statusCode == 0) {
+	if (processOutput.statusCode == 0) {
 		const coverageOutputArray = processOutput.result;
 
 		// Convert the array of (file, line, status) objects into Map<file <line, status>>
@@ -107,7 +109,7 @@ async function parseKaniCoverageOutput(stdout: string): Promise<any | undefined>
 
 	const coverageResults = kaniOutputArray.at(1);
 
-	if(coverageResults === undefined) {
+	if (coverageResults === undefined) {
 		return '';
 	}
 
@@ -161,21 +163,21 @@ function parseCoverageData(data: string[]): CoverageEntry[] {
 	const coverageEntries: CoverageEntry[] = [];
 
 	for (const entry of data) {
-	  const parts = entry.split(', ');
+		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);
+		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,
-		});
-	  }
+			coverageEntries.push({
+				filePath,
+				lineNumber,
+				coverageStatus,
+			});
+		}
 	}
 
 	return coverageEntries;
@@ -184,21 +186,22 @@ function parseCoverageData(data: string[]): CoverageEntry[] {
 // Class representing the Renderer that handles rendering coverage highlights in the editor.
 export class CoverageRenderer {
 	private configStore: Config;
-	constructor(
-        configStore: Config,
-    ) {
-        this.configStore = configStore;
-    }
+	constructor(configStore: Config) {
+		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.
 	 */
-	public renderInterface(editors: readonly vscode.TextEditor[], coverageMap: Map<string, Map<number, string>>): void {
+	public renderInterface(
+		editors: readonly vscode.TextEditor[],
+		coverageMap: Map<string, Map<number, string>>,
+	): void {
 		editors.forEach((editor) => {
 			// If coverageMap is empty, de-highlight the files
-			if(coverageMap.size == 0) {
+			if (coverageMap.size == 0) {
 				const coverageLines: CoverageLines = {
 					full: [],
 					none: [],
@@ -222,8 +225,11 @@ export class CoverageRenderer {
 	 * @param editor - The text editor to render coverage highlights for.
 	 * @param coverageMap - A map containing coverage data for each file.
 	 */
-	public renderInterfaceForFile(editor: vscode.TextEditor, coverageMap: Map<string, Map<number, string>>): void {
-		if(coverageMap.size == 0) {
+	public renderInterfaceForFile(
+		editor: vscode.TextEditor,
+		coverageMap: Map<string, Map<number, string>>,
+	): void {
+		if (coverageMap.size == 0) {
 			const coverageLines: CoverageLines = {
 				full: [],
 				none: [],
@@ -233,44 +239,46 @@ export class CoverageRenderer {
 			this.renderHighlight(editor, coverageLines);
 		}
 		const fileMap = coverageMap.get(editor.document.fileName);
-		if(fileMap === undefined){
+		if (fileMap === undefined) {
 			return;
 		}
 		const coverageLines = this.createCoverage(editor.document, fileMap);
 		this.renderHighlight(editor, coverageLines);
 	}
 
-
 	/**
 	 * Creates coverage highlights for a given text document based on the coverageFileMap.
 	 * @param doc - The text document for which coverage highlights are to be created.
 	 * @param coverageFileMap - A map containing coverage status for each line number.
 	 * @returns An object containing coverage highlights categorized as 'full', 'partial', and 'none'.
 	 */
-	public createCoverage(doc: vscode.TextDocument, coverageFileMap: Map<number, string>): CoverageLines {
+	public createCoverage(
+		doc: vscode.TextDocument,
+		coverageFileMap: Map<number, string>,
+	): CoverageLines {
 		const coverageLines: CoverageLines = {
-            full: [],
-            none: [],
-            partial: [],
-        };
+			full: [],
+			none: [],
+			partial: [],
+		};
 
 		for (let lineNum = 1; lineNum <= doc.lineCount; lineNum++) {
 			const line = doc.lineAt(lineNum - 1);
 			const status = coverageFileMap.get(lineNum);
 
-			if(status === undefined) {
+			if (status === undefined) {
 				continue;
 			}
 
 			const range = new vscode.Range(line.range.start, line.range.end);
 			switch (status) {
-				case "FULL":
+				case 'FULL':
 					coverageLines.full.push(range);
 					break;
-				case "PARTIAL":
+				case 'PARTIAL':
 					coverageLines.partial.push(range);
 					break;
-				case "NONE":
+				case 'NONE':
 					coverageLines.none.push(range);
 					break;
 				default: