open Char

(* Type déclarent les différentes unités lexicales possibles *)

type token =
(* Identificateurs *)
  | IDENT of string
  | TYPEIDENT of string
(* Mots cles : types *)
  | INT
  | FLOAT
  | BOOL
  | CHAR
  | VOID
  | STRING
(* Structure de blocs *)
  | ACCOUV
  | ACCFER
  | PAROUV
  | PARFER
  | CROOUV
  | CROFER
(* Separateurs *)
  | PTVIRG
  | VIRG
(* Mots cles : Instructions *)
  | SI
  | SINON
  | TANTQUE
  | RETOUR
(* Valeurs *)
  | ENTIER of int
  | BINAIRE of int
  | HEXA of int
  | OCTA of int
  | FLOTTANT of float
  | BOOLEEN of bool
  | CARACTERE of char
  | CHAINE of string
  | VIDE
(* Operateurs *)
  | NOUVEAU
  | ASSIGN
  | OPPT
(* Comparaison *)
  | OPNONEG
  | OPEG
  | OPSUPEG
  | OPINFEG
  | OPSUP
  | OPINF
(* Booleen *)
  | OPOU
  | OPET
  | OPNON
(* Arithmetique *)
  | OPPLUS
  | OPMOINS
  | OPMULT
  | OPDIV
  | OPMOD
(* Fin de texte *)
  | FIN ;;

let printToken t =
  (print_endline
     (match t with
(* Structure de blocs *)
       | PAROUV -> "bloc : ("
       | PARFER -> "bloc : )"
       | CROOUV -> "bloc : ["
       | CROFER -> "bloc : ]"
       | ACCOUV -> "bloc : {"
       | ACCFER -> "bloc : }"
(* Separateurs *)
       | VIRG -> "separateur : ,"
       | PTVIRG -> "separateur : ;"
(* Operateurs *)
       | OPEG -> "operateur : =="
       | OPNONEG -> "operateur : !="
       | OPINFEG -> "operateur : >="
       | OPINF -> "operateur : >"
       | OPSUPEG -> "operateur : <="
       | OPSUP -> "operateur : <"
       | OPET -> "operateur : &&"
       | OPOU -> "operateur : ||"
       | OPNON -> "operateur : !"
       | OPPLUS -> "operateur : +"
       | OPMOINS -> "operateur : -"
       | OPMULT -> "operateur : *"
       | OPDIV -> "operateur : /"
       | OPMOD -> "operateur : %"
       | ASSIGN -> "operateur : ="
       | OPPT -> "operateur : ."
       | NOUVEAU -> "operateur : new"
(* Mots cles : Instructions *)
       | TANTQUE -> "mot-cle : while"
       | SI -> "mot-cle : if"
       | SINON -> "mot-cle : else"
       | RETOUR -> "mot-cle : return"
(* Mots cles : Types *)
       | BOOL -> "type : boolean"
       | CHAR -> "type : char"
       | FLOAT -> "type : float"
       | INT -> "type : int"
       | STRING -> "type : String"
       | VOID -> "type : void"
(* Valeurs *)
       | BOOLEEN b -> "booleen : " ^ (if b then "true" else "false")
       | CARACTERE c -> "caractere : '" ^ (escaped c) ^ "'"
       | CHAINE s -> "chaine : " ^ s
       | ENTIER n -> "entier : " ^ string_of_int n
       | HEXA n -> "hexa : " ^ string_of_int n
       | OCTA n -> "octa : " ^ string_of_int n
       | BINAIRE n -> "binaire : " ^ string_of_int n
       | FLOTTANT f -> "flottant : " ^ string_of_float f
       | VIDE -> "null"
(* Identificateurs *)
       | IDENT n -> "identificateur : " ^ n
       | TYPEIDENT t -> "identificateur de type : " ^ t
       | _ -> "TBC"));;