Merge branch 'topic/brackets_for_checks' into 'master'

use angle brackets for checks with cpl codepeer's preconditions See merge request eng/ide/gnatstudio!122
AdaCore · May 9, 2023 · 593f296 · 593f296
2 parents a7264f3 + 477a54a
commit 593f296
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/code_analysis/src/codepeer.adb b/code_analysis/src/codepeer.adb
@@ -256,7 +256,11 @@ package body CodePeer is
       begin
          for Check of Self.Checks loop
             if Length (Aux) = 0 then
-               Append (Aux, " (");
+               if Is_CPL then
+                  Append (Aux, " <");
+               else
+                  Append (Aux, " (");
+               end if;
 
             else
                Append (Aux, ", ");
@@ -267,7 +271,11 @@ package body CodePeer is
          end loop;
 
          if Length (Aux) /= 0 then
-            Append (Aux, ")");
+            if Is_CPL then
+               Append (Aux, ">");
+            else
+               Append (Aux, ")");
+            end if;
          end if;
 
          return Aux;