korosuke613/vdmpp-vscode-extension

Smart linting and syntax highlighting(rough) for VDM++ in VSCode.

VDM++ IDE for Visual Studio Code

Smart linting and syntax highlighting(rough) for VDM++ in VSCode using the VDM++ language server.

To use, open a VDM++ file(*.vdmpp). The language server will then automatically launch in the background.

Features

• Linting
• Syntax Highlighting(Rough)

Future Works

• Linting
• Syntax Highlighting(rough)
• Syntax Highlighting(detail)
• Formatting
• Document symbols
• Go-to-definition
• Code completion
• Hover
• Find references

Syntax Highlighting

Syntax highlight the VDM++ file.

Linting

Lint the VDM++ file.(using VDMJ)

Development

For the Developper.

Structure

Image file is here.

Seaquence diagram

Activate extension

Packageing

vsce package

Debugging

1. git clone this repository
2. open directory with vscode
3. open command parette Cmd + Shift + p
4. input "start debugging"
5. select "Launch Extension"

Change read LSP Server

You can change read LSP Server.

1. Open src/extension.ts
2. Change path.resolve(context.extensionPath,in~~~ in server.listen().

COUTION: Don't commit that diff.

example