mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00

Files

Joao Azevedo 28ad0ed8df S314-015 Added 'Add_Parameter' refactoring tool

Added 'Check_Syntax' protocol extension
Added test case for this tool
Adjusted existing test cases of other refactoring tools

2021-11-15 16:55:15 +00:00

Check Syntax

Short introduction

This implements a functionality to query if a given input has a valid syntax according to a set of rules.

We introduce a new request:

method: `alsCheckSyntax`

And two types to represent the request and response parameters:

type AdaSyntaxCheckRequest = {
    input: string;
    rules: string[];
};

type AdaSyntaxCheckResponse = {
    diagnostic?: string;
};

rules is a string[] and its content must be Libadalang Ada_Node_Kind_Type values.