octave: libinterp/corefcn/oct-tex-lexer.in.ll annotate

annotate libinterp/corefcn/oct-tex-lexer.in.ll @ 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: 17634 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
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	23 %top {
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	24 #ifdef HAVE_CONFIG_H
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	25 #include <config.h>
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	26 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	27
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	28 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	29 // This one needs to be global.
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	30 #pragma GCC diagnostic ignored "-Wunused-function"
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	31
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	32 // Disable this warning for code that is generated by flex, including
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	33 // pattern 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	34 // 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	35 #pragma GCC diagnostic push
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	36 #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	37 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	38
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	39 }
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	40
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	41 %option prefix = "octave_tex_"
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	42 %option noyywrap
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	43 %option reentrant
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	44 %option bison-bridge
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	45
19784 a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	46 %option noyyalloc
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	47 %option noyyrealloc
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	48 %option noyyfree
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	49
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	50 %x NUM_MODE
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	51 %x MAYBE_NUM_MODE
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	52
17634 bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	53 %{
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	54
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	55 // The generated code may include unistd.h. We need that to happen
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	56 // before defining isatty to be prefixed with the gnulib namespace
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	57 // identifier.
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	58
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	59 #include <sys/types.h>
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	60 #include <unistd.h>
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	61
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	62 #include "txt-eng.h"
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	63 #include "oct-tex-parser.h"
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	64
19775 a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	65 // FIXME: with bison 3.x, OCTAVE_TEX_STYPE appears in the generated
a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	66 // oct-parse.h file, but there is no definition for YYSTYPE, which is
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	67 // needed by the code that is generated by flex. I can't seem to find
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	68 // a way to tell flex to use OCTAVE_TEX_STYPE instead of YYSTYPE in
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	69 // the code it generates, or to tell bison to provide the definition
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	70 // of YYSTYPE in the generated oct-parse.h file.
19775 a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	71
a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	72 #if defined (OCTAVE_TEX_STYPE_IS_DECLARED) && ! defined YYSTYPE
a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	73 #define YYSTYPE OCTAVE_TEX_STYPE
a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	74 #endif
a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	75
17634 bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	76 #if defined (GNULIB_NAMESPACE)
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	77 // 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: 19784 diff changeset	78 // from flex 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: 19784 diff changeset	79 // 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	80 #define fprintf GNULIB_NAMESPACE::fprintf
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	81 #define fread GNULIB_NAMESPACE::fread
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	82 #define fwrite GNULIB_NAMESPACE::fwrite
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	83 #define getc GNULIB_NAMESPACE::getc
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	84 #define isatty GNULIB_NAMESPACE::isatty
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	85 #define malloc GNULIB_NAMESPACE::malloc
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	86 #define realloc GNULIB_NAMESPACE::realloc
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	87 #endif
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	88
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	89 %}
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	90
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	91 D [0-9]
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	92 NUM (({D}+\.?{D}*)\|(\.{D}+))
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	93
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	94 %%
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	95
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	96 %{
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	97 // Numeric values.
17269 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
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	100 <NUM_MODE>{NUM} {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	101 int nread = sscanf (yytext, "%lf", &(yylval->num));
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	102
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	103 if (nread == 1)
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	104 return NUM;
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	105 }
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	106
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	107 <NUM_MODE>[ \t]+ { }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	108
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	109 <NUM_MODE>"\n"\|. {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	110 yyless (0);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	111 BEGIN (INITIAL);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	112 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	113
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	114 <MAYBE_NUM_MODE>"{" {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	115 BEGIN (NUM_MODE);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	116 return START;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	117 }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	118
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	119 <MAYBE_NUM_MODE>"\n"\|. {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	120 yyless (0);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	121 BEGIN (INITIAL);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	122 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	123
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	124 %{
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	125 // Simple commands.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	126 %}
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	127
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	128 "\\bf" { return BF; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	129 "\\it" { return IT; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	130 "\\sl" { return SL; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	131 "\\rm" { return RM; }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	132
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: 19784 diff changeset	134 // Generic font commands.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	135 %}
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	136
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	137 "\\fontname" { return FONTNAME; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	138
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	139 "\\fontsize" {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	140 BEGIN (MAYBE_NUM_MODE);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	141 return FONTSIZE;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	142 }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	143
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	144 "\\color[rgb]" {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	145 BEGIN (MAYBE_NUM_MODE);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	146 return COLOR_RGB;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	147 }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	148
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	149 "\\color" { return COLOR; }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	150
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: 19784 diff changeset	152 // Special characters.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	153 %}
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	154
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	155 "{" { return START; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	156 "}" { return END; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	157 "^" { return SUPER; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	158 "_" { return SUB; }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	159
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	160 "\\{" \|
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	161 "\\}" \|
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	162 "\\^" \|
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	163 "\\_" \|
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	164 "\\\\" {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	165 yylval->ch = yytext[1];
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	166 return CH;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	167 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	168
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: 19784 diff changeset	170 // Symbols.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	171 %}
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	172
17327 fe6518a1d87c Move TeX symbol decoding into the lexer (bug #39831). Michael Goffioul <michael.goffioul@gmail.com> parents: 17320 diff changeset	173 @SYMBOL_RULES@
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	174
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	175 %{
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	176 // Generic character.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	177 %}
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	178
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	179 "\n" \|
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	180 . {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	181 yylval->ch = yytext[0];
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	182 return CH;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	183 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	184
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	185 %{
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	186 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	187 // Also disable this warning for functions that is generated by flex
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	188 // after the pattern rules.
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	189 #pragma GCC diagnostic ignored "-Wunused-parameter"
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	190 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	191 %}
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	192
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	193 %%
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	194
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	195 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	196 // 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	197 #pragma GCC diagnostic pop
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	198 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	199
19784 a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	200 void *
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	201 octave_tex_alloc (yy_size_t size, yyscan_t)
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	202 {
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	203 return malloc (size);
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	204 }
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	205
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	206 void *
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	207 octave_tex_realloc (void *ptr, yy_size_t size, yyscan_t)
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	208 {
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	209 return realloc (ptr, size);
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	210 }
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	211
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	212 void
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	213 octave_tex_free (void *ptr, yyscan_t)
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	214 {
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	215 free (ptr);
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	216 }
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	217
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	218 bool
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	219 text_parser_tex::init_lexer (const std::string& s)
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 (! scanner)
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	222 octave_tex_lex_init (&scanner);
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 if (scanner)
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	225 {
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	226 if (buffer_state)
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 octave_tex__delete_buffer (reinterpret_cast<YY_BUFFER_STATE> (buffer_state),
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	229 scanner);
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	230 buffer_state = 0;
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
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	233 buffer_state = octave_tex__scan_bytes (s.data (), s.length (), scanner);
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	234 }
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	235
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	236 return (scanner && buffer_state);
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	237 }
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	238
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	239 void
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	240 text_parser_tex::destroy_lexer (void)
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	241 {
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	242 if (buffer_state)
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	243 {
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	244 octave_tex__delete_buffer (reinterpret_cast<YY_BUFFER_STATE> (buffer_state),
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	245 scanner);
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	246 buffer_state = 0;
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	247 }
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	248
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	249 if (scanner)
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	250 {
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	251 octave_tex_lex_destroy (scanner);
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	252 scanner = 0;
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	253 }
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	254 }

Mercurial > octave

annotate libinterp/corefcn/oct-tex-lexer.in.ll @ 21023:ec532a439c6f