} Clingo result or null if file not found
+ */
+async function runClingoWasmForFileWithProgress(vscode, progress, filePath, models = undefined, options = undefined) {
+ progress.report({
+ increment: 0,
+ message: "Starting Clingo...",
+ });
+
+ let fileContent;
+
+ // Check if the file exists
+ if (!fs.existsSync(filePath)) {
+ vscode.window.showErrorMessage(`File not found: ${filePath}`);
+ return null;
+ }
+
+ fileContent = await fs.promises.readFile(filePath, "utf8");
+
+ const additionalFiles = options?.filter((arg) => arg && !arg.startsWith("--")).map((filePath) => filePath.replace(/"/g, ""));
+
+ if (additionalFiles?.length) {
+ for (const additionalFilePath of additionalFiles) {
+ if (!fs.existsSync(additionalFilePath)) {
+ vscode.window.showErrorMessage(`File not found: ${filePath}`);
+ return null;
+ }
+ const additionalContent = await fs.promises.readFile(additionalFilePath, "utf8");
+ if (additionalContent.trim()) {
+ fileContent += `\n${additionalContent}`;
+ }
+ }
+ }
+
+ // Filter options for Clingo
+ const clingoOptions = options?.filter((arg) => arg.startsWith("--"));
+
+ progress.report({
+ increment: 50,
+ message: "Running Clingo WASM...",
+ });
+
+ // Run Clingo WASM with timeout
+ const wasmResult = await clingo.run(fileContent, models, clingoOptions);
+
+ progress.report({
+ increment: 100,
+ message: "Clingo finished successfully!",
+ });
+
+ // Validate the result
+ if (["ERROR", "UNSATISFIABLE", "UNKNOWN"].includes(wasmResult.Result)) {
+ if ("Error" in wasmResult) {
+ vscode.window.showErrorMessage(`Clingo WASM Error: ${wasmResult.Error}`);
+ } else {
+ vscode.window.showErrorMessage(`Clingo WASM Error: Unknown error`);
+ }
+ return null;
+ } else {
+ return wasmResult;
+ }
+}
+
+module.exports = { runClingoWasmForFileWithProgress };
diff --git a/src/testFiles/ex01.lp b/src/testFiles/ex01.lp
new file mode 100644
index 0000000..3c858b6
--- /dev/null
+++ b/src/testFiles/ex01.lp
@@ -0,0 +1,61 @@
+initial(2,3,3).
+initial(3,3,8).
+initial(4,3,1).
+initial(5,3,4).
+initial(6,3,6).
+initial(7,3,5).
+initial(8,3,9).
+initial(9,3,2).
+initial(1,4,5).
+initial(2,4,7).
+initial(3,4,2).
+initial(4,4,8).
+initial(5,4,1).
+initial(6,4,3).
+initial(7,4,9).
+initial(8,4,6).
+initial(9,4,4).
+initial(1,5,4).
+initial(2,5,1).
+initial(3,5,3).
+initial(4,5,9).
+initial(5,5,6).
+initial(6,5,2).
+initial(7,5,7).
+initial(8,5,5).
+initial(9,5,8).
+initial(1,6,9).
+initial(2,6,8).
+initial(3,6,6).
+initial(4,6,5).
+initial(5,6,7).
+initial(6,6,4).
+initial(7,6,2).
+initial(8,6,1).
+initial(9,6,3).
+initial(1,7,2).
+initial(2,7,5).
+initial(3,7,1).
+initial(4,7,6).
+initial(5,7,3).
+initial(6,7,8).
+initial(7,7,4).
+initial(8,7,7).
+initial(9,7,9).
+initial(1,8,8).
+initial(2,8,6).
+initial(3,8,4).
+initial(4,8,2).
+initial(5,8,9).
+initial(6,8,7).
+initial(7,8,1).
+initial(8,8,3).
+initial(9,8,5).
+initial(1,9,3).
+initial(2,9,9).
+initial(3,9,7).
+initial(4,9,4).
+initial(5,9,5).
+initial(6,9,1).
+initial(7,9,8).
+initial(8,9,2).
\ No newline at end of file
diff --git a/src/testFiles/exSyntaxError.lp b/src/testFiles/exSyntaxError.lp
new file mode 100644
index 0000000..a0e6cf4
--- /dev/null
+++ b/src/testFiles/exSyntaxError.lp
@@ -0,0 +1,14 @@
+subgrid_size(3).
+
+v(1..N*N) :- subgrid_size(N). % v: all possible values for x,y,z
+
+1{initial(X,Y,Z) : v(Z)}1 :- v(X), v(Y). % get all stable sudoku models with exactly 1 value z for each possible field x,y
+
+:- initial(A,B,C), initial(X,Y,Z), A=X, B!=Y, C=Z. % exclude all answers with duplicate z values per row X
+:- initial(A,B,C), initial(X,Y,Z), A!=X, B=Y, C=Z. % exclude all answers with duplicate z values per column Y
+:- initial(A,B,C), initial(X,Y,Z), B!=Y, A!=X, C=Z. % exclude all answers with duplicate z per subgrid N,
+((A-1)/N)*N + (B-1)/N == ((X-1)/N)*N+(Y-1)/N, subgrid_size(N). % (compare subgrids)
+
+sudoku(X,Y,Z) :- initial(X,Y,Z). % show output correctly as sudoku
+
+#show sudoku/3.
\ No newline at end of file
diff --git a/src/testFiles/sudoku.lp b/src/testFiles/sudoku.lp
new file mode 100644
index 0000000..4936f4c
--- /dev/null
+++ b/src/testFiles/sudoku.lp
@@ -0,0 +1,14 @@
+subgrid_size(3).
+
+v(1..N*N) :- subgrid_size(N). % v: all possible values for x,y,z
+
+1{initial(X,Y,Z) : v(Z)}1 :- v(X), v(Y). % get all stable sudoku models with exactly 1 value z for each possible field x,y
+
+:- initial(A,B,C), initial(X,Y,Z), A=X, B!=Y, C=Z. % exclude all answers with duplicate z values per row X
+:- initial(A,B,C), initial(X,Y,Z), A!=X, B=Y, C=Z. % exclude all answers with duplicate z values per column Y
+:- initial(A,B,C), initial(X,Y,Z), B!=Y, A!=X, C=Z, % exclude all answers with duplicate z per subgrid N,
+((A-1)/N)*N + (B-1)/N == ((X-1)/N)*N+(Y-1)/N, subgrid_size(N). % (compare subgrids)
+
+sudoku(X,Y,Z) :- initial(X,Y,Z). % show output correctly as sudoku
+
+#show sudoku/3.
\ No newline at end of file
diff --git a/src/testFiles/sudokuComplete.lp b/src/testFiles/sudokuComplete.lp
new file mode 100644
index 0000000..82134fa
--- /dev/null
+++ b/src/testFiles/sudokuComplete.lp
@@ -0,0 +1,76 @@
+subgrid_size(3).
+
+v(1..N*N) :- subgrid_size(N). % v: all possible values for x,y,z
+
+1{initial(X,Y,Z) : v(Z)}1 :- v(X), v(Y). % get all stable sudoku models with exactly 1 value z for each possible field x,y
+
+:- initial(A,B,C), initial(X,Y,Z), A=X, B!=Y, C=Z. % exclude all answers with duplicate z values per row X
+:- initial(A,B,C), initial(X,Y,Z), A!=X, B=Y, C=Z. % exclude all answers with duplicate z values per column Y
+:- initial(A,B,C), initial(X,Y,Z), B!=Y, A!=X, C=Z, % exclude all answers with duplicate z per subgrid N,
+((A-1)/N)*N + (B-1)/N == ((X-1)/N)*N+(Y-1)/N, subgrid_size(N). % (compare subgrids)
+
+sudoku(X,Y,Z) :- initial(X,Y,Z). % show output correctly as sudoku
+
+#show sudoku/3.
+
+initial(2,3,3).
+initial(3,3,8).
+initial(4,3,1).
+initial(5,3,4).
+initial(6,3,6).
+initial(7,3,5).
+initial(8,3,9).
+initial(9,3,2).
+initial(1,4,5).
+initial(2,4,7).
+initial(3,4,2).
+initial(4,4,8).
+initial(5,4,1).
+initial(6,4,3).
+initial(7,4,9).
+initial(8,4,6).
+initial(9,4,4).
+initial(1,5,4).
+initial(2,5,1).
+initial(3,5,3).
+initial(4,5,9).
+initial(5,5,6).
+initial(6,5,2).
+initial(7,5,7).
+initial(8,5,5).
+initial(9,5,8).
+initial(1,6,9).
+initial(2,6,8).
+initial(3,6,6).
+initial(4,6,5).
+initial(5,6,7).
+initial(6,6,4).
+initial(7,6,2).
+initial(8,6,1).
+initial(9,6,3).
+initial(1,7,2).
+initial(2,7,5).
+initial(3,7,1).
+initial(4,7,6).
+initial(5,7,3).
+initial(6,7,8).
+initial(7,7,4).
+initial(8,7,7).
+initial(9,7,9).
+initial(1,8,8).
+initial(2,8,6).
+initial(3,8,4).
+initial(4,8,2).
+initial(5,8,9).
+initial(6,8,7).
+initial(7,8,1).
+initial(8,8,3).
+initial(9,8,5).
+initial(1,9,3).
+initial(2,9,9).
+initial(3,9,7).
+initial(4,9,4).
+initial(5,9,5).
+initial(6,9,1).
+initial(7,9,8).
+initial(8,9,2).
\ No newline at end of file
diff --git a/src/unitTests/uni.test.js b/src/unitTests/uni.test.js
new file mode 100644
index 0000000..609bec8
--- /dev/null
+++ b/src/unitTests/uni.test.js
@@ -0,0 +1,67 @@
+// @ts-nocheck
+const fs = require("fs");
+const { runClingoWasmForFileWithProgress } = require("../runClingoWasmForFileWithProgress.js");
+
+describe("runClingoWasmForFile", () => {
+ beforeEach(() => {
+ jest.clearAllMocks();
+ });
+
+ it("should read a single ASP file and run Clingo WASM successfully", async () => {
+ const filePath = "src/testFiles/sudokuComplete.lp";
+
+ const result = await runClingoWasmForFileWithProgress({ window: jest.fn() }, { report: jest.fn() }, filePath, 0);
+
+ expect(result.Models.Number).toEqual(8);
+ });
+
+ it.each([
+ ["src/testFiles/sudoku.lp", "src/testFiles/ex01.lp"],
+ ["src/testFiles/ex01.lp", "src/testFiles/sudoku.lp"],
+ ])("should read a two ASP file and run Clingo WASM successfully", async (first, second) => {
+ const result = await runClingoWasmForFileWithProgress({ window: jest.fn() }, { report: jest.fn() }, first, 0, [second]);
+
+ expect(result.Models.Number).toEqual(8);
+ });
+
+ it("should handle errors when reading the file", async () => {
+ const filePath = "src/testFiles/nonExistentFile.lp";
+
+ const result = await runClingoWasmForFileWithProgress(
+ { window: { showErrorMessage: jest.fn() } },
+ { report: jest.fn() },
+ filePath,
+ 0
+ );
+
+ expect(result).toBe(null);
+ });
+
+ it("should handle errors when reading additional files", async () => {
+ const filePath = "src/testFiles/sudokuComplete.lp";
+ const additionalFilePath = "src/testFiles/nonExistentFile.lp";
+
+ const result = await runClingoWasmForFileWithProgress(
+ { window: { showErrorMessage: jest.fn() } },
+ { report: jest.fn() },
+ filePath,
+ 0,
+ [additionalFilePath]
+ );
+
+ expect(result).toBe(null);
+ });
+
+ it("should handle errors when running Clingo WASM", async () => {
+ const filePath = "src/testFiles/sudokuComplete.lp";
+
+ const result = await runClingoWasmForFileWithProgress(
+ { window: { showErrorMessage: jest.fn() } },
+ { report: jest.fn() },
+ "src/testFiles/exSyntaxError.lp",
+ 0
+ );
+
+ expect(result).toBe(null);
+ });
+});
diff --git a/src/webviewProvider.js b/src/webviewProvider.js
new file mode 100644
index 0000000..22dc2a0
--- /dev/null
+++ b/src/webviewProvider.js
@@ -0,0 +1,89 @@
+const vscode = require("vscode");
+const crypto = require("crypto");
+
+/**
+ * WebviewProvider class to manage the webview for the ASP extension.
+ */
+class WebviewProvider {
+ constructor(_extensionUri) {
+ this._extensionUri = _extensionUri;
+ }
+
+ get viewType() {
+ return "ASP.aspView";
+ }
+
+ resolveWebviewView(webviewView, _context, _token) {
+ this._view = webviewView;
+ webviewView.webview.options = {
+ // Allow scripts in the webview
+ enableScripts: true,
+ localResourceRoots: [this._extensionUri],
+ };
+ webviewView.webview.html = this._getHtmlForWebview(webviewView.webview);
+ webviewView.webview.onDidReceiveMessage((data) => {
+ switch (data.type) {
+ case "colorSelected": {
+ vscode.window.activeTextEditor?.insertSnippet(new vscode.SnippetString(`#${data.value}`));
+ break;
+ }
+ }
+ });
+ }
+
+ /**
+ * Returns the HTML content for the webview.
+ * @param {*} webview Reference to the webview object
+ * @returns
+ */
+ _getHtmlForWebview(webview) {
+ // Get the local path to main script run in the webview, then convert it to a uri we can use in the webview.
+ const scriptUri = webview.asWebviewUri(vscode.Uri.joinPath(this._extensionUri, "media", "main.js"));
+ // Do the same for the stylesheet.
+ const styleVSCodeUri = webview.asWebviewUri(vscode.Uri.joinPath(this._extensionUri, "media", "vscode.css"));
+ const styleMainUri = webview.asWebviewUri(vscode.Uri.joinPath(this._extensionUri, "media", "main.css"));
+ const clingoSolver = vscode.workspace.getConfiguration("aspLanguage").get("usePathClingo")
+ ? "your own version of Clingo from PATH"
+ : "the bundled WASM Clingo Solver";
+ // Use a nonce to only allow a specific script to be run.
+ const nonce = this._getNonce();
+ return `
+
+
+
+
+
+
+
+
+
+
+
+
+ ASP Output
+
+
+
+
+
+
+
+ `;
+ }
+
+ _getNonce() {
+ return crypto.randomBytes(32).toString("base64");
+ }
+}
+
+exports.WebviewProvider = WebviewProvider;
+
+Just right click anywhere on a logic program (.lp) file and select `Compute all Answer Sets`, `Compute the first Answer Set` or `Compute Answer Sets (config.json)`.
+This will display Clingo's results in a seperate ASP tab located in the panel. You can also use the buttons in the top right of this tab to run bundled or PATH clingo depending on your `ASPLanguage: Use PATH Clingo` setting.
+
+If you want to add **additional startup arguments** you can use the `Compute Answer Sets (config.json)` option.
+For this, you can generate a **sample config.json** file with the `ASPLanguage: Initialize clingo config file in current working directory` command _(Press Ctrl+Shift+P)_.
-If you want to add **additional startup arguments** you can use the `> Compute Answer Sets (config.json)` option.
+This will create a config file with all supported arguments/settings in your current working directory.
+If you want to use your **own config file**, just change the config file name in the extension settings (`ASPLanguage: Set Config`).
+Additionally you can use **arguments not directly supported** by the config.json by passing them in the **"customArgs" setting** as a string.
-First generate a **sample config.json** file with the `ASPLanguage: Initialize clingo config file in current working directory` command *(Press Ctrl+Shift+P)*.
+If you need to work with multiple files specify them in **additional files** in this config file using the relative path from the current working directory.
+See the Clingo [Documentation](https://github.com/potassco/guide/releases/download/v2.2.0/guide.pdf) (PDF) for more details on the config settings!
-This will create a config file with all supported arguments/settings in your current working directory.
-If you want to use your **own config file**, just change the config file name in the extension settings.
-Additionally you can use **arguments not directly supported** by the config.json by passing them in the **"customArgs" setting** as a String.
+If you want to use your own Version of Clingo from PATH with this extension, please enable `ASPLanguage: Use PATH Clingo` option in your settings.
-You can also specify **additional files** to interpret in this config using the relative path from the current working directory.
+## Customization
-See the Clingo [Documentation](https://github.com/potassco/guide/releases/download/v2.2.0/guide.pdf) for more details on the config settings!
+
-If you want to use your own Version of Clingo from PATH with this extension, please enable **"Use PATH Clingo"** option in settings!
+When using the bundled WASM Clingo (Choose in configuration `ASPLanguage: Use PATH Clingo`), you can easily move the panel to the sidebars or change the panel position depending on your preferences.
+The layout will adjust accordingly!
## Requirements
For the extension to work properly, please install the Answer Set Programming syntax highlighter by abelcour (abelcour.asp-syntax-highlight)
-
[Answer Set Syntax Highlighter](https://marketplace.visualstudio.com/items?itemName=abelcour.asp-syntax-highlight)
## Extension Settings
This extension contributes the following settings:
-- `ASPLanguage: Select Operating System`: Select your Operating System, so the currect clingo version is used! (default: Auto)
-- `ASPLanguage: Terminal Mode`: Select if you want a new Terminal after every execution! (default: False)
-- `ASPLanguage: Use PATH Clingo`: Set this option if you would like to use the Clingo version from your PATH instead of the version included! (default: False)
-- `ASPLanguage: Turn Messages Off`: Set this option if you want to turn off all Messages (bottom right)! (default: False)
-- `ASPLanguage: Set Config`: Set a .json file if you want to use a specific config file for clingo (default: empty)
+- `ASPLanguage: Select Operating System`: Select your Operating System, so the currect clingo version is used! (default: Auto)
+- `ASPLanguage: Terminal Mode`: Select if you want a new Terminal after every execution! (default: False)
+- `ASPLanguage: Use PATH Clingo`: Set this option if you would like to use the Clingo version from your PATH instead of the version included! (default: False)
+- `ASPLanguage: Turn Messages Off`: Set this option if you want to turn off all Messages (bottom right)! (default: False)
+- `ASPLanguage: Set Config`: Set a .json file if you want to use a specific config file for clingo (default: empty)
## Extension Features
This extension contributes the following features:
-- `> Compute all Answer Sets`: Get all answer sets for the current logic program file!
-- `> Compute the first Answer Set`: Get the first answer set for the current logic program file!
-- `> Compute Answer Sets (config.json)`: Compute answer sets using the clingo configuration from a config file
+- `Compute all Answer Sets`: Get all answer sets for the current logic program file!
+- `Compute the first Answer Set`: Get the first answer set for the current logic program file!
+- `Compute Answer Sets (config.json)`: Compute answer sets using the clingo configuration from a config file
+
+## Contributing
+
+If you have any suggestions for a new feature or anything else please open an issue on GitHub: [ASP-LANGUAGE-SUPPORT](https://github.com/CaptainUnbrauchbar/asp-language-support/issues)
+The repository is being actively maintained and pull requests are welcome anytime. If you don't receive feedback within 48h feel free to also email one of the codeowners!
+
+View the [CONTRIBUTING.md](https://github.com/CaptainUnbrauchbar/asp-language-support/blob/informaticup/CONTRIBUTING.md) for more info on **Pull Requests**.
-## 0.4.0
+## Acknowledgements
-- Added Multi-File Support! (use with config file)
-- Added Option to use a configuration file for clingo arguments
-- Added VSCode command to create sample config file
-- Optimization
-- Big Thanks to Richard Hegewald ([richilino](https://github.com/richilino)) for contributing the new features and helping optimize the extension code!
+[Clingo](https://potassco.org/clingo/) was developed by [Potassco](https://potassco.org/).
+This extension uses Clingo compiled to WebAssembly by [Dominik Moritz](https://github.com/domoritz/clingo-wasm).
diff --git a/SECURITY.md b/SECURITY.md
new file mode 100644
index 0000000..1daad1e
--- /dev/null
+++ b/SECURITY.md
@@ -0,0 +1,5 @@
+# Security Policy
+
+## Reporting a Vulnerability
+
+To report a security issue, please use the GitHub feature or email