2 * ----------------------------------------------------------------------
10 rule scan_file = parse
11 "/*" [^ '*']* ('*'+ [^ '/' '*'] [^ '*']* )* '*'* "*/"
15 | "<" [' ' '\t' '\r' '\n']* ">"
18 | [ 'a'-'z' ] [ 'a'-'z' 'A'-'Z' '0'-'9' '_' ]*
19 { let s = Lexing.lexeme lexbuf in
22 | [ 'A'-'Z' ] [ 'a'-'z' 'A'-'Z' '0'-'9' '_' ]*
23 { let s = Lexing.lexeme lexbuf in
40 | "{{" [^ '}']* ( '}' [^ '}']+ )* "}}"
41 { let s = Lexing.lexeme lexbuf in
42 Code (String.sub s 2 (String.length s - 4), 0, 0)
52 | [' ' '\t' '\r' '\n']+
59 and scan_header = parse
65 { Code(Lexing.lexeme lexbuf, 0, 0) }
71 { Code(Lexing.lexeme lexbuf, 0, 0) }
75 (* ======================================================================
79 * Revision 1.1 2000/11/17 09:57:32 lpadovan
82 * Revision 1.3 2000/05/09 00:03:22 gerd
83 * Added [ ml_name ] symbols, where ml_name is an arbitrary
86 * Revision 1.2 2000/05/06 21:51:24 gerd
89 * Revision 1.1 2000/05/06 17:36:17 gerd