Mercurial > octave

annotate libinterp/corefcn/oct-tex-parser.yy @ 25640:7aaf091d39fc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
one more fix for parser change... Doh! * oct-tex-parser.yy, oct-parse.yy: Define api.prefix without spaces inside braces. * oct-parse.yy: Restore api.push-pull declaration.
author John W. Eaton <jwe@octave.org>
date Wed, 18 Jul 2018 15:35:51 -0400
parents e1c3d1c6e896
children afb5288a25ad
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
25054
6652d3823428 maint: Update copyright dates in all source files.
John W. Eaton <jwe@octave.org>
parents: 24534
diff changeset
3 Copyright (C) 2013-2018 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
24534
194eb4bd202b maint: Update punctuation for GPL v3 license text.
Rik <rik@octave.org>
parents: 24444
diff changeset
7 Octave is free software: you can redistribute it and/or modify it
22755
3a2b891d0b33 maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents: 22323
diff changeset
8 under the terms of the GNU General Public License as published by
24534
194eb4bd202b maint: Update punctuation for GPL v3 license text.
Rik <rik@octave.org>
parents: 24444
diff changeset
9 the Free Software Foundation, either version 3 of the License, or
22755
3a2b891d0b33 maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents: 22323
diff changeset
10 (at your option) any later version.
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
11
22755
3a2b891d0b33 maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents: 22323
diff changeset
12 Octave is distributed in the hope that it will be useful, but
3a2b891d0b33 maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents: 22323
diff changeset
13 WITHOUT ANY WARRANTY; without even the implied warranty of
3a2b891d0b33 maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents: 22323
diff changeset
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
3a2b891d0b33 maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents: 22323
diff changeset
15 GNU General Public License for more details.
17269
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
24534
194eb4bd202b maint: Update punctuation for GPL v3 license text.
Rik <rik@octave.org>
parents: 24444
diff changeset
19 <https://www.gnu.org/licenses/>.
17269
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 %{
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
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
21724
aba2e6293dd8 use "#if ..." consistently instead of "#ifdef" and "#ifndef"
John W. Eaton <jwe@octave.org>
parents: 21301
diff changeset
27 #if defined (HAVE_CONFIG_H)
22003
2d3972b802ff use consistent style for including config.h in source files
John W. Eaton <jwe@octave.org>
parents: 21995
diff changeset
28 # include "config.h"
17269
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
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
37 #define scanner parser.get_scanner ()
21995
66f3c4e81721 Rename bison/flex internal symbol names to silence "one definition rule" warning
Robert Jenssen <robertjenssen@ozemail.com.au>
parents: 21942
diff changeset
38 #define yyalloc octave_tex_yyalloc
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
39
21023
ec532a439c6f rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents: 20541
diff changeset
40 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
24444
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives.
John W. Eaton <jwe@octave.org>
parents: 23795
diff changeset
41 // Disable this warning for code that is generated by Bison,
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives.
John W. Eaton <jwe@octave.org>
parents: 23795
diff changeset
42 // including grammar rules. Push the current state so we can
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives.
John W. Eaton <jwe@octave.org>
parents: 23795
diff changeset
43 // restore the warning state prior to functions we define at
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives.
John W. Eaton <jwe@octave.org>
parents: 23795
diff changeset
44 // the bottom of the file.
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives.
John W. Eaton <jwe@octave.org>
parents: 23795
diff changeset
45 # pragma GCC diagnostic push
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives.
John W. Eaton <jwe@octave.org>
parents: 23795
diff changeset
46 # pragma GCC diagnostic ignored "-Wold-style-cast"
21023
ec532a439c6f rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents: 20541
diff changeset
47 #endif
ec532a439c6f rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents: 20541
diff changeset
48
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
49 %}
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
50
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
51 %define api.pure
25640
7aaf091d39fc one more fix for parser change... Doh!
John W. Eaton <jwe@octave.org>
parents: 25637
diff changeset
52 // No spaces inside the braces for the prefix definition!
7aaf091d39fc one more fix for parser change... Doh!
John W. Eaton <jwe@octave.org>
parents: 25637
diff changeset
53 %define api.prefix {octave_tex_}
19593
446c46af4b42 strip trailing whitespace from most source files
John W. Eaton <jwe@octave.org>
parents: 17634
diff changeset
54 %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
55 %lex-param { void *scanner }
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
56
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
57 %code requires {#include <string>}
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
58
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
59 %union
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
60 {
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
61 // 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
62 char ch;
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
63 double num;
17327
fe6518a1d87c Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents: 17276
diff changeset
64 int sym;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
65
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
66 // Used for string buffering.
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
67 std::string* str;
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
68
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
69 // Objects produced by the parser.
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
70 text_element* e_base;
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
71 text_element_list* e_list;
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
72 }
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
73
17327
fe6518a1d87c Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents: 17276
diff changeset
74 %token BF IT SL RM
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
75 %token FONTNAME FONTSIZE
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
76 %token COLOR COLOR_RGB
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
77 %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
78 %token<ch> CH
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
79 %token<num> NUM
17327
fe6518a1d87c Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents: 17276
diff changeset
80 %token<sym> SYM
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
81
17327
fe6518a1d87c Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents: 17276
diff changeset
82 %type<str> simple_string
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
83 %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
84 %type<e_base> superscript_element subscript_element combined_script_element
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
85 %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: 19775
diff changeset
86 %type<e_base> color_element
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
87 %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
88
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
89 // 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
90 %destructor { } <ch> <num> <sym>
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
91 %destructor { delete $$; } <*>
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
92
17274
0a09d4b40767 Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents: 17272
diff changeset
93 %nonassoc SCRIPT
0a09d4b40767 Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents: 17272
diff changeset
94 %nonassoc SUB SUPER
0a09d4b40767 Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents: 17272
diff changeset
95
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
96 %nonassoc STR
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
97 %nonassoc CH
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
98
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
99 %start string
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 %%
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
102
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
103 simple_string : CH
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
104 { $$ = new std::string (1, $1); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
105 | simple_string CH
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
106 { $1->append (1, $2); $$ = $1; }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
107 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
108
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
109 symbol_element : SYM
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
110 { $$ = new text_element_symbol ($1); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
111 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
112
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
113 font_modifier_element : BF
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
114 { $$ = new text_element_fontstyle (text_element_fontstyle::bold); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
115 | IT
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
116 { $$ = new text_element_fontstyle (text_element_fontstyle::italic); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
117 | SL
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
118 { $$ = new text_element_fontstyle (text_element_fontstyle::oblique); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
119 | RM
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
120 { $$ = new text_element_fontstyle (text_element_fontstyle::normal); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
121 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
122
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
123 fontsize_element : FONTSIZE START NUM END
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
124 { $$ = new text_element_fontsize ($3); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
125 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
126
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
127 fontname_element : FONTNAME START simple_string END
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
128 {
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
129 $$ = new text_element_fontname (*$3);
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
130 delete $3;
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
131 }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
132 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
133
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
134 color_element : COLOR START simple_string END
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
135 {
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
136 $$ = new text_element_color (*$3);
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
137 delete $3;
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
138 }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
139 | COLOR_RGB START NUM NUM NUM END
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
140 {
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
141 $$ = new text_element_color ($3, $4, $5);
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
142 }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
143 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
144
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
145 string_element : simple_string %prec STR
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
146 {
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
147 $$ = new text_element_string (*$1);
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
148 delete $1;
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
149 }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
150 | scoped_string_element_list
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
151 { $$ = $1; }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
152 | symbol_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
153 | font_modifier_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
154 | fontsize_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
155 | fontname_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
156 | color_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
157 | superscript_element %prec SCRIPT
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
158 | subscript_element %prec SCRIPT
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
159 | combined_script_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
160 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
161
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
162 superscript_element : SUPER CH
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
163 { $$ = new text_element_superscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
164 | SUPER scoped_string_element_list
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
165 { $$ = new text_element_superscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
166 | SUPER symbol_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
167 { $$ = new text_element_superscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
168 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
169
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
170 subscript_element : SUB CH
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
171 { $$ = new text_element_subscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
172 | SUB scoped_string_element_list
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
173 { $$ = new text_element_subscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
174 | SUB symbol_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
175 { $$ = new text_element_subscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
176 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
177
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
178 combined_script_element : subscript_element superscript_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
179 { $$ = new text_element_combined ($1, $2); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
180 | superscript_element subscript_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
181 { $$ = new text_element_combined ($1, $2); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
182 ;
17274
0a09d4b40767 Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents: 17272
diff changeset
183
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
184 string_element_list : string_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
185 { $$ = new text_element_list ($1); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
186 | string_element_list string_element
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
187 { $1->push_back ($2); $$ = $1; }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
188 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
189
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
190 scoped_string_element_list : START string_element_list END
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
191 { $$ = $2; }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
192 | START END
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
193 { $$ = new text_element_list (); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
194 ;
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
195
20541
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
196 string : // empty
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
197 { parser.set_parse_result (new text_element_string ("")); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
198 | string_element_list
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
199 { parser.set_parse_result ($1); }
e3c0fee87493 style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents: 19775
diff changeset
200 ;
17269
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
21023
ec532a439c6f rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents: 20541
diff changeset
204 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
24444
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives.
John W. Eaton <jwe@octave.org>
parents: 23795
diff changeset
205 // Restore prevailing warning state for remainder of the file.
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives.
John W. Eaton <jwe@octave.org>
parents: 23795
diff changeset
206 # pragma GCC diagnostic pop
21023
ec532a439c6f rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents: 20541
diff changeset
207 #endif
ec532a439c6f rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents: 20541
diff changeset
208
17269
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
209 text_element*
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
210 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
211 {
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
212 octave_tex_debug = 0;
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
213
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
214 if (init_lexer (s))
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
215 {
23795
980f39c3ab90 Use C++11 nullptr rather than 0 in code (bug #51565).
Rik <rik@octave.org>
parents: 23220
diff changeset
216 result = nullptr;
17269
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 if (octave_tex_parse (*this) == 0)
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
219 return result;
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
220 }
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
221
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
222 return new text_element_string (s);
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
223 }
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
224
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
225 static void
5b088598df1d Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff changeset
226 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
227 {
17272
8ce6cdd272eb Support TeX elements in FreeType renderer.
Michael Goffioul <michael.goffioul@gmail.com>
parents: 17269
diff changeset
228 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
229 }