(* Mines 97: macro-expansions *)

open String;;
		
let tablemax=128;;

type macro_definition= {symbole:string; definition:string};;

let entreevide={symbole="";definition=""};;

type 'a table_des_symboles = {
	table: 'a array;
 	mutable tailletable:int }
;;

let tabledessymboles= {
	table=Array.make tablemax entreevide;
	tailletable=0}
;;
	
let nouvelle_entree symbole definition=
	let n=tabledessymboles.tailletable in
	if n=tablemax
	then failwith "la table est pleine"
	else begin
		tabledessymboles.tailletable<-(n+1);
		tabledessymboles.table.(n)<-{symbole=symbole;definition=definition};
	       end
;;

nouvelle_entree "Info" "Informatique";;

nouvelle_entree "Permute" "$2$1";;


let estdanstable s=
	let trouve=ref false and k=ref (-1) in
	while ((not !trouve) & (!k<tabledessymboles.tailletable-1)) do
		incr k;trouve:=(s=tabledessymboles.table.(!k).symbole)
	done;
	!trouve
;;

let defdanstable s=
	let trouve=ref false and k=ref (-1) in
	while ((not !trouve) & (!k<tabledessymboles.tailletable-1))
	do  	incr k;
		trouve:=(s=tabledessymboles.table.(!k).symbole)	;
	done;
	if !trouve
	then tabledessymboles.table.(!k).definition
	else failwith "symbole inconnu de la tds"
;;

(* programmation de la recherche dichotomique dans un tableau trié *)
let cherchedicho ordre tableau element=
	let rec souscherche min max=
	if max<=min+1
	then let p=tableau.(min) and g=tableau.(max) in
		if (element = p)
		then 	begin print_string"trouvé: ";print_int min end
		else	if (element=g)
			then begin print_string"trouvé: ";print_int max end
			else print_string"perdu "
	else let milieu=(min+max)/2 in
		if ordre tableau.(milieu) element
		then souscherche milieu max
		else souscherche min (milieu-1)
	in souscherche 0 (Array.length tableau -1)
;;
	
open Sort;;

(* j'avais d'abord mis lt_string comme ordre, et bien entendu on n'y voyait plus rien, toutes les entrées vide étaient au début *)
let tritable=
	let atrier=tabledessymboles.table
	and monordre u v= gt_string u.symbole v.symbole
in array atrier;;

(* 
il reste à 
1°) recopier triTable dans TableDesSymboles.Table, 
2°) définir "avant=gt_string"
3°) recopier defDansTable et estDansTable en defDansTabledicho s et idem 
*)