]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Add mention of what LSP stands for
authorRonan Desplanques <desplanques@adacore.com>
Fri, 17 Feb 2023 15:00:33 +0000 (16:00 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 23 May 2023 07:59:05 +0000 (09:59 +0200)
There are multiple possible interpretations of "LSP". For example,
"Language Server Protocol". This patch clarifies that the
occurrences of "LSP" in GNAT's source code refer to the Liskov
Substitution Principle.

gcc/ada/

* einfo.ads: Mention full name of LSP.

gcc/ada/einfo.ads

index 0cc4b495bd907ce9b7a9243bf1ca5c233d30d2eb..d346eddac57c5aecf4b693f7c3847b23cafa7edc 100644 (file)
@@ -4786,7 +4786,8 @@ package Einfo is
 --       Defined in subprogram entities. Set on wrappers created to handle
 --       inherited class-wide pre/post conditions that call overridden
 --       primitives. It references the parent primitive that has the
---       class-wide pre/post conditions.
+--       class-wide pre/post conditions. LSP stands for Liskov Substitution
+--       Principle.
 
 ---------------------------
 -- Renaming and Aliasing --