Il s'agit de la commande gnatelim qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
gnatelim - élimine le code mort des programmes Ada
SYNOPSIS
gnatelim [OPTION] ... nom
DESCRIPTION
Lorsque vous travaillez avec un programme qui partage un ensemble de packages Ada avec d'autres
programmes, il peut arriver que votre programme n'utilise qu'une partie du sous-programme défini dans ces
packages, alors que le code créé pour les sous-programmes inutilisés augmente la taille du
exécutable de votre programme.
gnatelim est un utilitaire de suivi des sous-programmes inutilisés dans un programme Ada. Sa sortie consiste
d'une liste de pragmas Eliminate marquant tous les sous-programmes déclarés, mais jamais
appelé dans un programme donné. Eliminate est un pragma spécifique à GNAT. En compilant votre programme
avec ces pragmas, vous pouvez diminuer la taille de son exécutable, car le compilateur
pas créer le code pour les sous-programmes inutilisés.
gnatelim est une application ASIS développée au-dessus de l'implémentation ASIS pour GNAT. Ce
a besoin d'un ensemble de fichiers arborescents représentant un programme à analyser et le fichier de liaison pour son principal
sous-programme à créer dans le répertoire courant. Pour la version actuelle, c'est un
responsabilité de l'utilisateur de maintenir la cohérence de l'ensemble des fichiers arborescents traités par
gnatelim, si l'utilisateur modifie également les sources du programme Ada à traiter.
Pour produire une liste de pragmas Eliminate, gnatelim doit faire une analyse approfondie et il
peut prendre un certain temps. Par exemple, pour se traiter, gnatelim prend 4 minutes de temps CPU
sur un Pentium 200.
OPTIONS
-v mode verbeux : gnatelim les informations de version sont imprimées (sous forme de commentaires Ada)
en sortie standard ; les noms des fichiers en cours de traitement sont imprimés avec l'erreur standard.
-vf Identique à -v, mais en plus diverses informations de débogage et informations
reflétant certains détails de l'analyse effectuée par gnatelim sont imprimés sur
erreur standard.
-a Traiter les composants RTL : par défaut, gnatelim n'analyse pas les unités qui sont
les composants de la bibliothèque d'exécution GNAT (RTL), et il ne génère pas
Élimine les pragmas pour les sous-programmes déclarés dans la RTL. Si l'option '-a' est définie, RTL
les composants sont également analysés (sauf certaines unités, qui contiennent des sous-programmes
implicitement appelé par le compilateur).
-m Vérifier les unités manquées : si cette option est activée, gnatelim vérifie que toutes les unités qui
(selon le fichier de liaison) doit être analysé par gnatelim sont vraiment représentés
par l'ensemble des fichiers arborescents traités par gnatelim (selon que '-a' ou non
option est définie). Par défaut (c'est-à-dire si l'option '-m' n'est pas définie), gnatelim des analyses
un ensemble d'unités représenté par un ensemble donné de fichiers arborescents "en l'état" (hors bibliothèque
packages qui nécessitent des corps, mais pour lesquels les corps ne sont pas disponibles).
Utilisez gnatelim en ligne en utilisant les services onworks.net
