matita/matita/contribs/lambdadelta/bin/recomm/recommOutput.ml

   1 module ET = RecommTypes
   2
   3 let width = ref 78
   4
   5 let complete s =
   6   let l = !width - String.length s - 6 in
   7   if l < 0 then begin
   8     Printf.eprintf "overfull: %S\n" s;
   9     ""
  10   end else begin
  11     String.make l '*'
  12   end
  13
  14 let out_src och = function
  15   | ET.Line s             ->
  16     Printf.fprintf och "%s" s
  17   | ET.Text s             ->
  18     Printf.fprintf och "%s" s
  19   | ET.Mark s             ->
  20     Printf.fprintf och "(* %s**)" s
  21   | ET.Key (s1, s2)       ->
  22     Printf.fprintf och "(* %s1%s2*)" s1 s2
  23   | ET.Title ss           ->
  24     let s = String.concat " " ss in
  25     Printf.fprintf och "(* %s %s*)" s (complete s)
  26   | ET.Slice ss           ->
  27     let s = String.capitalize_ascii (String.concat " " ss) in
  28     Printf.fprintf och "(* %s %s*)" s (complete s)
  29   | ET.Other (s1, s2, s3) ->
  30     Printf.fprintf och "%s%s%s" s1 s2 s3
  31
  32 let write_srcs file srcs =
  33   let och = open_out (file ^ ".new") in
  34   List.iter (out_src och) srcs;
  35   close_out och