forked from backtracking/bibtex2html
-
Notifications
You must be signed in to change notification settings - Fork 0
/
bibtex_parser.mly
110 lines (96 loc) · 3.08 KB
/
bibtex_parser.mly
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
/**************************************************************************/
/* bibtex2html - A BibTeX to HTML translator */
/* Copyright (C) 1997-2014 Jean-Christophe Filliâtre and Claude Marché */
/* */
/* This software is free software; you can redistribute it and/or */
/* modify it under the terms of the GNU General Public */
/* License version 2, as published by the Free Software Foundation. */
/* */
/* This software is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. */
/* */
/* See the GNU General Public License version 2 for more details */
/* (enclosed in the file GPL). */
/**************************************************************************/
/*
* bibtex2html - A BibTeX to HTML translator
* Copyright (C) 1997 Jean-Christophe FILLIATRE
*
* This software is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public
* License version 2, as published by the Free Software Foundation.
*
* This software is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
*
* See the GNU General Public License version 2 for more details
* (enclosed in the file GPL).
*/
/*i $Id: bibtex_parser.mly,v 1.15 2010-02-22 07:38:19 filliatr Exp $ i*/
/*s Parser for BibTeX files. */
%{
open Bibtex
%}
%token <string> Tident Tstring Tcomment
%token <string * string> Tentry
%token Tabbrev Tpreamble Tlbrace Trbrace Tcomma Tequal EOF Tsharp
%start command_list
%type <Bibtex.biblio> command_list
%start command
%type <Bibtex.command> command
%%
command_list:
commands EOF { $1 }
;
commands:
commands command
{ add_new_entry $2 $1 }
| /* epsilon */
{ empty_biblio }
;
command:
Tcomment
{ Comment $1 }
| Tpreamble sharp_string_list Trbrace
{ Preamble $2 }
| Tabbrev Tident Tequal sharp_string_list Trbrace
{ Abbrev (String.lowercase_ascii $2,$4) }
| entry Tcomma comma_field_list Trbrace
{ let et,key = $1 in Entry (String.lowercase_ascii et, key, $3) }
;
entry:
| Tentry
{ let et,key = $1 in Bibtex.current_key := key; (et,key) }
comma_field_list:
field Tcomma comma_field_list
{ $1::$3 }
| field
{ [$1] }
| field Tcomma
{ [$1] }
;
field:
field_name Tequal sharp_string_list
{ ($1,$3) }
| field_name Tequal
{ ($1,[String ""]) }
;
field_name:
Tident { String.lowercase_ascii $1 }
| Tcomment { "comment" }
;
sharp_string_list:
atom Tsharp sharp_string_list
{ $1::$3 }
| atom
{ [$1] }
;
atom:
Tident
{ Id (String.lowercase_ascii $1) }
| Tstring
{ String $1 }
;
%%