AVR-ADA vise à rendre la pièce d'ADA du GCC utilisable sur des microcontrôleurs d'AVR.

Les jeux brouillés pour l'ADA est une bibliothèque fournissant à des réalisations des facteurs de confiance les fonctionnements pas, et, ou, le xor, +, et *, les jeux brouillés classiques avec les fonctionnements régler-théorétiques et les fonctionnements de la théorie de possibilité, les jeux brouillés intuitionnistes avec les fonctionnements sur eux, la logique floue basée sur les jeux brouillés intuitionnistes et la théorie de possibilité ; nombres brouillés, nombre entier et à point mobile avec des fonctionnements arithmétiques conventionnels, et des variables et des ensembles linguistiques de variables linguistiques avec des fonctionnements sur eux. Les jeux brouillés pour l'ADA a le soutien de l'E/S string-oriented.

Voici quelques fonctionnalités clé « des jeux brouillés pour l'ADA » :

· Facteurs de confiance avec les fonctionnements pas, et, ou, xor, +, * ;
· Jeux brouillés classiques avec les fonctionnements régler-théorétiques et les fonctionnements de la théorie de possibilité ;
· Jeux brouillés intuitionnistes avec les fonctionnements sur eux ;
· Logique floue basée sur les jeux brouillés intuitionnistes et la théorie de possibilité ;
· Nombres brouillés nombre entier et les à point mobile avec des fonctionnements arithmétiques conventionnels ;
· Numéros brouillés dimensionnés ;
· Variables et ensembles linguistiques de variables linguistiques avec des fonctionnements sur eux ;
· L'E/S String-oriented est supportée.

Ce qu'il y a de neuf dans ce desserrage :

· Le code a été vérifié avec ada 2005 (GCC 4.0.2 20051125) de MOUCHERON.
· Un bogue a été corrigé dans Fuzzy.Linguistics.Sets.Defuzzify, qui a mené au defuzzification incorrect avec un fonctionnement décroissant d'appartenance.

L'arithmétique d'intervalle pour l'ADA est une bibliothèque mathématique qui fournit une application des intervalles pour l'ADA. Elle comprend des fonctionnements arithmétiques et apparentés.

Exemples :

Logique de trois états

Les intervalles d'ensemble de mesures sert d'ensemble de mesures de fond et fournit également la logique de trois états nécessaire de définir des fonctionnements apparentés sur des intervalles. Le type logique est défini comme :

le type logique est (trompeur, vrai, incertain) ;

Les fonctionnements suivants sont définis pour logique :

fonctionnement « pas » (parti : ) Renvoi logique logique ;
fonctionnement « et » (parti, droit : ) Renvoi logique logique ;
fonctionnement « et » (parti : Logique ; Droite : Booléen)
logique de renvoi ;
fonctionnement « et » (parti : Booléen ; Droite : Logique)
logique de renvoi ;
fonctionnement « ou » (parti, droit : ) Renvoi logique logique ;
fonctionnement « ou » (parti : Logique ; Droite : Booléen)
logique de renvoi ;
fonctionnement « ou » (parti : Booléen ; Droite : Logique)
logique de renvoi ;
fonctionnement « xor » (parti, droit : ) Renvoi logique logique ;
fonctionnement « xor » (laissé : Logique ; Droite : Booléen)
logique de renvoi ;
fonctionnement « xor » (laissé : Booléen ; Droite : Logique)
logique de renvoi ;

Ce qu'il y a de neuf dans ce desserrage :

· Pour les usagers GPS de MOUCHERON les fichiers projet étaient inclus ;
· Basé sur des ensembles de mesure pour l'ADA v 2.4.

Les Tableaux pour l'ADA est une bibliothèque fournit une application des tableaux répertoriés par des chaînes de caractères. La recherche dichotomique est employée pour des noms de longueur connue. Il est également possible de rechercher un tableau des noms de longueur inconnue, c.-à-d. pour analyser une chaîne de caractères using un certain tableau. Les éléments de Tableau peuvent être de n'importe quel type privé. Des tableaux peu sensibles principaux sont supportés.

Ce qu'il y a de neuf dans ce desserrage :

· Des fichiers projet de GPS ont été ajoutés pour des usagers de MOUCHERON.

Les composantes simples pour la bibliothèque d'ADA est logiciel gratuit ; vous pouvez le redistribuer et/ou le modifier aux termes du Permis de grand public de GNU comme publié par Free Software Foundation ; version 2 de la plaque d'immatriculation, ou (à votre option) toute version postérieure.

Cette bibliothèque est distribuée dans l'espoir qu'il sera utile, mais SANS N'IMPORTE QUELLE GARANTIE ; sans même garantie implicite de VALEUR MARCHANDE ou de FORME PHYSIQUE POUR UN BUT PARTICULIER. Voir le Permis de grand public de GNU pour plus de groupes.

En tant qu'une exception spéciale, si d'autres dossiers instancient des produits génériques à partir de cet ensemble, ou vous joindre cet ensemble avec d'autres dossiers pour produire un exécutable, cet ensemble pas par lui-même cause donner droit exécutable est couvert par le Permis de grand public de GNU.

Cette exception cependant n'infirme aucune autre raison pour lesquelles le dossier exécutable pourrait être couvert par la licence publique de GNU.

Ce qu'il y a de neuf dans ce desserrage :

· Des fonctionnements Is_In ont été ajoutés pour des âmes et des listes double-jointes. Des fichiers projet de GPS ont été ajoutés pour des usagers de MOUCHERON.

Les ensembles de la mesure pour la bibliothèque d'ADA fournit une application des valeurs dimensionnées pour l'ADA. Des vérifications d'ensemble sont effectuées à d'exécution, sinon à l'extérieur optimalisées par le compilateur. Le SI et les ensembles de mesure irréguliers sont supportés.

Des ensembles changés de vitesse comme des degrés Celsius sont supportés aussi. Des conversions et de nouveau derrière des chaînes de caractères sont données pour tous les divers ensembles irréguliers.

Voici quelques fonctionnalités clé des « ensembles de la mesure pour l'ADA » :

· Le type ensemble indique la cote d'une entité matérielle. Le type mesure représente une valeur dimensionnée ;
· Arithmétique mélangée d'ensemble. Des valeurs dans des ensembles de SI (dUnités de Le Système International) peuvent être mélangées aux ensembles irréguliers (tels que le pied et la cour) tant que le résultat est défini ;
· Support changé de vitesse d'ensemble (un cas employé couramment d'un ensemble changé de vitesse est degré de Celsius) ;
· Le type mesure est générique, paramétrisé par un type à point mobile. Une version non-générique basée sur le type flotteur est également fournie ;
· Chaîne de caractères pour mesurer l'ensemble aussi large de supports de conversion d'ensembles irréguliers comme possible.
· Actuel les pouvoirs des composantes d'unité de base se situent dans la gamme -8..7. Cette limitation a une raison d'application (absence des nombres entiers modulaires 64-bit dans beaucoup de compilateurs ADA).

Ce qu'il y a de neuf dans ce desserrage :

· Le centre de ce desserrage est sur le support de GTK.
· Il fournit à un gadget de cadre d'édition pour des valeurs dimensionnées un combo de déroulant pour la sélection d'ensemble.
· Le gadget peut être contraint à une cote bien d3terminée.
· Un moteur de rendu de cellules de vue d'arbre des valeurs dimensionnées est fourni, ainsi qu'un régime d'échantillon pour tracer des valeurs d'une cote à l'autre.

le projet d'adanetcdf est un Ada-95 grippant à la bibliothèque de netcdf.

Ce qu'il y a de neuf dans ce desserrage :

· varead ajouté de `pour l'extraction unique d'appel des vecteurs et des modifications de

Niliada est une bibliothèque de Bléser-comme des objectifs dans Ada-95.

Il comporte un collecteur d'ordures en temps réel. La bibliothèque de Niliada est utile pour massivement des applications multitâches dans un environnement critique de mission.

La bibliothèque de composantes normales d'application (ASCL) comporte un ensemble des ensembles de mesures réutilisables d'ADA. L'orientation n'est pas sur les composantes légères mais les plus grandes composantes telles qu'un gestionnaire de configuration et un environnement d'application de CLI qui fait tout l'argument analysant.

Elle comprend également un environnement de construction pour Linux qui peut être mis à jour et mis à jour indépendamment de codes sources réels. Elle supporte le procédé personnel de logiciel pour la programmation d'ADA.

WIPORT est une couche au-dessus de la bibliothèque graphique de grx qui fournit à un GUI simple api la mémorisation des objectifs manifestés dans les divers hublots.

Ceci effectue redessiner et impression à une représentation évolutive de post-scriptum facile à faire. Grâce aux régimes de bibliothèque de grx, using WIPORT fonctionne identiquement sur la console de DOS, le Linux+svgalib, et le Linux+X11 graphiques. WIPORT est écrit en C et vient avec un grippement Ada-95.

AdaSockets est une bibliothèque qui vous laisse utiliser des prises de schéma d'ADA (TCP, UDP et multicast).

Installation :

% de ./configure --prefix=
% effectuent pour monter

Ceci établira et montera ce logiciel sous /lib/adasockets. Le régime d'adasockets-config et sa page de manuel associée seront montés respectivement sous < n'importe quel répertoire >/bin et < n'importe quel répertoire >/man/

Dans les exemples sous-répertoire, vous trouverez un exemple appelé « tcprelay » qui illustre comment cet ensemble de mesures peut être employé.

Le GNU effectuent n'est pas strictement nécessaire mais est recommandé. Il est nécessaire si vous voulez reconstruire la documentation.

Ce qu'il y a de neuf dans ce desserrage :

· Le problème de empaquetage est maintenant fixé, grâce à Dani de l'enregistrement il.

La bibliothèque facile de propriétés de liage ajoute une application des propriétés de liage à la bibliothèque facile/GTK+ (elle comprend également ada 95 pour des grippements de GtkAda GTK, GtkAda a été effectuée par ACT corp.)

Les propriétés de liage est automatique synchronisant des valeurs de plusieurs propriétés pour maintenir leurs valeurs également entre eux, de sorte que quand une propriété change les propriétés liées avec elle changent automatiquement en conséquence. Également des grippements avec des fonctionnements de transformation de valeur sont supportés.

Les propriétés de liage réduit beaucoup le temps de développement des applications de bureau et de la fiabilité d'augmentations comme libère vous des dérouleurs longs et sujets aux erreurs de rappel de service d'écriture des modifications de propriété. (Les dérouleurs probablement incorrects de modification de propriété est le plus souvent la cause des erreurs dans les applications GUI !)

La version en cours 0.9.1 est une version alpha. Veuillez la vérifier.

Le nettoyeur de XML est un utilitaire de ligne de commande pour filtrer et valider des fichiers XML.

Le nettoyeur de XML est sauvé en ada 9X et ainsi lui plutôt rapides.

Le nettoyeur de XML est un filtre de XML et un Validator, assimilés au xmllint. Il peut retirer des déclarations de namespace de superfluos d'un fichier XML, augmente des entités de XML, recode des fichiers XML, et plus.

Voici quelques fonctionnalités clé de « nettoyeur de XML » :

· retire des déclarations superflues de namespace ;
· Support d'Unicode ;
· (Plus à l'instrument : La validation de XML, canonicalization de XML, reformatant, enlèvement de whitespace, commente dépose, charset de XML recodant, XInclude traitant, liment en place la modification, etc. ; Le nettoyeur de XML est de se développer dans une ligne commande complète filtre de XML et Validator.)

Le nettoyeur de XML est développé pour devenir remontage de xmllint.

Ce qu'il y a de neuf dans ce desserrage :

· Une option à choisir si ou non échapper à des apostrophes et à des quotations dans la sortie a été ajoutée.

La couche simple de DirectMedia est une bibliothèque de multimédia de cross platform conçue pour fournir l'accès à basse altitude à l'acoustique, au clavier, à la souris, au manche, à la visserie 3D par l'intermédiaire d'OpenGL, et à la 2D mémoire d'image visuelle. SDL est employé par le logiciel de playback de MPEG, les émules, et beaucoup de jeux populaires, y compris la récompense gagnant le port de Linux de la « civilisation : Appel au pouvoir. »

La couche simple de DirectMedia supporte Linux, Windows, BeOS, classique de MaOS, MaOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, et QNX. Il y a également code, mais aucun soutien officiel, de Windows CE, d'AmigaOS, de Dreamcast, d'Atari, de NetBSD, d'AIX, d'OSF/Tru64, de SYSTÈME D'EXPLOITATION de RISC, et de SymbianOS.

SDL est écrit en C, mais fonctionne avec C++ à la façon des indigènes, et a des grippements à plusieurs autres langages, y compris l'ADA, l'Eiffel, le Java, le Lua, le ml, le Perl, le PHP, le Pike, le python, et le rubis.

Ce qu'il y a de neuf dans ce desserrage :

· La charge X11 dynamique est seulement permise avec GCC 4 supportant - fvisibility=hidden. Ceci fixe des krachs liés aux collisions de symbole, et permet la construction sur Solaris et IRIX.
· Le bâtiment fixe SDL avec Xinerama a invalidé.
· La charge fixe de bibliothèque d'OpenGL de DRI, using RTLD_GLOBAL dlopen dedans ().
· Support ajouté de configuration de pkgconfig.

SDL_mixer est une bibliothèque sonore multivoie de mélangeur témoin. SDL_mixer supporte n'importe quel numéro de jouer simultanément des glissières de l'acoustique stéréo de 16 bits, plus un simple canal de la musique, mélangé par le modèle de MikMod, la timidité MIDI, l'Ogg Vorbis, et les bibliothèques populaires de SMPEG MP3.

La couche simple de DirectMedia est une bibliothèque de multimédia de cross platform conçue pour fournir l'accès à basse altitude à l'acoustique, au clavier, à la souris, au manche, à la visserie 3D par l'intermédiaire d'OpenGL, et à la 2D mémoire d'image visuelle. Elle est employée par le logiciel de playback de MPEG, les émules, et beaucoup de jeux populaires, y compris la récompense gagnant le port de Linux de la « civilisation : Appel au pouvoir. »

La couche simple de DirectMedia supporte Linux, Windows, BeOS, classique de MaOS, MaOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, et QNX. Il y a également code, mais aucun soutien officiel, de Windows CE, d'AmigaOS, de Dreamcast, d'Atari, de NetBSD, d'AIX, d'OSF/Tru64, de SYSTÈME D'EXPLOITATION de RISC, et de SymbianOS.

SDL est écrit en C, mais fonctionne avec C++ à la façon des indigènes, et a des grippements à plusieurs autres langages, y compris l'ADA, l'Eiffel, le Java, le Lua, le ml, le Perl, le PHP, le Pike, le python, et le rubis.

La bibliothèque de SDL_net est une petite bibliothèque de gestion de réseau de cross platform témoin, avec une application de client et serveur de causerie d'échantillon. L'usager de causerie emploie la bibliothèque de cadre de GUI de GUIlib.

La couche simple de DirectMedia est une bibliothèque de multimédia de cross platform conçue pour fournir l'accès à basse altitude à l'acoustique, au clavier, à la souris, au manche, à la visserie 3D par l'intermédiaire d'OpenGL, et à la 2D mémoire d'image visuelle. Elle est employée par le logiciel de playback de MPEG, les émules, et beaucoup de jeux populaires, y compris la récompense gagnant le port de Linux de la « civilisation : Appel au pouvoir. »

La couche simple de DirectMedia supporte Linux, Windows, BeOS, classique de MaOS, MaOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, et QNX. Il y a également code, mais aucun soutien officiel, de Windows CE, d'AmigaOS, de Dreamcast, d'Atari, de NetBSD, d'AIX, d'OSF/Tru64, de SYSTÈME D'EXPLOITATION de RISC, et de SymbianOS.

SDL est écrit en C, mais fonctionne avec C++ à la façon des indigènes, et a des grippements à plusieurs autres langages, y compris l'ADA, l'Eiffel, le Java, le Lua, le ml, le Perl, le PHP, le Pike, le python, et le rubis.

SDL_ttf est une bibliothèque témoin qui te permet d'employer des fontes de TrueType dans vos applications de SDL. La bibliothèque de SDL_ttf vient avec un régime « showfont » d'exemple qui manifeste une chaîne de caractères d'exemple pour un fichier fonte donné de TrueType.

Éclater et établir. Exécuter le « showfont fontfile » pour manifester une fonte using la bibliothèque.

La couche simple de DirectMedia est une bibliothèque de multimédia de cross platform conçue pour fournir l'accès à basse altitude à l'acoustique, au clavier, à la souris, au manche, à la visserie 3D par l'intermédiaire d'OpenGL, et à la 2D mémoire d'image visuelle. Elle est employée par le logiciel de playback de MPEG, les émules, et beaucoup de jeux populaires, y compris la récompense gagnant le port de Linux de la « civilisation : Appel au pouvoir. »

La couche simple de DirectMedia supporte Linux, Windows, BeOS, classique de MaOS, MaOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, et QNX. Il y a également code, mais aucun soutien officiel, de Windows CE, d'AmigaOS, de Dreamcast, d'Atari, de NetBSD, d'AIX, d'OSF/Tru64, de SYSTÈME D'EXPLOITATION de RISC, et de SymbianOS.

SDL est écrit en C, mais fonctionne avec C++ à la façon des indigènes, et a des grippements à plusieurs autres langages, y compris l'ADA, l'Eiffel, le Java, le Lua, le ml, le Perl, le PHP, le Pike, le python, et le rubis.

SDL_image est une bibliothèque de programmes de fichier image. SDL_image charge des images comme surfaces de SDL, et supporte les formats suivants : VÉHICULE BLINDÉ AMPHIBIE SOVIÉTIQUE D'INFANTERIE, PNM, LBM, PCX, XPM, GIF, JPEG, PNG, TGA.

Éclater et établir. Exécuter le « showimage imagefile » pour manifester une image using la bibliothèque.
Note : Si vous êtes construction sur le classique de MaOS, vous pouvez vouloir les versions pré-établies du libpng et du libz pour le support de png.

La couche simple de DirectMedia est une bibliothèque de multimédia de cross platform conçue pour fournir l'accès à basse altitude à l'acoustique, au clavier, à la souris, au manche, à la visserie 3D par l'intermédiaire d'OpenGL, et à la 2D mémoire d'image visuelle. Elle est employée par le logiciel de playback de MPEG, les émules, et beaucoup de jeux populaires, y compris la récompense gagnant le port de Linux de la « civilisation : Appel au pouvoir. »

La couche simple de DirectMedia supporte Linux, Windows, BeOS, classique de MaOS, MaOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, et QNX. Il y a également code, mais aucun soutien officiel, de Windows CE, d'AmigaOS, de Dreamcast, d'Atari, de NetBSD, d'AIX, d'OSF/Tru64, de SYSTÈME D'EXPLOITATION de RISC, et de SymbianOS.

SDL est écrit en C, mais fonctionne avec C++ à la façon des indigènes, et a des grippements à plusieurs autres langages, y compris l'ADA, l'Eiffel, le Java, le Lua, le ml, le Perl, le PHP, le Pike, le python, et le rubis.

GlGuiA est un ensemble d'ensembles de mesures d'ADA pour produire des interfaces graphique utilisateur. Il fournit un ensemble complet et extensible d'organes graphiques (gadgets), comme des boutons, des échelles, des arbres, des cadres de message, et des boîtes de dialogue.

Il devrait être plutôt facile de produire les objectifs neufs de celles existantes. Pour gagner l'indépendance de plate-forme, la bibliothèque se fonde sur OpenGl pour des primitifs de retrait. L'événement et la gestion de fenêtres fondamentaux sont faits using Glfw.

Ce qu'il y a de neuf dans ce desserrage :

· des caractéristiques OpenGL-relatives ont été divisées.
· Elle n'emploie plus la SURABONDANCE, mais au lieu le Glfw pour le management à basse altitude d'hublots et d'événements.
· Une fonte bien meilleure traitant, et des décorations fondamentales ont été ajoutées au texte.
· Manipulations de vue ajoutées : mouvement de souris + bouton moyen (vue de carter) et galet de souris (vue de zoom).
· Une ligne gadget d'entrée pour entrer le texte d'une seule ligne a été ajoutée.
· Activer avec un cliquetis de souris, valider avec entrent ou gauche-cliquettent, et annulent avec l'évasion ou le clic droit.

AdaControl est un outil (GMGPL) libre qui trouve l'utilisation de divers genres d'éléments dans des régimes d'ADA. Le premier but d'AdaControls est de contrôler l'usage approprié du type ou des règles de programmation, mais il peut également être employé car un puissant outil pour rechercher l'utilisation (ou le non-usage) de diverses formes des types ou des modèles de conception de programmation. Les éléments recherchés s'échelonnent très de simple, comme le cas des entités de certaine, déclarations, ou des rapports, très à sophistiqué, comme vérifier que certaines configurations de programmation sont obéies.

Quels éléments ou construit sont recherchés est défini par un ensemble de règles ; le tableau suivant donne un petit résumé des règles actuel vérifiées par AdaControl. Le numéro entre parenthèses après que le nom de règle donne le nombre de subrules, le cas échéant. Considérant tous les règles et subrules possibles, ceci effectue 216 essais qui peuvent être réalisés actuel par AdaControl !

· Abnormal_Function_Return contrôle un modèle de conception qui s'assure qu'un fonctionnement renvoie toujours un résultat.
· Les programmes d'allocation contrôle des ocurrences des programmes d'allocation, tous, ou ceux qui visent les types spécifiques.
· Array_Declarations (x2) contrôle plusieurs métrique dans des conventions de matrice.
· Les éléments de contrôles de Barrier_Expressions ont permis dans l'expression des barrages d'entrées protégés
· Case_Statement (x4) contrôlerait plusieurs métrique au cas où des rapports.
· Control_Characters contrôle des cas des caractères de commande (comme des languettes) dans la source.
· Les déclarations (x75) contrôle des cas de certaines déclarations d'ADA.
· Default_Parameter contrôle les appels de sous-programme et les instanciations génériques qui emploient (ou pas) la valeur par défaut pour un paramètre donné.
· Directly_Accessed_Globals contrôle un modèle de conception qui s'assure que toutes les variables mondiales sont consultées seulement par les sous-programmes spécifiques.
· Cas de contrôles d'entités de toute entité d'ADA.
· Entity_Inside_Exception contrôle des cas des entités à l'intérieur des gestionnaires d'exception.
· Contrôles d'Exception_Propagation (x4) que certains sous-programmes (ou tâches) ne peuvent pas propager des exceptions, ou qu'aucune élaboration ne peut propager des exceptions.
· Les expressions (x9) contrôle l'usage de certaines formes des expressions
· Global_References contrôle des accès non synchronisés aux variables mondiales.
· Header_Comments (x2) contrôle la présence des commentaires au début de chaque module.
· Contrôles d'If_For_Case si rapports qui pourraient être remplacés par des rapports de cas.
· Les instanciations contrôle des instanciations génériques, tous, ou ceux qui emploient les entités spécifiques.
· Insufficient_Parameters contrôle l'utilisation des paramètres positionnels dans les appels où la valeur ne fournit pas des informations suffisantes.
· Local_Hiding contrôle des cas des identificateurs locaux qui cachent extérieur identique.
· Local_Instantiation contrôle des instanciations dans des étendues locales.
· Max_Blank_Lines contrôle le cas de plus qu'un numéro spécifique des lignes vides consécutives.
· Max_Call_Depth contrôle la profondeur maximum des appels de sous-programme.
· Max_Line_Length contrôle la longueur maximale des lignes de source.
· Les étendues de contrôles de Max_Nesting se sont emboîtées plus profondément qu'une limite indiquée.
· Max_Parameters (x6) contrôle les nombres maxima de paramètres dans les entités accessibles (procédures, fonctionnements et entrées)
· Les rapports composés de contrôles de Max_Statement_Nesting (x5) se sont emboîtés plus profondément qu'une limite donnée.
· Ordres de contrôles de Movable_Accept_Statements qui pourraient être extérieur déplacé par rapport de recevoir.
· Naming_Convention contrôle la forme (ou interdit) des noms permis dans les déclarations.
· No_Safe_Initialization contrôle un modèle de conception qui s'assure que la variable est initialisée avant d'être employé.
· Non_Static (x3) contrôle des expressions non statiques dans l'index ou les contraintes de discriminant, ou dans les instanciations.
· Not_Elaboration_Calls contrôle des appels de sous-programme exécutés des places en dehors de code d'élaboration d'ensemble de mesures.
· Other_Dependencies contrôle des dépendances sémantiques à d'autres ensembles que ceux indiqués
· Parameter_Aliasing contrôle des sous-programmes et des appels d'entrée où une variable est fournie à plus d'un [dedans] à l'extérieur paramètre.
· Potentially_Blocking_Operations contrôle l'utilisation de bloquer potentiellement des fonctionnements des fonctionnements protégés.
· Les pragmas contrôle l'utilisation des pragmas particuliers.
· Real_Operators contrôle des cas de = ou des conducteurs de/= sur les types réels.
· Reduceable_Scope contrôle les déclarations qui pourraient être mouvement aux étendues plus profondément emboîtées.
· Representation_Clauses contrôle des cas des clauses de représentation.
· Return_Type contrôle l'utilisation de certains genres de types en tant que types de renvoi de fonctionnements.
· Side_Effect_Parameters contrôle les appels de sous-programme et les instanciations génériques qui appellent des fonctionnements avec l'effet secondaire, de ce fait produisant une dépendance à la commande de l'évaluation.
· Silent_Exceptions contrôle les gestionnaires d'exception qui ne font pas des exceptions de reraise ni des sous-programmes indiqués par appel.
· Simplifiable_Expressions (x4) contrôle des cas de diverses formes des expressions qui pourraient être simplifiées.
· Special_Comments contrôle la présence de certaines configurations de chaîne de caractères dans les commentaires.
· Les rapports (x42) contrôle des cas des rapports d'ADA.
· Dénommer les diverses formes des contrôles (X12) des éléments généralement recommandés dans des règles de type.
· Terminating_Tasks contrôle un modèle de conception qui s'assure que les tâches ne mettent jamais fin.
· Uncheckable (x3) contrôle les éléments qui ne sont pas statiquement vérifiables par d'autres règles
· Les contrôles d'Unnecessary_Use_Clause emploient des clauses sur des ensembles de mesures, où aucun élément de l'ensemble de mesures n'est mentionné dans l'étendue de la clause d'utilisation.
· Unsafe_Paired_Calls contrôle un modèle de conception qui s'assure que certains appels sont des allways appareillés (comme des procédures de P/V).
· Unsafe_Unchecked_Conversion contrôle des instanciations d'Unchecked_Conversion entre les types de différentes ou non spécifiées tailles.
· L'usage (x5) contrôle l'usage des objectifs dans certaines conditions (dans des caractéristiques d'ensemble de mesures, affiché, sauvées modifié…).
· Use_Clauses contrôle des cas des clauses d'utilisation, excepté les ensembles de mesures indiqués.
· With_Clauses (x3) contrôle l'usage approprié de avec des clauses.

Ce qu'il y a de neuf dans ce desserrage :

· Ce desserrage ajoute des règles pour vérifier que l'en-tête commente allumette une configuration donnée.
· Il a le signe des faux positifs possibles et des faux négatifs dus aux éléments non-statically analysables.
· Il y a une définition fine des éléments permis dans des barrages d'entrée (les y compris du profil de Ravenscar).
· Il y a bonne intégration dans le GPS, et beaucoup plus.