Exceptions et journalisation on kodkod | Cours d'introduction

Exceptions A : pourquoi gérer les erreurs, try et except

Mon, 01 Jan 0001 00:00:00 +0000

Qu’allons-nous apprendre ?

Ce qu’est une Exception.
Pourquoi un vrai logiciel doit gérer les erreurs et ne pas planter.
La syntaxe try / except.
Une gestion différente pour différents types d’erreurs.

Pourquoi en avons-nous besoin ?

Imaginez un petit serveur de calculatrice : un client envoie "hello" au lieu d’un nombre, et tout le serveur plante. Tous les clients qui viennent ensuite reçoivent « Connection refused ».

Exceptions B : else et finally — la structure complète

Mon, 01 Jan 0001 00:00:00 +0000

Qu’allons-nous apprendre ?

Dans la leçon précédente, nous avons utilisé try et except. La structure comporte deux autres parties :

else — s’exécute seulement s’il n’y a pas eu d’erreur.
finally — s’exécute toujours, avec ou sans erreur.

Pourquoi en avons-nous besoin ?

Imaginez un code qui ouvre une connexion à une base de données (les thèmes backend et bases de données), effectue une action et ferme la connexion. Que se passe-t-il si l’action échoue au milieu ? Si la fermeture est écrite après l’action, elle ne sera pas exécutée, et la connexion reste ouverte. Après une centaine d’échecs de ce genre, le serveur plantera faute de connexions disponibles.

Exceptions C : raise — lancer une erreur nous-mêmes

Mon, 01 Jan 0001 00:00:00 +0000

Qu’allons-nous apprendre ?

Jusqu’à présent, c’est Python qui lançait les erreurs, et nous les attrapions. Aujourd’hui, nous allons apprendre à les lancer nous-mêmes, avec raise, quand notre code détecte un état invalide.

Journalisation A : pourquoi print n'est pas du logging, et les niveaux du journal

Mon, 01 Jan 0001 00:00:00 +0000

Qu’allons-nous apprendre ?

Ce qu’est un journal (Log) et pourquoi les vrais systèmes en écrivent un.
Pourquoi print n’est pas du logging.
Le module logging de Python.
Les cinq niveaux du journal : debug, info, warning, error, critical.

Pourquoi en avons-nous besoin ?

Le serveur que vous écrirez dans les thèmes backend et bases de données tournera sans que personne ne le surveille, peut-être sur un ordinateur dans le cloud, en pleine nuit. Demain matin, un client dira « ma commande a disparu pendant la nuit ». Comment saurez-vous ce qui s’est passé ?

Journalisation B : enregistrer les journaux dans un fichier et consigner les actions importantes

Mon, 01 Jan 0001 00:00:00 +0000

Qu’allons-nous apprendre ?

Comment écrire les journaux dans un fichier, et pas seulement à l’écran.
Les modes d’écriture : ajouter à la fin du fichier, ou repartir de zéro.
Comment enregistrer une erreur avec tous les détails (Traceback).
Quoi consigner : quelles actions sont importantes et à quel niveau.

Pourquoi en avons-nous besoin ?

Vous vous souvenez du thème sur l’ordinateur, le système d’exploitation et le réseau ? Ce qui est à l’écran et en mémoire disparaît à la fin du programme. Un fichier est conservé sur le stockage. Un journal à l’écran n’aide que celui qui est assis devant maintenant. Un journal dans un fichier peut être ouvert demain, fouillé, et utilisé pour comprendre ce qui s’est passé pendant la nuit.