{"id":16645422,"url":"https://github.com/korosuke613/vdmpp-vscode-extension","last_synced_at":"2025-10-23T19:22:54.809Z","repository":{"id":54933793,"uuid":"237666610","full_name":"korosuke613/vdmpp-vscode-extension","owner":"korosuke613","description":"Smart linting and syntax highlighting(rough) for VDM++ in VSCode.","archived":false,"fork":false,"pushed_at":"2021-01-20T20:16:11.000Z","size":16583,"stargazers_count":0,"open_issues_count":8,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-01-18T20:05:02.524Z","etag":null,"topics":["language-server-protocol","vdmpp","visual-studio-code"],"latest_commit_sha":null,"homepage":"https://marketplace.visualstudio.com/items?itemName=korosuke613.vdmpp-extension","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/korosuke613.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2020-02-01T19:29:51.000Z","updated_at":"2020-05-17T08:35:34.000Z","dependencies_parsed_at":"2022-08-14T07:00:29.744Z","dependency_job_id":null,"html_url":"https://github.com/korosuke613/vdmpp-vscode-extension","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/korosuke613%2Fvdmpp-vscode-extension","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/korosuke613%2Fvdmpp-vscode-extension/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/korosuke613%2Fvdmpp-vscode-extension/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/korosuke613%2Fvdmpp-vscode-extension/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/korosuke613","download_url":"https://codeload.github.com/korosuke613/vdmpp-vscode-extension/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243180890,"owners_count":20249388,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["language-server-protocol","vdmpp","visual-studio-code"],"created_at":"2024-10-12T08:23:45.927Z","updated_at":"2025-10-23T19:22:49.777Z","avatar_url":"https://github.com/korosuke613.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# VDM++ IDE for Visual Studio Code\n\nSmart linting and syntax highlighting(rough) for VDM++ in VSCode using the [VDM++ language server](https://github.com/korosuke613/vdmpp-language-server).\n\n[![Version](https://img.shields.io/visual-studio-marketplace/v/korosuke613.vdmpp-extension)](https://marketplace.visualstudio.com/items?itemName=korosuke613.vdmpp-extension)\n[![Downloads](https://img.shields.io/visual-studio-marketplace/d/korosuke613.vdmpp-extension)](https://marketplace.visualstudio.com/items?itemName=korosuke613.vdmpp-extension)\n[![Installs](https://img.shields.io/visual-studio-marketplace/i/korosuke613.vdmpp-extension)](https://marketplace.visualstudio.com/items?itemName=korosuke613.vdmpp-extension)\n\nTo use, open a VDM++ file(`*.vdmpp`).\nThe language server will then automatically launch in the background.\n\n## Features\n\n* Linting\n* Syntax Highlighting(Rough)\n\n**Future Works**\n\n* [x] Linting\n* [x] Syntax Highlighting(rough)\n* [ ] Syntax Highlighting(detail)\n* [ ] Formatting\n* [ ] Document symbols\n* [ ] Go-to-definition\n* [ ] Code completion\n* [ ] Hover\n* [ ] Find references\n\n\n### Syntax Highlighting\n\nSyntax highlight the VDM++ file.\n\n![Syntax Highlighting](https://raw.githubusercontent.com/korosuke613/vdmpp-vscode-extension/master/images/sample-syntax-highlight.png)\n\n### Linting\n\nLint the VDM++ file.(using [VDMJ](https://github.com/nickbattle/vdmj))\n\n![Linting](https://raw.githubusercontent.com/korosuke613/vdmpp-vscode-extension/master/images/sample-lint.png)\n\n## Development\n\nFor the Developper.\n\n### Structure\n\n![Structure](https://raw.githubusercontent.com/korosuke613/vdmpp-vscode-extension/master/images/vdmpp_extension_structure.png)\n\n[Image file is here.](https://sketch.cloud/s/z3zga)\n\n### Seaquence diagram\n\n#### Activate extension\n\n![activate extension](https://raw.githubusercontent.com/korosuke613/vdmpp-vscode-extension/master/images/activate_extension_sequence.png)\n\n### Packageing\n\n```bash\nvsce package\n```\n\n### Debugging\n1. git clone this repository\n2. open directory with vscode\n4. open command parette `Cmd + Shift + p`\n5. input \"start debugging\"\n6. select \"Launch Extension\"\n\n#### Change read LSP Server\nYou can change read LSP Server.\n\n1. Open `src/extension.ts`\n2. Change `path.resolve(context.extensionPath,in~~~` in `server.listen()`.\n\n**COUTION: Don't commit that diff.**\n\n##### example\n![change LSP Server](https://raw.githubusercontent.com/korosuke613/vdmpp-vscode-extension/master/images/change-lsp-server.png)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkorosuke613%2Fvdmpp-vscode-extension","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkorosuke613%2Fvdmpp-vscode-extension","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkorosuke613%2Fvdmpp-vscode-extension/lists"}