search

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
226 stars 54 forks source link

ALS should highlight known aspects to provide feedback to the user #1170

Open manthonyaiello opened 7 months ago

manthonyaiello commented 7 months ago

Ada has many aspects that are introduced using the keyword with. For example, especially with SPARK, we may place many aspects on suprograms:

   procedure Parse_Formula
     (Formula : Unbounded_String;
      Algebra : out Algebra_Tree;
      Error   : in out Boolean;
      Message : in out Unbounded_String)
   with
     Pre  => Length (Formula) > 1,
     Post => (if not Error then Algebra /= null),
     Subprogram_Variant => (Decreases => Length (Formula));

Currently, these are not highlighted at all. It would be helpful to the user if known aspects received some subtle syntax highlight, so that they know they've used a known aspect.