-
Notifications
You must be signed in to change notification settings - Fork 38
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
They will not be visible to all github visitors
- Loading branch information
1 parent
66b4c9c
commit 017f0d0
Showing
1 changed file
with
23 additions
and
27 deletions.
There are no files selected for viewing
50 changes: 23 additions & 27 deletions
50
content/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/rules/lkql/README.md
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,27 +1,23 @@ | ||
The rules in this folder where specifically created for the | ||
Guidelines for Safe and Secure Ada/SPARK. | ||
|
||
Some of these rules are in the process of being added into the GNATcheck tool | ||
itself, while some of them are more related to this particular coding standard. | ||
The document is being updated (2024-10-08) to indicate which rules are built-in | ||
to GNATcheck, and which rules are specic to this document | ||
|
||
* function_out_parameters | ||
|
||
* https://gitlab.adacore-it.com/eng/libadalang/langkit-query-language/-/issues/340 | ||
* will be added to GNATcheck | ||
|
||
* overrides_standard_name | ||
|
||
* https://gitlab.adacore-it.com/eng/libadalang/langkit-query-language/-/issues/343 | ||
* will be added to GNATcheck | ||
|
||
* unhandled_exceptions | ||
|
||
* https://gitlab.adacore-it.com/eng/libadalang/langkit-query-language/-/issues/344 | ||
* will remain as guideline-specific | ||
|
||
* uses_profile | ||
|
||
* https://gitlab.adacore-it.com/eng/libadalang/langkit-query-language/-/issues/345 | ||
* will remain as guideline-specific | ||
The rules in this folder where specifically created for the | ||
Guidelines for Safe and Secure Ada/SPARK. | ||
|
||
Some of these rules are in the process of being added into the GNATcheck tool | ||
itself, while some of them are more related to this particular coding standard. | ||
The document is being updated (2024-10-08) to indicate which rules are built-in | ||
to GNATcheck, and which rules are specic to this document | ||
|
||
* function_out_parameters | ||
|
||
* will be added to GNATcheck | ||
|
||
* overrides_standard_name | ||
|
||
* will be added to GNATcheck | ||
|
||
* unhandled_exceptions | ||
|
||
* will remain as guideline-specific | ||
|
||
* uses_profile | ||
|
||
* will remain as guideline-specific |