blob: b0570f783251bb2eb71b965f4d83aa4f8c57a690 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
{
(***********************************************************************)
(* OCamldoc *)
(* *)
(* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2001 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(* $Id$ *)
let print_DEBUG2 s = print_string s ; print_newline ()
(** the lexer for special comments. *)
open Lexing
open Odoc_parser
let buf = Buffer.create 32
}
rule main = parse
[' ' '\013' '\009' '\012'] +
{
print_DEBUG2 "[' ' '\013' '\009' '\012'] +";
main lexbuf
}
| [ '\010' ]
{
print_DEBUG2 " [ '\010' ] ";
main lexbuf
}
| "<"
{
print_DEBUG2 "call url lexbuf" ;
url lexbuf
}
| "\""
{
print_DEBUG2 "call doc lexbuf" ;
doc lexbuf
}
| '\''
{
print_DEBUG2 "call file lexbuf" ;
file lexbuf
}
| eof
{
print_DEBUG2 "EOF";
EOF
}
| _
{
Buffer.reset buf ;
Buffer.add_string buf (Lexing.lexeme lexbuf);
desc lexbuf
}
and url = parse
| ([^'>'] | '\n')+">"
{
let s = Lexing.lexeme lexbuf in
print_DEBUG2 ("([^'>'] | '\n')+ \">\" with "^s) ;
See_url (String.sub s 0 ((String.length s) -1))
}
and doc = parse
| ([^'"'] | '\n' | "\\'")* "\""
{
let s = Lexing.lexeme lexbuf in
See_doc (String.sub s 0 ((String.length s) -1))
}
and file = parse
| ([^'\''] | '\n' | "\\\"")* "'"
{
let s = Lexing.lexeme lexbuf in
See_file (String.sub s 0 ((String.length s) -1))
}
and desc = parse
eof
{ Desc (Buffer.contents buf) }
| _
{
Buffer.add_string buf (Lexing.lexeme lexbuf);
desc lexbuf
}
|
