Mercurial > octave-nkf
annotate libinterp/corefcn/oct-tex-parser.in.yy @ 20573:e3c0fee87493
style fixes for tex lexer and parser
* oct-tex-lexer.in.ll, oct-tex-parser.in.yy:
Eliminate tabs and reindent.
author | John W. Eaton <jwe@octave.org> |
---|---|
date | Fri, 02 Oct 2015 12:25:39 -0400 |
parents | a941a65c7cb8 |
children |
rev | line source |
---|---|
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
1 /* |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
2 |
19731
4197fc428c7d
maint: Update copyright notices for 2015.
John W. Eaton <jwe@octave.org>
parents:
19627
diff
changeset
|
3 Copyright (C) 2013-2015 Michael Goffioul |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
4 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
5 This file is part of Octave. |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
6 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
7 Octave is free software; you can redistribute it and/or modify it |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
8 under the terms of the GNU General Public License as published by the |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
9 Free Software Foundation; either version 3 of the License, or (at your |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
10 option) any later version. |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
11 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
12 Octave is distributed in the hope that it will be useful, but WITHOUT |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
15 for more details. |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
16 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
17 You should have received a copy of the GNU General Public License |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
18 along with Octave; see the file COPYING. If not, see |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
19 <http://www.gnu.org/licenses/>. |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
20 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
21 */ |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
22 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
23 %{ |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
24 |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
25 #define YYDEBUG 1 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
26 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
27 #ifdef HAVE_CONFIG_H |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
28 #include <config.h> |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
29 #endif |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
30 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
31 #include "txt-eng.h" |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
32 #include "oct-tex-parser.h" |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
33 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
34 extern int octave_tex_lex (YYSTYPE *, void *); |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
35 static void yyerror (text_parser_tex& parser, const char *s); |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
36 |
17634
bdbf91c0a1a4
avoid warnings about symbols without gnulib:: namespace tag
John W. Eaton <jwe@octave.org>
parents:
17327
diff
changeset
|
37 #if defined (GNULIB_NAMESPACE) |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
38 // Calls to the following functions appear in the generated output |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
39 // from Bison without the namespace tag. Redefine them so we will use |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
40 // them via the gnulib namespace. |
17634
bdbf91c0a1a4
avoid warnings about symbols without gnulib:: namespace tag
John W. Eaton <jwe@octave.org>
parents:
17327
diff
changeset
|
41 #define fclose GNULIB_NAMESPACE::fclose |
bdbf91c0a1a4
avoid warnings about symbols without gnulib:: namespace tag
John W. Eaton <jwe@octave.org>
parents:
17327
diff
changeset
|
42 #define fprintf GNULIB_NAMESPACE::fprintf |
bdbf91c0a1a4
avoid warnings about symbols without gnulib:: namespace tag
John W. Eaton <jwe@octave.org>
parents:
17327
diff
changeset
|
43 #define malloc GNULIB_NAMESPACE::malloc |
bdbf91c0a1a4
avoid warnings about symbols without gnulib:: namespace tag
John W. Eaton <jwe@octave.org>
parents:
17327
diff
changeset
|
44 #endif |
bdbf91c0a1a4
avoid warnings about symbols without gnulib:: namespace tag
John W. Eaton <jwe@octave.org>
parents:
17327
diff
changeset
|
45 |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
46 #define scanner parser.get_scanner () |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
47 |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
48 %} |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
49 |
19809
a941a65c7cb8
handle bison syntax changes in TeX parser
John W. Eaton <jwe@octave.org>
parents:
19731
diff
changeset
|
50 %API_PREFIX_DECL% |
a941a65c7cb8
handle bison syntax changes in TeX parser
John W. Eaton <jwe@octave.org>
parents:
19731
diff
changeset
|
51 |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
52 %define api.pure |
19627
446c46af4b42
strip trailing whitespace from most source files
John W. Eaton <jwe@octave.org>
parents:
17634
diff
changeset
|
53 %parse-param { text_parser_tex& parser } |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
54 %lex-param { void *scanner } |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
55 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
56 %code requires {#include <string>} |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
57 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
58 %union |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
59 { |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
60 // Leaf symbols produced by the scanner. |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
61 char ch; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
62 double num; |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
63 int sym; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
64 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
65 // Used for string buffering. |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
66 std::string* str; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
67 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
68 // Objects produced by the parser. |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
69 text_element* e_base; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
70 text_element_list* e_list; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
71 } |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
72 |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
73 %token BF IT SL RM |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
74 %token FONTNAME FONTSIZE |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
75 %token COLOR COLOR_RGB |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
76 %token START END SUPER SUB |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
77 %token<ch> CH |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
78 %token<num> NUM |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
79 %token<sym> SYM |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
80 |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
81 %type<str> simple_string |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
82 %type<e_base> string_element symbol_element |
17274
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
83 %type<e_base> superscript_element subscript_element combined_script_element |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
84 %type<e_base> font_modifier_element fontname_element fontsize_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
85 %type<e_base> color_element |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
86 %type<e_list> string_element_list scoped_string_element_list |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
87 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
88 // Make sure there's no memory leak on parse error. |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
89 %destructor { } <ch> <num> <sym> |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
90 %destructor { delete $$; } <*> |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
91 |
17274
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
92 %nonassoc SCRIPT |
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
93 %nonassoc SUB SUPER |
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
94 |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
95 %nonassoc STR |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
96 %nonassoc CH |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
97 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
98 %start string |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
99 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
100 %% |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
101 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
102 simple_string : CH |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
103 { $$ = new std::string (1, $1); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
104 | simple_string CH |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
105 { $1->append (1, $2); $$ = $1; } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
106 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
107 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
108 symbol_element : SYM |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
109 { $$ = new text_element_symbol ($1); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
110 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
111 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
112 font_modifier_element : BF |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
113 { $$ = new text_element_fontstyle (text_element_fontstyle::bold); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
114 | IT |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
115 { $$ = new text_element_fontstyle (text_element_fontstyle::italic); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
116 | SL |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
117 { $$ = new text_element_fontstyle (text_element_fontstyle::oblique); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
118 | RM |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
119 { $$ = new text_element_fontstyle (text_element_fontstyle::normal); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
120 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
121 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
122 fontsize_element : FONTSIZE START NUM END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
123 { $$ = new text_element_fontsize ($3); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
124 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
125 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
126 fontname_element : FONTNAME START simple_string END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
127 { |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
128 $$ = new text_element_fontname (*$3); |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
129 delete $3; |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
130 } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
131 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
132 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
133 color_element : COLOR START simple_string END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
134 { |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
135 $$ = new text_element_color (*$3); |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
136 delete $3; |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
137 } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
138 | COLOR_RGB START NUM NUM NUM END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
139 { |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
140 $$ = new text_element_color ($3, $4, $5); |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
141 } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
142 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
143 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
144 string_element : simple_string %prec STR |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
145 { |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
146 $$ = new text_element_string (*$1); |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
147 delete $1; |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
148 } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
149 | scoped_string_element_list |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
150 { $$ = $1; } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
151 | symbol_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
152 | font_modifier_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
153 | fontsize_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
154 | fontname_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
155 | color_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
156 | superscript_element %prec SCRIPT |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
157 | subscript_element %prec SCRIPT |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
158 | combined_script_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
159 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
160 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
161 superscript_element : SUPER CH |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
162 { $$ = new text_element_superscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
163 | SUPER scoped_string_element_list |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
164 { $$ = new text_element_superscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
165 | SUPER symbol_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
166 { $$ = new text_element_superscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
167 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
168 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
169 subscript_element : SUB CH |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
170 { $$ = new text_element_subscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
171 | SUB scoped_string_element_list |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
172 { $$ = new text_element_subscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
173 | SUB symbol_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
174 { $$ = new text_element_subscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
175 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
176 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
177 combined_script_element : subscript_element superscript_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
178 { $$ = new text_element_combined ($1, $2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
179 | superscript_element subscript_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
180 { $$ = new text_element_combined ($1, $2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
181 ; |
17274
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
182 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
183 string_element_list : string_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
184 { $$ = new text_element_list ($1); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
185 | string_element_list string_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
186 { $1->push_back ($2); $$ = $1; } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
187 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
188 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
189 scoped_string_element_list : START string_element_list END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
190 { $$ = $2; } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
191 | START END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
192 { $$ = new text_element_list (); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
193 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
194 |
20573
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
195 string : // empty |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
196 { parser.set_parse_result (new text_element_string ("")); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
197 | string_element_list |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
198 { parser.set_parse_result ($1); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19809
diff
changeset
|
199 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
200 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
201 %% |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
202 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
203 text_element* |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
204 text_parser_tex::parse (const std::string& s) |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
205 { |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
206 octave_tex_debug = 0; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
207 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
208 if (init_lexer (s)) |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
209 { |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
210 result = 0; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
211 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
212 if (octave_tex_parse (*this) == 0) |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
213 return result; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
214 } |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
215 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
216 return new text_element_string (s); |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
217 } |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
218 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
219 static void |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
220 yyerror (text_parser_tex&, const char *s) |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
221 { |
17272
8ce6cdd272eb
Support TeX elements in FreeType renderer.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17269
diff
changeset
|
222 fprintf (stderr, "TeX parse error: %s\n", s); |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
223 } |