X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fdumpfiles.ml;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fdumpfiles.ml;h=d5f9e50718dc9f6dbb1e5ab93f18b023bb884e44;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/rtests/dumpfiles.ml b/helm/DEVEL/pxp/pxp/rtests/dumpfiles.ml
new file mode 100644
index 000000000..d5f9e5071
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/dumpfiles.ml
@@ -0,0 +1,56 @@
+
+
+let dump_file name =
+  let ch = open_in_bin name in
+  let len = in_channel_length ch in
+  let sin = String.create len in
+  really_input ch sin 0 len;
+  close_in ch;
+
+  Printf.printf "\\noindent\\begin{minipage}{5.5cm}\n";
+  (* Printf.printf "\\rule{5.5cm}{1pt}\n"; *)
+  Printf.printf "\\footnotesize\\bf File %s:\\\\\n" name;
+  Printf.printf "\\tt{}";
+  
+  for i = 0 to len - 1 do
+    match sin.[i] with
+	('\000'..'\008'|'\011'|'\012'|'\014'..'\031'|'\127'..'\255') as c ->
+	  Printf.printf "{\\sl (%02x)}\\linebreak[2]" (Char.code c)
+      | '\009' ->
+	  Printf.printf "{\\sl HT}\\linebreak[3]"
+      | '\010' ->
+	  Printf.printf "{\\sl LF}\\\\\n"
+      | '\013' ->
+	  Printf.printf "{\\sl CR}";
+	  if not(i < len - 1 && sin.[i+1] = '\010') then
+	    Printf.printf "\\\\\n";
+      | ' ' ->
+	  Printf.printf "\\symbol{32}\\linebreak[3]"
+
+      | ('"'|'#'|'$'|'%'|'&'|'-'|'<'|'>'|'['|'\\'|']'|'^'|'_'|'`'|
+	 '{'|'|'|'}'|'~') as c ->
+	  Printf.printf "\\symbol{%d}\\linebreak[2]" (Char.code c)
+      | c ->
+	  print_char c;
+	  print_string "\\linebreak[0]"
+  done;
+
+  Printf.printf "\\mbox{}\\\\\n";
+  Printf.printf "\\rule{5.5cm}{1pt}\n";
+  Printf.printf "\\end{minipage}\n"
+;;
+
+
+print_endline "\\documentclass[a4paper]{article}";
+print_endline "\\usepackage{multicol}";
+print_endline "\\begin{document}";
+print_endline "\\begin{multicols}{2}";
+for i = 1 to Array.length(Sys.argv)-1 do
+  dump_file Sys.argv.(i)
+done;
+print_endline "\\end{multicols}";
+print_endline "\\end{document}"
+;;
+
+
+