lutErrors.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113(** Annexe : gestion des erreurs/warning ------------------------------------------------------------------------ description : Exceptions et formatage des messages d'erreur. La compilation peut échouer sur des exceptions prédéfinies : - Sys_error of string : ----------------------- erreur système (liée aux fichiers) - Parse_error : --------------- dans le yacc - Compile_error of Lexeme.t * string : -------------------------------------- une erreur de compil qu'on peut "situer" dans le source grâce à un lexeme * - Global_error of string : -------------------------- une erreur qui n'est pas spécialement liée à un lexeme, (mais peut-être liée à un noeud -> void checkNode) * - Compile_node_error of CompileData.node_key * Lexeme.t * string : ------------------------------------------------------------------ une erreur de compil liée à un lexeme et à un noeud (en fait une instance de template) particulier * ** *** - Global_node_error of CompileData.node_key * string : ------------------------------------------------------------------ une erreur de compil non liée à un lexeme particulier, mais dependant levée lors de la compilation d'un noeud * ** *** *** Pas défini ici (à cause des %@#&! problemes de compil séparée), ---------------------------------------------------------------------- ----------------------------------------------------------------------*) open Lexeme (*--------------------------------------------------------------------- Une erreur associée à un lexeme dans le fichier source ----------------------------------------------------------------------*) exception Compile_error of Lexeme.t * string (*--------------------------------------------------------------------- Une erreur plus generale ----------------------------------------------------------------------*) exception Global_error of string (*--------------------------------------------------------------------- Une erreur qui n'aurrait pas du arriver (fonction, message) ----------------------------------------------------------------------*) exception Internal_error of string * string (*--------------------------------------------------------------------- Formatage standard des lexemes dans les messages d'erreur ----------------------------------------------------------------------*) let lexeme_details lxm = ( Printf.sprintf "'%s' \nFile \"%s\", line %d, char %d-%d" lxm.str lxm.file lxm.line lxm.cstart lxm.cend ) let lexeme_line_col lxm = ( Printf.sprintf "(line %d, char %d-%d)" lxm.line lxm.cstart lxm.cend ) (*--------------------------------------------------------------------- Formatage standard des erreurs de compil ----------------------------------------------------------------------*) let compile_error_string lxm msg = ( Printf.sprintf "Error, %s:\n---> %s" (lexeme_details lxm) msg ) (*--------------------------------------------------------------------- Message d'erreur (associé à un lexeme) sur stderr ----------------------------------------------------------------------*) let print_compile_error lxm msg = ( Printf.eprintf "%s\n" (compile_error_string lxm msg); flush stderr ) (*--------------------------------------------------------------------- Warning (associé à un lexeme) sur stderr ----------------------------------------------------------------------*) let warning src msg = ( match src with Some lxm -> Printf.eprintf "Warning. %s:\n---> %s\n" (lexeme_details lxm) msg | None -> Printf.eprintf "Warning. :\n---> %s\n" msg ) (*--------------------------------------------------------------------- Message d'erreur (sans lexeme) sur stderr ----------------------------------------------------------------------*) let print_global_error msg = ( Printf.eprintf "Error, %s\n" msg ; flush stderr ) (*--------------------------------------------------------------------- Message d'erreur interne (avec fonction) sur stderr ----------------------------------------------------------------------*) let print_internal_error fnme msg = ( Printf.eprintf "Sorry, Internal Error, function %s:\n---> %s\n" fnme msg ; flush stderr )