in src/infoset.ts [62:155]
export async function activate(ctx: vscode.ExtensionContext) {
let sid: string | undefined
let doc: vscode.TextDocument | undefined
ctx.subscriptions.push(
vscode.debug.onDidStartDebugSession((s) => {
sid = s.id
onDebugStartDisplay(['infoset-view', 'infoset-diff-view'])
})
)
ctx.subscriptions.push(
vscode.debug.onDidTerminateDebugSession(async (s) => {
if (sid !== undefined) {
let path = tmpFile(sid)
fs.rmSync(`${path}`, { force: true })
fs.rmSync(`${path}.prev`, { force: true })
}
sid = undefined
await openInfosetFilePrompt()
})
)
ctx.subscriptions.push(
vscode.workspace.registerTextDocumentContentProvider(
'daffodil:infoset',
fileInfosetProvider
)
)
ctx.subscriptions.push(
vscode.commands.registerCommand('infoset.display', async () => {
if (sid !== undefined) {
let path = ensureFile(tmpFile(sid))
doc = await vscode.workspace.openTextDocument(path)
await vscode.window.showTextDocument(doc, {
viewColumn: vscode.ViewColumn.Two,
preserveFocus: true,
preview: false,
})
}
})
)
ctx.subscriptions.push(
vscode.commands.registerCommand(
'infoset.save',
async (id: string, e: daf.InfosetEvent) => {
if (sid !== undefined) {
let dest = await vscode.window.showInputBox({
placeHolder: 'Save infoset as:',
})
if (dest) {
fs.copyFile(tmpFile(sid), dest, async () => {
const choice = await vscode.window.showInformationMessage(
`Wrote infoset to ${dest}`,
'View',
'Delete'
)
let uri = Uri.parse(dest!)
switch (choice) {
case 'View':
let xml = await vscode.workspace.openTextDocument(uri)
await vscode.window.showTextDocument(xml, {
preview: false,
viewColumn: vscode.ViewColumn.Two,
})
break
case 'Delete':
fs.unlinkSync(dest!)
break
}
})
}
}
}
)
)
ctx.subscriptions.push(
vscode.commands.registerCommand('infoset.diff', async () => {
if (sid !== undefined) {
let path = ensureFile(tmpFile(sid))
let prev = ensureFile(`${path}.prev`)
vscode.commands.executeCommand(
'vscode.diff',
Uri.parse(prev),
Uri.parse(path),
'Previous ↔ Current',
{ preview: false, viewColumn: vscode.ViewColumn.Two }
)
}
})
)
}