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 $2,$4) }
| entry Tcomma comma_field_list Trbrace
{ let et,key = $1 in Entry (String.lowercase 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 $1 }
| Tcomment { "comment" }
;
sharp_string_list:
atom Tsharp sharp_string_list
{ $1::$3 }
| atom
{ [$1] }
;
atom:
Tident
{ Id (String.lowercase $1) }
| Tstring
{ String $1 }
;
%%
|