Ada & SPARK extension for VS Code documentation

Contents:

• 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
  • Pull Up Declaration
  • Suppress Separate
  • Introduce Parameter
  • Replace Type
  • Auto Import
  • Sort Dependencies
• Ada Language Server configuration
  • Configuration Sources
  • Base Configuration
  • Visual Studio Code
  • Settings
• ALS Traces
  • Traces Configuration Files
  • Supported Traces
  • Troubleshooting
• Tips and tricks
  • Custom colors
  • GNAT Project files support
  • Set workspace-specific environment variables
  • Working on a remote machine
• Protocol extensions
  • Developing a custom feature
  • Feature description document
  • List of custom features