diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2023-02-17 16:00:33 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-23 09:59:05 +0200 |
| commit | 65d2481a4f90f9f2af8b636105d934b2cefa1009 (patch) | |
| tree | bfafc5ad3b5d4b36358033cfd8bf9797fa8f4b17 | |
| parent | adf71a9ba515a0c8fe0e8d8ac9cef4db890ed219 (diff) | |
| download | gcc-65d2481a4f90f9f2af8b636105d934b2cefa1009.zip gcc-65d2481a4f90f9f2af8b636105d934b2cefa1009.tar.gz gcc-65d2481a4f90f9f2af8b636105d934b2cefa1009.tar.bz2 | |
ada: Add mention of what LSP stands for
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.
| -rw-r--r-- | gcc/ada/einfo.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 0cc4b49..d346edd 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -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 -- |