]> matita.cs.unibo.it Git - helm.git/blob - helm/hxp/hxpLexer.mll
Dead code removed.
[helm.git] / helm / hxp / hxpLexer.mll
1 (* Copyright (C) 2000, HELM Team.
2  * 
3  * This file is part of HELM, an Hypertextual, Electronic
4  * Library of Mathematics, developed at the Computer Science
5  * Department, University of Bologna, Italy.
6  * 
7  * HELM is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  * 
12  * HELM is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with HELM; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
20  * MA  02111-1307, USA.
21  * 
22  * For details, see the HELM World-Wide-Web page,
23  * http://www.cs.unibo.it/helm/.
24  *)
25
26 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
27  *)
28
29
30    open HxpParser
31 }
32
33 let SPC   = [' ' '\t' '\n' '\r' '?' '!']+
34 let ALPHA = ['A'-'Z' 'a'-'z']+
35 let STR   = '"'[^'"']*'"' 
36 let NUM   = ['0'-'9' '.']+
37 let BEF   = [^ '=' '0'-'9' '.' ':' '*']*
38
39 rule xml_token = parse
40    | SPC       { xml_token lexbuf }
41    | '<'       { OPEN }
42    | '>'       { CLOSE }
43    | '='       { EQ }
44    | '/'       { SL }
45    | ALPHA     { NAME (Lexing.lexeme lexbuf) }
46    | STR       { VAL (Lexing.lexeme lexbuf) }
47    | eof       { DONE }
48    
49 and time_token = parse
50    | BEF       { time_token lexbuf }
51    | NUM       { DATA (float_of_string (Lexing.lexeme lexbuf)) }
52    | '='       { EQ }
53    | ':'       { CLN }
54    | _         { DONE }
55    | eof       { DONE }
56