X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=html_header.ml;fp=html_header.ml;h=0000000000000000000000000000000000000000;hb=451e60ad59e35344dff62da5ca27fcd5eec1bff9;hp=f2b1a8e29d905a18f7c8eea293fff63283d9f02c;hpb=b82be3bb29963ce00218ccc59e1622e284145351;p=SXSI%2Fxpathcomp.git
diff --git a/html_header.ml b/html_header.ml
deleted file mode 100644
index f2b1a8e..0000000
--- a/html_header.ml
+++ /dev/null
@@ -1,211 +0,0 @@
-let html_header = format_of_string
- "
-
-
-
-
-
-
-
-
-"
-let html_footer = "
-
-"
- let h_trace = Hashtbl.create 4096
- let register_trace t x = Hashtbl.add h_trace (Tree.id t) x
-
-
- let output_trace a t file results =
- let h_auto = 6+ (Hashtbl.fold (fun _ l a -> (List.length l)+a) a.phi 0) in
- let max_tt = ref 0 in
- let outc = open_out file in
- let outf = Format.formatter_of_out_channel outc in
- let strf = Format.str_formatter in
- let pr_str x = Format.fprintf strf x in
- let pr_out x = Format.fprintf outf x in
- let rec loop t =
- if not (Tree.is_nil t) then
- let tooltip,selected = try
- let (inconf,outconf,leftres,rightres,trans) = Hashtbl.find h_trace (Tree.id t) in
- let selected = IntSet.mem (Tree.id t) results in
- pr_str "Subtree %i, tag='%s', internal node = %s\nEntered with configuration:\n"
- (Tree.id t) (Tree.id t) (Tag.to_string (Tree.tag t)) (Tree.dump_node t);
- iter_pl (fun s -> pr_st strf (Ptset.elements s)) inconf;
- pr_str "%s" "\nLeft with configuration:\n";
- iter_pl (fun s -> pr_st strf (Ptset.elements s)) outconf;
- pr_str "%s" "\nAccept states for left child:\n";
- iter_pl (fun s -> pr_st strf (Ptset.elements s)) leftres;
- pr_str "%s" "\nAccept states for right child:\n";
- iter_pl (fun s -> pr_st strf (Ptset.elements s)) rightres;
- pr_str "%s" "\nTriggered transitions:\n";
- pr_str "%s" "";
- List.iter (fun fl ->
- pr_str "%s" "";pr_frmlst strf fl;pr_str " | ";
- max_tt := max !max_tt (form_list_length fl);
- ) trans;
- pr_str "%s" " \n";
- pr_str "In result set : %s\n |
" (if selected then "Yes" else "No");
- Format.flush_str_formatter(),selected
- with
- Not_found -> "",false
- in
- let tag = Tree.tag t in
- let div_class = (if (tooltip = "") then "skipped" else (if selected then "selected" else "touched"))^
- (if tag == Tag.pcdata then "_text" else"")
- in
- if tag == Tag.pcdata then
- pr_out "%s%s
"div_class (Tree.get_text t) tooltip
- else begin
- if (Tree.is_nil (Tree.first_child t))
- then
- pr_out "<%s/>%s
"
- div_class (Tree.id t) (Tree.id t) (Tag.to_string tag) tooltip
- else begin
- pr_out "<%s>%s
"
- div_class (Tree.id t) (Tree.id t) (Tag.to_string tag) tooltip;
- loop (Tree.first_child t);
- pr_out " </%s>
" div_class (Tag.to_string tag);
- end;
- end;
- loop (Tree.next_sibling t);
- in
- let max_tt = 25*(!max_tt + 12)+20 in
- let height = max max_tt (25*h_auto) in
- pr_out html_header height height height height;
- pr_out "%s" "";
- pr_out "%s" "";
- loop t;
- pr_out "%s" html_footer;
- pr_out "%!";
- close_out outc