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

annotate libinterp/corefcn/oct-tex-lexer.in.ll @ 31114:01e4f3882f54 stable

Fix regression with \color[rgb] tex pattern (bug #62668) * oct-tex-lexer.ll.in: fix "\color[rgb]" pattern accidentally altered with cset fa65184b7c76.

author	Pantxo Diribarne <pantxo.diribarne@gmail.com>
date	Fri, 24 Jun 2022 19:24:22 +0200
parents	796f54d4ddbf
children

rev	line source
27928 bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	1 %top {
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	2 ////////////////////////////////////////////////////////////////////////
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	3 //
30569 796f54d4ddbf update Octave Project Developers copyright for the new year John W. Eaton <jwe@octave.org> parents: 30128 diff changeset	4 // Copyright (C) 2013-2022 The Octave Project Developers
27928 bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	5 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	6 // See the file COPYRIGHT.md in the top-level directory of this
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	7 // distribution or <https://octave.org/copyright/>.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	8 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	9 // This file is part of Octave.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	10 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	11 // Octave is free software: you can redistribute it and/or modify it
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	12 // under the terms of the GNU General Public License as published by
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	13 // the Free Software Foundation, either version 3 of the License, or
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	14 // (at your option) any later version.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	15 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	16 // Octave is distributed in the hope that it will be useful, but
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	17 // WITHOUT ANY WARRANTY; without even the implied warranty of
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	18 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	19 // GNU General Public License for more details.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	20 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	21 // You should have received a copy of the GNU General Public License
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	22 // along with Octave; see the file COPYING. If not, see
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	23 // <https://www.gnu.org/licenses/>.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	24 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27924 diff changeset	25 ////////////////////////////////////////////////////////////////////////
17269 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: 21332 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"
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	29 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	30
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	31 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
24444 53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	32 // This one needs to be global.
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	33 # pragma GCC diagnostic ignored "-Wunused-function"
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	34
24444 53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	35 // Disable these warnings for code that is generated by flex, including
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	36 // pattern rules. Push the current state so we can restore the warning
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	37 // state prior to functions we define at the bottom of the file.
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	38 # pragma GCC diagnostic push
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	39 # pragma GCC diagnostic ignored "-Wold-style-cast"
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	40 # pragma GCC diagnostic ignored "-Wsign-compare"
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	41 # pragma GCC diagnostic ignored "-Wzero-as-null-pointer-constant"
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	42 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	43
21332 db574711df78 eliminate deprecated register storage class specifier John W. Eaton <jwe@octave.org> parents: 21301 diff changeset	44 // Define away the deprecated register storage class specifier to avoid
db574711df78 eliminate deprecated register storage class specifier John W. Eaton <jwe@octave.org> parents: 21301 diff changeset	45 // potential warnings about it.
db574711df78 eliminate deprecated register storage class specifier John W. Eaton <jwe@octave.org> parents: 21301 diff changeset	46 #if ! defined (register)
21724 aba2e6293dd8 use "#if ..." consistently instead of "#ifdef" and "#ifndef" John W. Eaton <jwe@octave.org> parents: 21332 diff changeset	47 # define register
21332 db574711df78 eliminate deprecated register storage class specifier John W. Eaton <jwe@octave.org> parents: 21301 diff changeset	48 #endif
db574711df78 eliminate deprecated register storage class specifier John W. Eaton <jwe@octave.org> parents: 21301 diff changeset	49
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	50 }
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	51
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	52 %option prefix = "octave_tex_"
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	53 %option noyywrap
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	54 %option reentrant
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	55 %option bison-bridge
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	56
19784 a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	57 %option noyyalloc
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	58 %option noyyrealloc
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	59 %option noyyfree
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	60
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	61 %x NUM_MODE
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	62 %x MAYBE_NUM_MODE
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	63
17634 bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	64 %{
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	65
21910 4d723ba06b4a provide wrappers for some unistd.h functions John W. Eaton <jwe@octave.org> parents: 21772 diff changeset	66 #include "unistd-wrappers.h"
17634 bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	67
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	68 #include "text-engine.h"
afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	69
afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	70 // oct-tex-parser.h must be included after text-engine.h
17634 bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	71 #include "oct-tex-parser.h"
bdbf91c0a1a4 avoid warnings about symbols without gnulib:: namespace tag John W. Eaton <jwe@octave.org> parents: 17327 diff changeset	72
19775 a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	73 // 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	74 // 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	75 // 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	76 // 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	77 // 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	78 // 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	79
a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	80 #if defined (OCTAVE_TEX_STYPE_IS_DECLARED) && ! defined YYSTYPE
21724 aba2e6293dd8 use "#if ..." consistently instead of "#ifdef" and "#ifndef" John W. Eaton <jwe@octave.org> parents: 21332 diff changeset	81 # define YYSTYPE OCTAVE_TEX_STYPE
19775 a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	82 #endif
a941a65c7cb8 handle bison syntax changes in TeX parser John W. Eaton <jwe@octave.org> parents: 19697 diff changeset	83
21910 4d723ba06b4a provide wrappers for some unistd.h functions John W. Eaton <jwe@octave.org> parents: 21772 diff changeset	84 #define YY_NO_UNISTD_H 1
4d723ba06b4a provide wrappers for some unistd.h functions John W. Eaton <jwe@octave.org> parents: 21772 diff changeset	85 #define isatty octave_isatty_wrapper
21995 66f3c4e81721 Rename bison/flex internal symbol names to silence "one definition rule" warning Robert Jenssen <robertjenssen@ozemail.com.au> parents: 21987 diff changeset	86 #define yyguts_t octave_tex_yyguts_t
21910 4d723ba06b4a provide wrappers for some unistd.h functions John W. Eaton <jwe@octave.org> parents: 21772 diff changeset	87
17634 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
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	90 D [0-9]
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	91 NUM (({D}+\.?{D}*)\|(\.{D}+))
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	92
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 %{
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	96 // Numeric values.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	97 %}
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	98
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	99 <NUM_MODE>{NUM} {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	100 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	101
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	102 if (nread == 1)
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	103 return NUM;
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	104 }
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	105
21772 72bf7fbc8210 Allow comma in \color[rgb] specification for text objects (bug #48003). Rik <rik@octave.org> parents: 21724 diff changeset	106 <NUM_MODE>[, \t]+ { }
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	107
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	108 <NUM_MODE>"\n"\|. {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	109 yyless (0);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	110 BEGIN (INITIAL);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 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: 19784 diff changeset	113 <MAYBE_NUM_MODE>"{" {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	114 BEGIN (NUM_MODE);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	115 return START;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	116 }
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 <MAYBE_NUM_MODE>"\n"\|. {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	119 yyless (0);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	120 BEGIN (INITIAL);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	121 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	122
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	123 %{
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	124 // Simple commands.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	125 %}
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: 19784 diff changeset	127 "\\bf" { return BF; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	128 "\\it" { return IT; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	129 "\\sl" { return SL; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	130 "\\rm" { return RM; }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	131
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	132 %{
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	133 // Generic font commands.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	134 %}
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	135
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	136 "\\fontname" { return FONTNAME; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	137
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	138 "\\fontsize" {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	139 BEGIN (MAYBE_NUM_MODE);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	140 return FONTSIZE;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	141 }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	142
31114 01e4f3882f54 Fix regression with \color[rgb] tex pattern (bug #62668) Pantxo Diribarne <pantxo.diribarne@gmail.com> parents: 30569 diff changeset	143 "\\color[rgb]" {
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	144 BEGIN (MAYBE_NUM_MODE);
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	145 return COLOR_RGB;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	146 }
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 "\\color" { return COLOR; }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	149
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	150 %{
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	151 // Special characters.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	152 %}
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	153
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	154 "{" { return START; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	155 "}" { return END; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	156 "^" { return SUPER; }
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	157 "_" { return SUB; }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	158
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	159 "\\{" \|
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 yylval->ch = yytext[1];
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	165 return CH;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	166 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	167
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: 19784 diff changeset	169 // Symbols.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	170 %}
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	171
17327 fe6518a1d87c Move TeX symbol decoding into the lexer (bug #39831). Michael Goffioul <michael.goffioul@gmail.com> parents: 17320 diff changeset	172 @SYMBOL_RULES@
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	173
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	174 %{
20541 e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	175 // Generic character.
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	176 %}
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: 19784 diff changeset	178 "\n" \|
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	179 . {
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	180 yylval->ch = yytext[0];
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	181 return CH;
e3c0fee87493 style fixes for tex lexer and parser John W. Eaton <jwe@octave.org> parents: 19784 diff changeset	182 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	183
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	184 %{
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	185 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
24444 53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	186 // Also disable this warning for functions that are generated by flex
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	187 // after the pattern rules.
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	188 # pragma GCC diagnostic ignored "-Wunused-parameter"
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	189 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	190 %}
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	191
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	192 %%
5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	193
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	194 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC)
24444 53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	195 // Restore prevailing warning state for remainder of the file.
53ca76c5cc8d maint: Indent pragmas as other preprocessor directives. John W. Eaton <jwe@octave.org> parents: 23796 diff changeset	196 # pragma GCC diagnostic pop
21023 ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	197 #endif
ec532a439c6f rework method of disabling warnings from GCC John W. Eaton <jwe@octave.org> parents: 20541 diff changeset	198
19784 a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	199 void *
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	200 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	201 {
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	202 return malloc (size);
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	203 }
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 void *
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	206 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	207 {
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	208 return realloc (ptr, size);
19784 a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	209 }
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 void
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	212 octave_tex_free (void *ptr, yyscan_t)
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	213 {
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	214 free (ptr);
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	215 }
a3577622952c avoid some GCC unused parameter warnings John W. Eaton <jwe@octave.org> parents: 19775 diff changeset	216
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	217 namespace octave
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	218 {
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	219 bool text_parser_tex::init_lexer (const std::string& s)
afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	220 {
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	221 if (! m_scanner)
fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	222 octave_tex_lex_init (&m_scanner);
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	223
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	224 if (m_scanner)
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	225 {
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	226 if (m_buffer_state)
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	227 {
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	228 octave_tex__delete_buffer (reinterpret_cast<YY_BUFFER_STATE> (m_buffer_state),
fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	229 m_scanner);
fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	230 m_buffer_state = nullptr;
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	231 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	232
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	233 m_buffer_state = octave_tex__scan_bytes (s.data (), s.length (),
fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	234 m_scanner);
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	235 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	236
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	237 return (m_scanner && m_buffer_state);
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	238 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	239
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	240 void text_parser_tex::destroy_lexer (void)
afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	241 {
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	242 if (m_buffer_state)
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	243 {
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	244 octave_tex__delete_buffer (reinterpret_cast<YY_BUFFER_STATE> (m_buffer_state),
fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	245 m_scanner);
fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	246 m_buffer_state = nullptr;
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	247 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	248
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	249 if (m_scanner)
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	250 {
30128 fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	251 octave_tex_lex_destroy (m_scanner);
fa65184b7c76 maint: use "m_" prefix for member variables in text-engine classes. Rik <rik@octave.org> parents: 29363 diff changeset	252 m_scanner = nullptr;
25642 afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	253 }
afb5288a25ad move text engine classes inside octave namespace John W. Eaton <jwe@octave.org> parents: 25054 diff changeset	254 }
17269 5b088598df1d Add simple TeX parser based on flex/bison. Michael Goffioul <michael.goffioul@gmail.com> parents: diff changeset	255 }

Mercurial > jwe > octave

annotate libinterp/corefcn/oct-tex-lexer.in.ll @ 31114:01e4f3882f54 stable