ada_language_server/integration/vscode/Code Samples

$ Code samples

Here is some code samples for the Ada Language Server and the VS Code extension.

• Hello world - simple project to ge started with VS Code
• Docker - example using Ada with Remote/Container VS Code feature
• Gnatprove - SPARK/gnatprove integration example
• Refactoring demos - sample code to check refactoring capabilities
• Custom worspace-specific environment - example showing how to set workspace-specific environment variables
• Devcontainer example - example showing how to set a devcontainer up