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
  • Code Visualizer
  • GNATtest Support
  • GNATcoverage Support
  • GNAT Metrics Support
  • Cross and Embedded Support
  • SPARK 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
  • Prerequisites
  • Create Hello World
  • Build hello_world
  • Running the build
  • Check current file
  • Debug hello_world.adb
  • Reusing your Ada configuration
  • Troubleshooting
  • Next steps
• 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
  • Generate Package Body
  • Generate Subprogram Body
  • Pull Up Declaration
  • Sort Case
  • Suppress Separate
  • Delete Entity
  • Inline Variable
  • Introduce Parameter
  • Replace Type
  • Auto Import
  • Sort Dependencies
  • Swap If/else statements
• Tips and Tricks
  • Color Themes and Highlighting Customization
  • GNAT Project files support
  • Set workspace-specific environment variables
  • Working on a remote machine
• Ada Language Server Settings
  • Configuration Sources
  • Base Configuration
  • Visual Studio Code
  • Settings
• ALS Traces
  • Traces Configuration Files
  • Supported Traces
  • Troubleshooting
• Language Server Protocol Extensions
  • Developing a custom feature
  • Feature description document
  • List of custom features