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
103
104
105
106
107
108
109
110
111
|
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet PARA, INRIA Rocquencourt *)
(* *)
(* Copyright 1998 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
{
open Lexing
let header = "$Id: entry.mll,v 1.12 2001/12/19 15:14:33 maranget Exp $"
let buff = Out.create_buff ()
;;
let put s =
Out.put buff s
and put_char c =
Out.put_char buff c
;;
type res =
| Bang of string * string
| Bar of string * string
| Eof of string * string
;;
let extend r i = match r with
| Bang (p,_) -> Bang (i,p)
| Bar (p,_) -> Bar (i,p)
| Eof (p,_) -> Eof (i,p)
;;
type key = string list * string list
exception Fini
exception NoGood
;;
}
rule entry = parse
| "\\\""
{put "\\\"" ; entry lexbuf}
| "\"!"
{put_char '!' ; entry lexbuf}
| "\"@"
{put_char '@' ; entry lexbuf}
| "\"|"
{put_char '|' ; entry lexbuf}
| '!' {Bang (Out.to_string buff,"")}
| '@' {let s = Out.to_string buff in
let r = entry lexbuf in
extend r s}
| '|' {Bar (Out.to_string buff,"")}
| eof {Eof (Out.to_string buff,"")}
| _
{let lxm = lexeme_char lexbuf 0 in put_char lxm ; entry lexbuf}
and idx = parse
| "\\indexentry"
{let key = Save.arg lexbuf in
let value = Save.arg lexbuf in
key,value}
| eof {raise Fini}
| _ {idx lexbuf}
{
let read_key lexbuf =
let bar () = match entry lexbuf with
| Eof (s,_) ->
begin match s with
| ""|"("|")" -> None
| s ->
if s.[0] = '(' then
Some (String.sub s 1 (String.length s - 1))
else
Some s
end
| _ -> raise NoGood in
let rec get_rec () = match entry lexbuf with
Bang (i,p) ->
let l,see = get_rec () in
(i,p)::l,see
| Bar (i,p) ->
let see = bar () in
[i,p],see
| Eof (i,p) -> [i,p],None in
let separe (l,see) =
let rec sep_rec = function
[] -> [],[]
| (x,y)::r ->
if x="" then raise NoGood ;
let xs,ys = sep_rec r in
x::xs,y::ys in
let xs,ys = sep_rec l in
((xs,ys),see) in
separe (get_rec ())
let read_indexentry lexbuf = idx lexbuf
}
|
