122 lines
2.8 KiB
OCaml
Executable file
122 lines
2.8 KiB
OCaml
Executable file
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"));;
|