octave: libinterp/corefcn/oct-tex-parser.in.yy annotate

annotate libinterp/corefcn/oct-tex-parser.in.yy @ 21023:ec532a439c6f

rework method of disabling warnings from GCC * configure.ac: Check for GCC's #pragma GCC diagnostic feature. * libinterp/module.mk, libinterp/corefcn/module.mk, libinterp/parse-tree/module.mk: Eliminate separate libraries for TeX and Octave parsers. * oct-tex-lexer.in.ll, oct-tex-parser.in.yy, lex.ll, oct-parse.in.yy: Use GCC #pragma GCC diagnostic feature to more selectively disable warnings in generated code. * libgui/module.mk (rcc-command): Use GCC #pragma GCC diagnostic feature to more selectively disable warnings in generated code.

author	John W. Eaton <jwe@octave.org>
date	Thu, 31 Dec 2015 17:06:36 -0500
parents	e3c0fee87493
children	40de9f8f23a6

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
19697 4197fc428c7d maint: Update copyright notices for 2015. John W. Eaton <jwe@octave.org> parents: 19593 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 %{
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
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)
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 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: 19775 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: 19775 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 ()
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	47
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	48 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	49 // Disable this warning for code that is generated by Bison, including
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	50 // grammar rules. Push the current state so we can restore the warning
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	51 // state prior to functions we define at the bottom of the file.
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	52 #pragma GCC diagnostic push
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	53 #pragma GCC diagnostic ignored "-Wold-style-cast"
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	54 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	55
17269 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
19775 a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	58 %API_PREFIX_DECL%
a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	59
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	60 %define api.pure
19593 446c46af4b42 strip trailing whitespace from most source files John W. Eaton <jwe@octave.org> parents: 17634 diff changeset	61 %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	62 %lex-param { void *scanner }
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	63
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	64 %code requires {#include <string>}
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 %union
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	67 {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	68 // 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	69 char ch;
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	70 double num;
17327 fe6518a1d87c Move TeX symbol decoding into the lexer (bug #39831). Michael Goffioul <michael.goffioul@gmail.com> parents: 17276 diff changeset	71 int sym;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	72
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	73 // Used for string buffering.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	74 std::string* str;
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	75
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	76 // Objects produced by the parser.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	77 text_element* e_base;
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	78 text_element_list* e_list;
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	79 }
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 %token BF IT SL RM
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	82 %token FONTNAME FONTSIZE
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	83 %token COLOR COLOR_RGB
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	84 %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	85 %token<ch> CH
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	86 %token<num> NUM
17327 fe6518a1d87c Move TeX symbol decoding into the lexer (bug #39831). Michael Goffioul <michael.goffioul@gmail.com> parents: 17276 diff changeset	87 %token<sym> SYM
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	88
17327 fe6518a1d87c Move TeX symbol decoding into the lexer (bug #39831). Michael Goffioul <michael.goffioul@gmail.com> parents: 17276 diff changeset	89 %type<str> simple_string
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	90 %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	91 %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	92 %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	93 %type<e_base> color_element
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	94 %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	95
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	96 // 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	97 %destructor { } <ch> <num> <sym>
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	98 %destructor { delete $$; } <*>
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	99
17274 0a09d4b40767 Combine successive TeX super- and subscript elements. Michael Goffioul <michael.goffioul@gmail.com> parents: 17272 diff changeset	100 %nonassoc SCRIPT
0a09d4b40767 Combine successive TeX super- and subscript elements. Michael Goffioul <michael.goffioul@gmail.com> parents: 17272 diff changeset	101 %nonassoc SUB SUPER
0a09d4b40767 Combine successive TeX super- and subscript elements. Michael Goffioul <michael.goffioul@gmail.com> parents: 17272 diff changeset	102
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	103 %nonassoc STR
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	104 %nonassoc CH
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	105
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	106 %start string
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	107
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	108 %%
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	109
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	110 simple_string : CH
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	111 { $$ = new std::string (1, $1); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	112 \| simple_string CH
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	113 { $1->append (1, $2); $$ = $1; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	114 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	115
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	116 symbol_element : SYM
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	117 { $$ = new text_element_symbol ($1); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	118 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	119
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	120 font_modifier_element : BF
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	121 { $$ = 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	122 \| IT
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	123 { $$ = 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	124 \| SL
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	125 { $$ = 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	126 \| RM
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	127 { $$ = 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	128 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	129
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	130 fontsize_element : FONTSIZE START NUM END
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	131 { $$ = new text_element_fontsize ($3); }
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 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	135 {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	136 $$ = new text_element_fontname (*$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 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	140
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	141 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	142 {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	143 $$ = new text_element_color (*$3);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	144 delete $3;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	145 }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	146 \| 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	147 {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	148 $$ = 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	149 }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	150 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	151
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	152 string_element : simple_string %prec STR
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	153 {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	154 $$ = new text_element_string (*$1);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	155 delete $1;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	156 }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	157 \| scoped_string_element_list
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	158 { $$ = $1; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	159 \| symbol_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	160 \| font_modifier_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	161 \| fontsize_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	162 \| fontname_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	163 \| color_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	164 \| superscript_element %prec SCRIPT
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	165 \| subscript_element %prec SCRIPT
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	166 \| combined_script_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	167 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	168
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	169 superscript_element : SUPER CH
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	170 { $$ = new text_element_superscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	171 \| SUPER scoped_string_element_list
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	172 { $$ = new text_element_superscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	173 \| SUPER symbol_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	174 { $$ = new text_element_superscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	175 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	176
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	177 subscript_element : SUB CH
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	178 { $$ = new text_element_subscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	179 \| SUB scoped_string_element_list
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	180 { $$ = new text_element_subscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	181 \| SUB symbol_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	182 { $$ = new text_element_subscript ($2); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	183 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	184
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	185 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	186 { $$ = new text_element_combined ($1, $2); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	187 \| superscript_element subscript_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	188 { $$ = new text_element_combined ($1, $2); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	189 ;
17274 0a09d4b40767 Combine successive TeX super- and subscript elements. Michael Goffioul <michael.goffioul@gmail.com> parents: 17272 diff changeset	190
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	191 string_element_list : string_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	192 { $$ = new text_element_list ($1); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	193 \| string_element_list string_element
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	194 { $1->push_back ($2); $$ = $1; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	195 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	196
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	197 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	198 { $$ = $2; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	199 \| START END
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	200 { $$ = new text_element_list (); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	201 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	202
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	203 string : // empty
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	204 { 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	205 \| string_element_list
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	206 { parser.set_parse_result ($1); }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	207 ;
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	208
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
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	211 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	212 // Restore prevailing warning state for remainder of the file.
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	213 #pragma GCC diagnostic pop
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	214 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	215
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	216 text_element*
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	217 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	218 {
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	219 octave_tex_debug = 0;
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 if (init_lexer (s))
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	222 {
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	223 result = 0;
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 if (octave_tex_parse (*this) == 0)
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	226 return result;
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	227 }
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	228
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	229 return new text_element_string (s);
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	230 }
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	231
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	232 static void
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	233 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	234 {
17272 8ce6cdd272eb Support TeX elements in FreeType renderer. Michael Goffioul <michael.goffioul@gmail.com> parents: 17269 diff changeset	235 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	236 }

Mercurial > octave

annotate libinterp/corefcn/oct-tex-parser.in.yy @ 21023:ec532a439c6f