Blame lenses/csv.aug

Packit Service a2ae7a
(*
Packit Service a2ae7a
Module: CSV
Packit Service a2ae7a
  Generic CSV lens collection
Packit Service a2ae7a
Packit Service a2ae7a
Author: Raphael Pinson <raphael.pinson@camptocamp.com>
Packit Service a2ae7a
Packit Service a2ae7a
About: Reference
Packit Service a2ae7a
  https://tools.ietf.org/html/rfc4180
Packit Service a2ae7a
Packit Service a2ae7a
About: License
Packit Service a2ae7a
   This file is licenced under the LGPL v2+, like the rest of Augeas.
Packit Service a2ae7a
Packit Service a2ae7a
About: Lens Usage
Packit Service a2ae7a
   To be documented
Packit Service a2ae7a
Packit Service a2ae7a
About: Configuration files
Packit Service a2ae7a
Packit Service a2ae7a
About: Examples
Packit Service a2ae7a
   The <Test_CSV> file contains various examples and tests.
Packit Service a2ae7a
Packit Service a2ae7a
Caveats:
Packit Service a2ae7a
   No support for files without an ending CRLF
Packit Service a2ae7a
*)
Packit Service a2ae7a
module CSV =
Packit Service a2ae7a
Packit Service a2ae7a
(* View: eol *)
Packit Service a2ae7a
let eol = Util.del_str "\n"
Packit Service a2ae7a
Packit Service a2ae7a
(* View: comment *)
Packit Service a2ae7a
let comment = Util.comment
Packit Service a2ae7a
            | [ del /#[ \t]*\r?\n/ "#\n" ]
Packit Service a2ae7a
Packit Service a2ae7a
(* View: entry
Packit Service a2ae7a
     An entry of fields, quoted or not *)
Packit Service a2ae7a
let entry (sep_str:string) =
Packit Service a2ae7a
  let field = [ seq "field" . store (/[^"#\r\n]/ - sep_str)* ]
Packit Service a2ae7a
            | [ seq "field" . store /("[^"#]*")+/ ]
Packit Service a2ae7a
  in let sep = Util.del_str sep_str
Packit Service a2ae7a
  in [ seq "entry" . counter "field" . Build.opt_list field sep . eol ]
Packit Service a2ae7a
Packit Service a2ae7a
(* View: lns
Packit Service a2ae7a
     The generic lens, taking the separator as a parameter *)
Packit Service a2ae7a
let lns_generic (sep:string) = (comment | entry sep)*
Packit Service a2ae7a
Packit Service a2ae7a
(* View: lns
Packit Service a2ae7a
     The comma-separated value lens *)
Packit Service a2ae7a
let lns = lns_generic ","
Packit Service a2ae7a
Packit Service a2ae7a
(* View: lns_semicol
Packit Service a2ae7a
     A semicolon-separated value lens *)
Packit Service a2ae7a
let lns_semicol = lns_generic ";"