lenses/wine.aug

   1 (* Lens for the textual representation of Windows registry files, as used *)
   2 (* by wine etc.                                                           *)
   3 (* This is pretty quick and dirty, as it doesn't put a lot of finesse on  *)
   4 (* splitting up values that have structure, e.g. hex arrays or            *)
   5 (* collections of paths.                                                  *)
   6 module Wine =
   7
   8 (* We handle Unix and DOS line endings, though we can only add one or the *)
   9 (* other to new lines. Maybe provide a function to gather that from the   *)
  10 (* current file ?                                                         *)
  11 let eol = del /[ \t]*\r?\n/ "\n"
  12 let comment = [ label "#comment" . del /[ \t]*;;[ \t]*/ ";; "
  13                          . store /([^ \t\r\n].*[^ \t\r\n]|[^ \t\r\n])/ . eol ]
  14 let empty = [ eol ]
  15 let dels = Util.del_str
  16 let del_ws = Util.del_ws_spc
  17
  18 let header =
  19   [ label "registry" . store /[a-zA-Z0-9 \t]*[a-zA-Z0-9]/ ] .
  20     del /[ \t]*Version[ \t]*/ " Version " .
  21   [ label "version" . store /[0-9.]+/ ] . eol
  22
  23 let qstr =
  24   let re = /([^"\n]|\\\\.)*/ - /@|"@"/ in    (* " Relax, emacs *)
  25     dels "\"" . store re . dels "\""
  26
  27 let typed_val =
  28   ([ label "type" . store /dword|hex(\\([0-9]+\\))?/ ] . dels ":" .
  29     [ label "value" . store /[a-zA-Z0-9,()]+(\\\\\r?\n[ \t]*[a-zA-Z0-9,]+)*/])
  30   |([ label "type" . store /str\\([0-9]+\\)/ ] . dels ":" .
  31       dels "\"" . [ label "value" . store /[^"\n]*/ ] . dels "\"")   (* " Relax, emacs *)
  32
  33 let entry =
  34   let qkey = [ label "key" . qstr ] in
  35   let eq = del /[ \t]*=[ \t]*/ "=" in
  36   let qstore = [ label "value" . qstr ] in
  37   [ label "entry" . qkey . eq . (qstore|typed_val) . eol ]
  38   |[label "anon" . del /"?@"?/ "@" . eq . (qstore|typed_val) .eol ]
  39
  40 let section =
  41   let ts = [ label "timestamp" . store Rx.integer ] in
  42   [ label "section" . del /[ \t]*\\[/ "[" .
  43     store /[^]\n]+/ . dels "]" . (del_ws . ts)? . eol .
  44     (entry|empty|comment)* ]
  45
  46 let lns = header . (empty|comment)* . section*