Skip to content

Import scoping providers #8

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
andrewbovbel wants to merge 10 commits into
base: feat/bare-bones-svg
Choose a base branch
from
Open

Import scoping providers #8

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
ff2bc1f
test
2me3tutorial Oct 22, 2025
fb7478e
test 2
2me3tutorial Oct 22, 2025
a94389e
Add implements chain scoping for relations in justifications and temp…
2me3tutorial Nov 5, 2025
6b2d204
feat: add import scoping support for load statements
2me3tutorial Nov 6, 2025
1bbe1bd
working
2me3tutorial Nov 6, 2025
547d821
Refactor imports to JpipeImportService and fix document linking
2me3tutorial Nov 13, 2025
c60e8ad
Remove debug logging statements
2me3tutorial Nov 13, 2025
250522b
Clean up code and improve readability
2me3tutorial Nov 13, 2025
e68926d
fix
2me3tutorial Nov 14, 2025
faa121a
added complete autocomplete and import
2me3tutorial Nov 28, 2025
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
2 changes: 1 addition & 1 deletion packages/extension/sample.jd
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ justification j {
evidence e1 is "ss"
s supports c
e1 supports s
}w
}
8 changes: 6 additions & 2 deletions packages/extension/src/extension/main.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,8 @@ function startLanguageClient(context: vscode.ExtensionContext): LanguageClient {
};

const clientOptions: LanguageClientOptions = {
documentSelector: [{ scheme: 'file', language: 'jpipe' }]
documentSelector: [{ scheme: 'file', language: 'jpipe' }],
outputChannel: vscode.window.createOutputChannel('jpipe Language Server')
};

const client = new LanguageClient(
Expand All @@ -60,6 +61,9 @@ function startLanguageClient(context: vscode.ExtensionContext): LanguageClient {
clientOptions
);

client.start();
client.start().catch((error: unknown) => {
vscode.window.showErrorMessage(`Failed to start language server: ${error}`);
});

return client;
}
Loading