Mercurial > octave
annotate libinterp/corefcn/oct-tex-parser.in.yy @ 23795:980f39c3ab90
Use C++11 nullptr rather than 0 in code (bug #51565).
* Backend.cc, BaseControl.h, ButtonGroup.cc, CheckBoxControl.cc,
Container.cc, ContextMenu.cc, ContextMenu.h, EditControl.cc, Figure.cc,
FigureWindow.cc, ListBoxControl.cc, Menu.cc, Menu.h, MouseModeActionGroup.cc,
Object.cc, ObjectProxy.cc, Panel.cc, PopupMenuControl.cc, PushButtonControl.cc,
PushTool.cc, RadioButtonControl.cc, SliderControl.cc, TextControl.cc,
ToggleButtonControl.cc, ToggleTool.cc, ToolBar.cc, ToolBar.h, ToolBarButton.cc,
ToolBarButton.h, QTerminal.h, BlockArray.cpp, Emulation.cpp, Filter.cpp,
Filter.h, History.cpp, KeyboardTranslator.cpp, QUnixTerminalImpl.h, Screen.cpp,
ScreenWindow.cpp, ScreenWindow.h, SelfListener.h, TerminalCharacterDecoder.cpp,
TerminalModel.cpp, TerminalView.cpp, TerminalView.h, kpty.cpp, dialog.cc,
dialog.h, files-dock-widget.cc, find-files-model.h, file-editor-tab.cc,
file-editor.cc, main-window.cc, octave-dock-widget.cc, octave-gui.cc,
parser.cc, resource-manager.cc, resource-manager.h, shortcut-manager.cc,
shortcut-manager.h, workspace-model.cc, workspace-view.cc, __magick_read__.cc,
c-file-ptr-stream.cc, c-file-ptr-stream.h, call-stack.cc, call-stack.h,
daspk.cc, dasrt.cc, dassl.cc, det.cc, display.h, error.cc, ft-text-renderer.cc,
gl-render.cc, gl2ps-print.cc, graphics.in.h, help.cc, input.cc, interpreter.cc,
load-path.cc, load-save.cc, ls-hdf5.cc, ls-hdf5.h, ls-mat5.cc, lsode.cc,
mex.cc, mxarray.in.h, oct-errno.h, oct-hist.cc, oct-iostrm.h, oct-procbuf.cc,
oct-procbuf.h, oct-stdstrm.h, oct-stream.cc, oct-stream.h, oct-strstrm.h,
oct-tex-parser.in.yy, octave-link.h, pager.cc, pager.h, pr-output.cc,
procstream.h, qz.cc, sighandlers.cc, svd.cc, symtab.cc, symtab.h,
text-renderer.cc, txt-eng.h, utils.cc, variables.cc, zfstream.cc, zfstream.h,
__glpk__.cc, __init_fltk__.cc, __ode15__.cc, audiodevinfo.cc, ccolamd.cc,
colamd.cc, dmperm.cc, gzip.cc, symbfact.cc, ov-base-int.cc, ov-base-int.h,
ov-base-mat.h, ov-base.cc, ov-base.h, ov-bool-mat.cc, ov-bool-sparse.cc,
ov-bool.cc, ov-builtin.h, ov-cell.cc, ov-class.cc, ov-complex.cc, ov-cx-mat.cc,
ov-cx-sparse.cc, ov-fcn-handle.cc, ov-fcn-inline.cc, ov-fcn.cc, ov-fcn.h,
ov-float.cc, ov-flt-complex.cc, ov-flt-cx-mat.cc, ov-flt-re-mat.cc, ov-java.cc,
ov-java.h, ov-mex-fcn.cc, ov-oncleanup.cc, ov-range.cc, ov-range.h,
ov-re-mat.cc, ov-re-sparse.cc, ov-scalar.cc, ov-str-mat.cc, ov-typeinfo.cc,
ov-typeinfo.h, ov-usr-fcn.cc, ov-usr-fcn.h, ov.cc, octave.cc, bp-table.cc,
bp-table.h, jit-ir.h, jit-typeinfo.cc, lex.h, profiler.cc, pt-arg-list.cc,
pt-array-list.cc, pt-assign.cc, pt-assign.h, pt-binop.cc, pt-binop.h,
pt-cell.cc, pt-classdef.cc, pt-classdef.h, pt-colon.cc, pt-colon.h, pt-decl.cc,
pt-decl.h, pt-eval.cc, pt-eval.h, pt-except.h, pt-fcn-handle.cc,
pt-fcn-handle.h, pt-idx.cc, pt-jit.cc, pt-loop.h, pt-mat.cc, pt-select.h,
pt-stmt.h, pt-tm-const.h, pt-unop.cc, pt-unop.h, pt.cc, Array-C.cc, Array-d.cc,
Array-f.cc, Array-fC.cc, Array-util.cc, Array.cc, Array.h, CMatrix.cc,
CSparse.cc, DiagArray2.h, MArray.h, MDiagArray2.h, MatrixType.cc, Sparse.cc,
Sparse.h, dMatrix.cc, dSparse.cc, fMatrix.cc, idx-vector.cc, idx-vector.h,
DAEFunc.h, DAERTFunc.h, ODEFunc.h, ODESFunc.h, eigs-base.cc, oct-fftw.cc,
oct-fftw.h, oct-rand.h, oct-spparms.h, schur.cc, sparse-chol.cc,
sparse-dmsolve.cc, sparse-lu.cc, sparse-qr.cc, child-list.h, dir-ops.cc,
dir-ops.h, file-ops.cc, lo-sysdep.cc, oct-env.h, oct-time.cc, cmd-edit.cc,
cmd-edit.h, cmd-hist.h, lo-regexp.cc, lo-regexp.h, lo-utils.cc, oct-shlib.cc,
oct-shlib.h, oct-sort.cc, oct-sort.h, quit.cc, singleton-cleanup.h, str-vec.cc:
Use C++11 nullptr rather than 0 in code (bug #51565).
author | Rik <rik@octave.org> |
---|---|
date | Tue, 25 Jul 2017 14:54:10 -0700 |
parents | 092078913d54 |
children | 53ca76c5cc8d |
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 |
23219
3ac9f9ecfae5
maint: Update copyright dates.
John W. Eaton <jwe@octave.org>
parents:
22323
diff
changeset
|
3 Copyright (C) 2013-2017 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 |
22755
3a2b891d0b33
maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents:
22323
diff
changeset
|
8 under the terms of the GNU General Public License as published by |
3a2b891d0b33
maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents:
22323
diff
changeset
|
9 the Free Software Foundation; either version 3 of the License, or |
3a2b891d0b33
maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents:
22323
diff
changeset
|
10 (at your option) any later version. |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
11 |
22755
3a2b891d0b33
maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents:
22323
diff
changeset
|
12 Octave is distributed in the hope that it will be useful, but |
3a2b891d0b33
maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents:
22323
diff
changeset
|
13 WITHOUT ANY WARRANTY; without even the implied warranty of |
3a2b891d0b33
maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents:
22323
diff
changeset
|
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
3a2b891d0b33
maint: Standardize Copyright formatting.
Rik <rik@octave.org>
parents:
22323
diff
changeset
|
15 GNU General Public License for more details. |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
16 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
17 You should have received a copy of the GNU General Public License |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
18 along with Octave; see the file COPYING. If not, see |
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 |
21724
aba2e6293dd8
use "#if ..." consistently instead of "#ifdef" and "#ifndef"
John W. Eaton <jwe@octave.org>
parents:
21301
diff
changeset
|
27 #if defined (HAVE_CONFIG_H) |
22003
2d3972b802ff
use consistent style for including config.h in source files
John W. Eaton <jwe@octave.org>
parents:
21995
diff
changeset
|
28 # include "config.h" |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
29 #endif |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
30 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
31 #include "txt-eng.h" |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
32 #include "oct-tex-parser.h" |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
33 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
34 extern int octave_tex_lex (YYSTYPE *, void *); |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
35 static void yyerror (text_parser_tex& parser, const char *s); |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
36 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
37 #define scanner parser.get_scanner () |
21995
66f3c4e81721
Rename bison/flex internal symbol names to silence "one definition rule" warning
Robert Jenssen <robertjenssen@ozemail.com.au>
parents:
21942
diff
changeset
|
38 #define yyalloc octave_tex_yyalloc |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
39 |
21023
ec532a439c6f
rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents:
20541
diff
changeset
|
40 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC) |
ec532a439c6f
rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents:
20541
diff
changeset
|
41 // 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
|
42 // 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
|
43 // 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
|
44 #pragma GCC diagnostic push |
ec532a439c6f
rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents:
20541
diff
changeset
|
45 #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
|
46 #endif |
ec532a439c6f
rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents:
20541
diff
changeset
|
47 |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
48 %} |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
49 |
19775
a941a65c7cb8
handle bison syntax changes in TeX parser
John W. Eaton <jwe@octave.org>
parents:
19697
diff
changeset
|
50 %API_PREFIX_DECL% |
a941a65c7cb8
handle bison syntax changes in TeX parser
John W. Eaton <jwe@octave.org>
parents:
19697
diff
changeset
|
51 |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
52 %define api.pure |
19593
446c46af4b42
strip trailing whitespace from most source files
John W. Eaton <jwe@octave.org>
parents:
17634
diff
changeset
|
53 %parse-param { text_parser_tex& parser } |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
54 %lex-param { void *scanner } |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
55 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
56 %code requires {#include <string>} |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
57 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
58 %union |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
59 { |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
60 // Leaf symbols produced by the scanner. |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
61 char ch; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
62 double num; |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
63 int sym; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
64 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
65 // Used for string buffering. |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
66 std::string* str; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
67 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
68 // Objects produced by the parser. |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
69 text_element* e_base; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
70 text_element_list* e_list; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
71 } |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
72 |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
73 %token BF IT SL RM |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
74 %token FONTNAME FONTSIZE |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
75 %token COLOR COLOR_RGB |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
76 %token START END SUPER SUB |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
77 %token<ch> CH |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
78 %token<num> NUM |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
79 %token<sym> SYM |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
80 |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
81 %type<str> simple_string |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
82 %type<e_base> string_element symbol_element |
17274
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
83 %type<e_base> superscript_element subscript_element combined_script_element |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
84 %type<e_base> font_modifier_element fontname_element fontsize_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
85 %type<e_base> color_element |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
86 %type<e_list> string_element_list scoped_string_element_list |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
87 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
88 // Make sure there's no memory leak on parse error. |
17327
fe6518a1d87c
Move TeX symbol decoding into the lexer (bug #39831).
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17276
diff
changeset
|
89 %destructor { } <ch> <num> <sym> |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
90 %destructor { delete $$; } <*> |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
91 |
17274
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
92 %nonassoc SCRIPT |
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
93 %nonassoc SUB SUPER |
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
94 |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
95 %nonassoc STR |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
96 %nonassoc CH |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
97 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
98 %start string |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
99 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
100 %% |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
101 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
102 simple_string : CH |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
103 { $$ = new std::string (1, $1); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
104 | simple_string CH |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
105 { $1->append (1, $2); $$ = $1; } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
106 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
107 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
108 symbol_element : SYM |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
109 { $$ = new text_element_symbol ($1); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
110 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
111 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
112 font_modifier_element : BF |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
113 { $$ = new text_element_fontstyle (text_element_fontstyle::bold); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
114 | IT |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
115 { $$ = new text_element_fontstyle (text_element_fontstyle::italic); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
116 | SL |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
117 { $$ = new text_element_fontstyle (text_element_fontstyle::oblique); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
118 | RM |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
119 { $$ = new text_element_fontstyle (text_element_fontstyle::normal); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
120 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
121 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
122 fontsize_element : FONTSIZE START NUM END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
123 { $$ = new text_element_fontsize ($3); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
124 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
125 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
126 fontname_element : FONTNAME START simple_string END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
127 { |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
128 $$ = new text_element_fontname (*$3); |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
129 delete $3; |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
130 } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
131 ; |
17269
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:
19775
diff
changeset
|
133 color_element : COLOR START simple_string END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
134 { |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
135 $$ = new text_element_color (*$3); |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
136 delete $3; |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
137 } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
138 | COLOR_RGB START NUM NUM NUM END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
139 { |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
140 $$ = new text_element_color ($3, $4, $5); |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
141 } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
142 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
143 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
144 string_element : simple_string %prec STR |
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 $$ = new text_element_string (*$1); |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
147 delete $1; |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
148 } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
149 | scoped_string_element_list |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
150 { $$ = $1; } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
151 | symbol_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
152 | font_modifier_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
153 | fontsize_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
154 | fontname_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
155 | color_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
156 | superscript_element %prec SCRIPT |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
157 | subscript_element %prec SCRIPT |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
158 | combined_script_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
159 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
160 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
161 superscript_element : SUPER CH |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
162 { $$ = new text_element_superscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
163 | SUPER scoped_string_element_list |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
164 { $$ = new text_element_superscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
165 | SUPER symbol_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
166 { $$ = new text_element_superscript ($2); } |
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 subscript_element : SUB CH |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
170 { $$ = new text_element_subscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
171 | SUB 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_subscript ($2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
173 | SUB symbol_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
174 { $$ = new text_element_subscript ($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 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
|
178 { $$ = new text_element_combined ($1, $2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
179 | superscript_element subscript_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
180 { $$ = new text_element_combined ($1, $2); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
181 ; |
17274
0a09d4b40767
Combine successive TeX super- and subscript elements.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17272
diff
changeset
|
182 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
183 string_element_list : string_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
184 { $$ = new text_element_list ($1); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
185 | string_element_list string_element |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
186 { $1->push_back ($2); $$ = $1; } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
187 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
188 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
189 scoped_string_element_list : START string_element_list END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
190 { $$ = $2; } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
191 | START END |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
192 { $$ = new text_element_list (); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
193 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
194 |
20541
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
195 string : // empty |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
196 { parser.set_parse_result (new text_element_string ("")); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
197 | string_element_list |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
198 { parser.set_parse_result ($1); } |
e3c0fee87493
style fixes for tex lexer and parser
John W. Eaton <jwe@octave.org>
parents:
19775
diff
changeset
|
199 ; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
200 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
201 %% |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
202 |
21023
ec532a439c6f
rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents:
20541
diff
changeset
|
203 #if defined (HAVE_PRAGMA_GCC_DIAGNOSTIC) |
ec532a439c6f
rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents:
20541
diff
changeset
|
204 // 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
|
205 #pragma GCC diagnostic pop |
ec532a439c6f
rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents:
20541
diff
changeset
|
206 #endif |
ec532a439c6f
rework method of disabling warnings from GCC
John W. Eaton <jwe@octave.org>
parents:
20541
diff
changeset
|
207 |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
208 text_element* |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
209 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
|
210 { |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
211 octave_tex_debug = 0; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
212 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
213 if (init_lexer (s)) |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
214 { |
23795
980f39c3ab90
Use C++11 nullptr rather than 0 in code (bug #51565).
Rik <rik@octave.org>
parents:
23220
diff
changeset
|
215 result = nullptr; |
17269
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
216 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
217 if (octave_tex_parse (*this) == 0) |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
218 return result; |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
219 } |
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 return new text_element_string (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 |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
224 static void |
5b088598df1d
Add simple TeX parser based on flex/bison.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
diff
changeset
|
225 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
|
226 { |
17272
8ce6cdd272eb
Support TeX elements in FreeType renderer.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
17269
diff
changeset
|
227 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
|
228 } |