helm/www/lambdadelta/bin/xhtbl/textLexer.mll

   1 {
   2    module S  = String
   3
   4    module O  = Options
   5    module TP = TextParser
   6
   7    let out s = if !O.debug_lexer then prerr_endline s
   8 }
   9
  10 let SPC = ['\r' '\n' '\t' ' ']+
  11 let QT  = "\""
  12 let NUM = ['0'-'9']+
  13
  14 rule token = parse
  15    | SPC      { token lexbuf                    }
  16    | QT       { let s = str lexbuf in
  17                 out s; TP.TEXT s                }
  18    | NUM as s { out s; TP.NUM (int_of_string s) }
  19    | "{"      { out "{"; TP.OC                  }
  20    | "}"      { out "}"; TP.CC                  }
  21    | "["      { out "["; TP.OB                  }
  22    | "]"      { out "]"; TP.CB                  }
  23    | "*"      { out "*"; TP.SR                  }
  24    | "+"      { out "+"; TP.PS                  }
  25    | "name"   { out "name"; TP.NAME             }
  26    | "table"  { out "table"; TP.TABLE           }
  27    | "class"  { out "class"; TP.CSS             }
  28    | "(*"     { block lexbuf; token lexbuf      }
  29    | eof      { TP.EOF                          }
  30 and str = parse
  31    | QT       { ""                              }
  32    | "\\\""   { "\"" ^ str lexbuf               }
  33    | _ as c   { S.make 1 c ^ str lexbuf         }
  34 and block = parse
  35    | "*)"     { ()                              }
  36    | "(*"     { block lexbuf; block lexbuf      }
  37    | QT       { let _ = str lexbuf in
  38                 block lexbuf                    }
  39    | _        { block lexbuf                    }