Ada & SPARK VS Code Extension User's Guide

Contents:

  • User's Guide
  • Tutorial: Using Ada in VS Code
  • Refactoring Tools
  • Tips and Tricks
  • Ada Language Server Settings
  • ALS Traces
  • Language Server Protocol Extensions
Ada & SPARK VS Code Extension User's Guide
  • Ada & SPARK VS Code Extension User’s Guide
  • View page source

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
    • 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
    • Delete Entity
    • Introduce Parameter
    • Replace Type
    • Auto Import
    • Sort Dependencies
  • Tips and Tricks
    • Custom colors
    • 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
Next

© Copyright 2024-2025, AdaCore.

Built with Sphinx using a theme provided by Read the Docs.