Ada & SPARK VS Code Extension User’s Guide
Contents:
- User's Guide
- Features
- Getting Started
- Environment Setup
- Configuration
- VS Code Remote
- Tasks
- Status Bar
- Alire Support
- GNATtest Support
- GNATcoverage Support
- Cross and Embedded Support
- Working with Multiple Projects in the Same VS Code Workspace
- Commands and Shortcuts
- macOS and Apple Silicon
- Bug Reporting
- Limitations and Differences with GNAT Studio
- Tutorial: Using Ada in VS Code
- Refactoring Tools
- Available Refactorings
- Named Parameters
- Add Parameter
- Remove Parameter
- Move Parameter
- Change Parameter Mode
- Change Parameter Type
- Change Parameter Default Value
- Extract Subprogram
- Extract Variable
- Pull Up Declaration
- Suppress Separate
- Delete Entity
- Introduce Parameter
- Replace Type
- Auto Import
- Sort Dependencies
- Tips and Tricks
- Ada Language Server Settings
- ALS Traces
- Language Server Protocol Extensions