Skip to content

Add dropdown for selecting Helios validator file #5

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Add dropdown for selecting Helios validator file #5

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,6 +54,7 @@
"views": {
"debug": [
{
"type": "webview",
"id": "helios.runView",
"name": "Helios Runner"
}
Expand Down
30 changes: 29 additions & 1 deletion src/index.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
import {
ExtensionContext,
window,
commands
commands,
workspace,
TextDocument
} from "vscode"

import {
Expand All @@ -24,6 +26,13 @@ export function activate(context: ExtensionContext) {
const cache = new Cache()
const runViewProvider = new RunViewProvider(context, cache)

const updateFiles = () => {
const files = workspace.textDocuments
.filter(doc => isHeliosExt(doc.fileName))
.map(doc => doc.fileName)
runViewProvider.setFileList(files)
}

/*languages.registerDocumentFormattingEditProvider('helios', {
provideDocumentFormattingEdits: (document) => {
const firstLine = document.lineAt(0);
Expand All @@ -41,6 +50,8 @@ export function activate(context: ExtensionContext) {
window.registerWebviewViewProvider(RunViewProvider.viewType, runViewProvider)
)

updateFiles()

context.subscriptions.push(
commands.registerCommand("helios.showRunView", () => runViewProvider.reveal())
)
Expand All @@ -61,6 +72,23 @@ export function activate(context: ExtensionContext) {
}
runViewProvider.reveal()
}
updateFiles()
})
)

context.subscriptions.push(
workspace.onDidOpenTextDocument(doc => {
if (isHeliosExt(doc.fileName)) {
updateFiles()
}
})
)

context.subscriptions.push(
workspace.onDidCloseTextDocument(doc => {
if (isHeliosExt(doc.fileName)) {
updateFiles()
}
})
)
}
Expand Down
47 changes: 40 additions & 7 deletions src/runView.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,10 +6,13 @@ import {
CancellationToken,
commands,
window,
debug
debug,
workspace,
TextDocument
} from "vscode"

import { createRequire } from "module"
import * as path from "path"

import { Cache } from "./cache"
import { isHeliosExt } from "./repository"
Expand Down Expand Up @@ -37,7 +40,7 @@ export class RunViewProvider implements WebviewViewProvider {
webviewView.webview.html = this.html()
webviewView.webview.onDidReceiveMessage(async msg => {
if (msg.command == "run") {
await this.run(msg.validator, msg.input)
await this.run(msg.file, msg.input)
}
})
}
Expand All @@ -56,6 +59,13 @@ export class RunViewProvider implements WebviewViewProvider {
}
}

setFileList(files: string[]) {
if (this.#view) {
const mapped = files.map(f => ({ path: f, name: path.basename(f) }))
this.#view.webview.postMessage({ command: "setFiles", files: mapped })
}
}

private html(): string {
const nonce = Date.now().toString()
return `<!DOCTYPE html>
Expand All @@ -66,6 +76,8 @@ export class RunViewProvider implements WebviewViewProvider {
textarea { width: 100%; height: 60px; }
input { width: 100%; }
</style>
<label>Validator file:</label><br/>
<select id="file"></select><br/>
<label>Validator name:</label><br/>
<input id="validator" /><br/>
<label>Input (JSON or hex CBOR):</label><br/>
Expand All @@ -76,6 +88,7 @@ export class RunViewProvider implements WebviewViewProvider {
document.getElementById('run').addEventListener('click', () => {
vscode.postMessage({
command: 'run',
file: document.getElementById('file').value,
validator: document.getElementById('validator').value,
input: document.getElementById('input').value
});
Expand All @@ -85,20 +98,40 @@ export class RunViewProvider implements WebviewViewProvider {
if (m.command === 'setValidator') {
document.getElementById('validator').value = m.validator;
}
if (m.command === 'setFiles') {
const sel = document.getElementById('file');
while (sel.firstChild) sel.removeChild(sel.firstChild);
m.files.forEach((f) => {
const opt = document.createElement('option');
opt.value = f.path;
opt.textContent = f.name;
sel.appendChild(opt);
});
}
});
</script>
</body>
</html>`
}

private async run(_validator: string, input: string) {
const editor = window.activeTextEditor
if (!editor) {
private async run(file: string, input: string) {
let doc: TextDocument | undefined
const open = workspace.textDocuments.find(d => d.fileName === file)
if (open) {
doc = open
} else {
try {
doc = await workspace.openTextDocument(file)
} catch {
const editor = window.activeTextEditor
doc = editor?.document
}
}
if (!doc) {
return
}
const doc = editor.document
if (!isHeliosExt(doc.fileName)) {
debug.activeDebugConsole.appendLine("Active file is not a Helios script")
debug.activeDebugConsole.appendLine("Selected file is not a Helios script")
return
}

Expand Down