inconito.net
Manuel De Girardi ; Tenebris Majestua Ordonae Ordo Mortem au service de la souveraine du Royaume Uni Elizabeth II ; Agent 007 en mission en France.
Le site inconito.net fermera ces porte en novembre 2025.
Vous pourrez accéder au site à l'adresse 82.64.250.137.
Voici quelques accronymes de France redécouvert ici par une heureuse idée de chercher du sens à ce que un nom.
ouvrir
Ingéniérie du logiciel avec Ada : tarifs
Sur les traces de Darwin : naturalisme
Systémique : système de niveau 10 selon la classification des systèmes.
Quelques citations de propos tenu par moi même : citations.html
Produits et services
Je réalise des programmes au tarif mentionné ci dessus pour les moyens et gros projets ou des prx abordables pour les petits programme.
Je réalise un décodage de textes en langage de France.
J'achemine les courriers spéciaux.
Je fait la vaisselle gratieusement.
Je réalise les courses pour 5 euros par magasin visité.
Skywalker est un freeware publié en mai 2024 sous license GPL 2. Il aura néanmoins fallu attendre mai 25 avant d'apporter les derniers compléments du programme en version 0.23.0a. Toutefois, les classes Car et House ne sont pas implémentées. La version 0.29.0a de skywalker inclue l'agent de dialogue qui était disponible dans le programme Elhoim disponible en mai 2023 sur inconito.net.
Le langage Ada
Présentation
Le langage de programmation Ada est particuliairement adapté au pilotage d'automate pour lesquels il est indispensable de décrire les sections critiques.
Pour celà, le paquetage Gnat.Semaphore dont les spécifications se trouves sur système d'exploitation Debian dans le répertoire /usr/lib/gcc/*/adainclude avec l'ensemble des fichiers de bibliothèques du langage Ada vous indiquerons les mécanismes à considérer afin de maintenir un programme en état de fonctionnement.
Typage fort
Le typage fort du langage Ada permet de vérifier au moment de la compilation que les contraintes énoncées par le programme serons respectées tout au long du déroulement du programme.
Les tableaux
Les types tableaux sont défini grâce au mot "array".
Ex : type Int_Table is array (positive'first .. Size) of Integer;
Les types tableaux non contraints permettent de décrire des tableaux dont les contraintes serons connues ultérieurement.
Ex : type Float_Table is array (Name_Enum range <>) of Float;
Les tableaux à plusieurs dimentions
Pour spécifier un tableau à plusieurs dimension, il est nécessaire de décrire chacune des dites dimenssion.
Ex : type Table_2D is array (Positive range <>, Name_Enum range <>) of Boolean;
Spécification du type Table
Une table est un type énoncé selon l'abstraction d'une table.
Ex :
type Int_Table is array (Positive range <>) of Integer;
type Table_Record (Sise : Positive) is
record
Table : Int_Table(1..Size) := (others => 0);
Index : Natural := 0
end record;
Note : Les paramètres de type sont constant.
Mise en garde
Malgrès les informations retournées par le compilateur Gnat relatif aux avertissements de non respect des usages de la sémantique ; Il est parfois impossible de répondre objectivement à l'évocation d'un dit avertissement.
Par là, l'usage du pragma Supress_* est déplacé. Et répondre simplement à un de ces dits avertissement peut entrainer un disfonctionnement du programme.
Encouragements
Le langage Ada est un langage dit de haut niveau permettant au programmeur de se libérer des contraintes des langages dits de bas niveau.
Ainsi, L'espace mémoire alloués pour chacune des variables sera libéré automatiquement à la sortie de la section visible.
Néanmoins, l'espace mémoire alouer à des type "access" doit être libéré en faisant usage de la procédure Unchecked_Dealocation spécifiée dans la bibliothèque Ada.Finalization.
Style et documentation
Le style idéal d'un programme écrit avec Ada doit répondre à une veille de la lisibilité du programme.
Afin de maintenir un programme tout au long du cycle de vie du logiciel, il est important de choisir des noms pertinents.
Enfin, un programme bien documenté est un programme autodocumenté.
Pour assurer la lisibilité d'un programme il est important de signaler ce que fait le programme et comment il le fait.
Commentaire
Avec Ada, le texte suivant deux caractères '-' (minus) est un commentaire.
Les commentaires sont ignorés par le compilateur.
Spécifications du langage Ada
La taille maximale d'une ligne est de 256 caractères.
Les identifiants sont appellés "litéral".
Les caractères isolés doivent être entouré du signe '''.
Les chaînes de caractère doivent être entourées du signe '"'.
Pour inclure le signe '"' vous devez doubler ce signe.
L'alphabet du langage Ada est Latin_1.
Avec le compilateur Gnat, pour utiliser les caractères accentués, vous devez ajouter l'option "-gnatW8" sur la ligne de commande gnatmake.
Le séparateur de chaînes ramplaçant l'espace est usuellement le caractère '_' (Underscore).
Bonne pratique
Exceptées les variables de type access ; Le bon sens exige d'initialiser les variables lors de leur déclaration.
Contributions
inconito.net
Débuter avec GNU/Linux.
Introduction au langage de programmation Ada : Ada Tutoriel
Vous trouverez le programmes Gnostic sur le site sourceforge.net ou dans le répertoire Downloads à la racine du site inconito.net.
lp.sh
La commande lp.sh que ce script shell permet d'ouvrir grâce à une commande chacun des fichiers portant l'extention de fichier "ads" des fichiers de spécifications Ada et/ou l'extention "adb" des fichiers de l'implémentation si ils existent des tout les répertoires d'un projet compartimenté avec Gnostic et les projet créés gâce au formulaire procgi.html dont le lien se trouve ci-dessus.
#!/bin/bash
for dir in `ls -d ./*`; do
version=`head -1 $dir/Versions.lst`
pname=`basename -s -$version $dir`
name=`head -1 $dir/Project.lst`
table=`for i in \`/bin/ls -1 $pname-$version/$name/*/src/lib/*.$1\`; do echo \`basename -s .$1 $i\`-$version.$1; done`;
for i in `echo $table`; do
file=`basename -s -$version.$1 $i`;
dir=`basename -s -$version.$1 $file`;
echo $pname-$version/$name/$dir/src/lib/`basename -s -$version.$1 \`/bin/ls --color $pname-$version/$name/$dir/src/lib/$file.$1\``
done;
done;
Usage : emacs `lp ads` ou emacs `lp adb` ou emacs `lp ads & lp adb`
Pour que ce scipt fonctionne ; Vous devez copier les fichers tail et head se trouvant dans le répertoire bin dans le répertoire home/*/bin.
Lancez au moins une première fois la commande ". .profile" pour mettre à jour la variable PATH.
Le caractère spécial permettant une substitution de commande est obtenu grâce à l'appuie de Alt Gr+` suivi en terminal linux du caractère espace.
Exercice
Exercice consistant en la réalisation d'un dictionnaire.
Author
Manu, l'autre. 
Nîmes, France, le 20 juin 2025
Général, à vous le commandemant.
1er Classe De Girardi, ayant fait abnegation pour maintien de la paix au cours de 25me mandat de la FINUL.
Sortie de make du projet courant : Err.txt
Vous avez un élément de base de l'homme de base.
Riche de 25 années d'expérience en programmation avec Ada ; Je réalise des travaux à façons sur commande par courriel.
Mes tarifs sont indiqués plus haut.
End of document