Index of exceptions


A
Aucune_solution [Sig_resolution]
Si la recherche exhaustive n'aboutit pas.
Aucune_solution [Resolution]
Si on a aucune solution au puzzle.

C
Case_deja_occupee [Resolution]
Si on tente de rajouter une pièce sur une case qui n'est pas vide (ie qui ne contient pas un élément de type piece option, réduit à "None").
Chronometre_non_actif [Temps]
Si on demande le temps du chronomètre sans qu'il soit actif !

E
Ecriture_refusee [Sig_resolution]
Si lors de l'écriture dans un fichier externe, l'utilisateur refuse de l'écraser.
Ecriture_refusee [Resolution]
Si l'utilisateur demande l'interruption d'une des fonctions d'écritures.
Erreur_compatibilite_h [Sig_resolution]
Pendant la vérification de la validité d'un plateau, signale une erreur entre deux pièces, horizontalement, entre la case (i,j) et (i+1,j).
Erreur_compatibilite_h [Resolution]
Si une paire de pièce ne satisfait pas h, la relation de satisfaisabilité horizontale.
Erreur_compatibilite_v [Sig_resolution]
Pendant la vérification de la validité d'un plateau, signale une erreur entre deux pièces, verticalement, entre la case (i,j) et (i,j+1).
Erreur_compatibilite_v [Resolution]
Si une paire de pièce ne satisfait pas v, la relation de satisfaisabilité verticale.
Erreur_option [Sig_resolution]
Si pendant la résolution on tente de replacer une pièce là ou en avait déja fixé une.
Erreur_option [Resolution]
Si on a cherché a se débarasser d'un élément de type 'a option valant "None".
Erreur_trop_grand_h [Sig_interface]
L'écran d'un ordinateur étant limité en taille, on interdit de dessiner des plateaux trop grand.
Erreur_trop_grand_h [Interface]
Deux exceptions si on veut tracer un plateau trop grand pour la taille de fenètre qu'on peut utiliser.
Erreur_trop_grand_v [Sig_interface]
De même si trop grand verticalement.
Erreur_trop_grand_v [Interface]
Error_Annule [Sig_interface]
On utilise beaucoup l'outil "Zenity", par l'appel en exécutant des lignes de commandes, via le module "Sys" et sa précieuse fonction "Sys.command".
Error_Annule [Interface]
Pour gérer le code de retour d'un processus Unix lancé par la commande "Sys.command" en ocaml.
Error_Annule [Temps]
Pour gérer le code de retour d'un processus Unix lancé par la commande "Sys.command" en ocaml.
Error_Parse_instance [Sig_resolution]
Lors de la lecture d'une instance déja écrite dans un fichier, si le contenu du dit-fichier n'est pas valide avec la "syntaxe" du format, cette exception est levée.
Error_Parse_instance [Resolution]

F
Fin [Sig_interface]
Si l'utilisateur choisi de fermer l'interface graphique, c'est cette exception qui est propageé.
Fin [Interface]
Si une action fait arréter l'interface.

I
Interuption_clavier [Sig_resolution]
Pendant le test suivant, une interuption du test lève cette exception.
Interuption_clavier [Resolution]
Pour permettre de stopper le test suivant.

M
Mauvais_tableau [Sig_resolution]
Si on a construit par erreur un mauvais tableau.
Mauvais_tableau [Resolution]
Si lors de la lecture d'un plateau dans un fichier extérieure (ie : une solution possible, ou partielle), on découvre une erreur.

S
Solution_trouvee [Sig_resolution]
Dès qu'on a un plateau satisfaisant pendant la recherche (exhaustive), cette exception est renvoyée.
Solution_trouvee [Resolution]
Notre procédure de recherche sera exhaustive, et donc possiblement peu efficace.
Solution_trouvee_arg [Sig_resolution]
Idem, mais en donnant le dit-plateau en plus.
Solution_trouvee_arg [Resolution]

Z
ZenityOcaml_Erreur_Annule [Zenity]
L'exception qui est renvoyé si le processus appelé par les fonctions suivantes retourne un code d'erreur UNIX spécifiant une erreur.