itextomml 1.4.4 → 1.4.5

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (5) hide show
  1. data/ext/itex2MML.h +3 -3
  2. data/ext/lex.yy.c +2743 -2651
  3. data/ext/y.tab.c +1491 -1322
  4. data/ext/y.tab.h +226 -220
  5. metadata +4 -4
data/ext/y.tab.h CHANGED
@@ -83,116 +83,119 @@
83
83
  SQRT = 299,
84
84
  ROOT = 300,
85
85
  BINOM = 301,
86
- UNDER = 302,
87
- OVER = 303,
88
- OVERBRACE = 304,
89
- UNDERLINE = 305,
90
- UNDERBRACE = 306,
91
- UNDEROVER = 307,
92
- TENSOR = 308,
93
- MULTI = 309,
94
- ARRAY = 310,
95
- COLSEP = 311,
96
- ROWSEP = 312,
97
- ARRAYOPTS = 313,
98
- COLLAYOUT = 314,
99
- COLALIGN = 315,
100
- ROWALIGN = 316,
101
- ALIGN = 317,
102
- EQROWS = 318,
103
- EQCOLS = 319,
104
- ROWLINES = 320,
105
- COLLINES = 321,
106
- FRAME = 322,
107
- PADDING = 323,
108
- ATTRLIST = 324,
109
- ITALICS = 325,
110
- BOLD = 326,
111
- BOXED = 327,
112
- SLASHED = 328,
113
- RM = 329,
114
- BB = 330,
115
- ST = 331,
116
- END = 332,
117
- BBLOWERCHAR = 333,
118
- BBUPPERCHAR = 334,
119
- BBDIGIT = 335,
120
- CALCHAR = 336,
121
- FRAKCHAR = 337,
122
- CAL = 338,
123
- FRAK = 339,
124
- CLAP = 340,
125
- LLAP = 341,
126
- RLAP = 342,
127
- ROWOPTS = 343,
128
- TEXTSIZE = 344,
129
- SCSIZE = 345,
130
- SCSCSIZE = 346,
131
- DISPLAY = 347,
132
- TEXTSTY = 348,
133
- TEXTBOX = 349,
134
- TEXTSTRING = 350,
135
- XMLSTRING = 351,
136
- CELLOPTS = 352,
137
- ROWSPAN = 353,
138
- COLSPAN = 354,
139
- THINSPACE = 355,
140
- MEDSPACE = 356,
141
- THICKSPACE = 357,
142
- QUAD = 358,
143
- QQUAD = 359,
144
- NEGSPACE = 360,
145
- PHANTOM = 361,
146
- HREF = 362,
147
- UNKNOWNCHAR = 363,
148
- EMPTYMROW = 364,
149
- STATLINE = 365,
150
- TOOLTIP = 366,
151
- TOGGLE = 367,
152
- FGHIGHLIGHT = 368,
153
- BGHIGHLIGHT = 369,
154
- SPACE = 370,
155
- INTONE = 371,
156
- INTTWO = 372,
157
- INTTHREE = 373,
158
- BAR = 374,
159
- WIDEBAR = 375,
160
- VEC = 376,
161
- WIDEVEC = 377,
162
- HAT = 378,
163
- WIDEHAT = 379,
164
- CHECK = 380,
165
- WIDECHECK = 381,
166
- TILDE = 382,
167
- WIDETILDE = 383,
168
- DOT = 384,
169
- DDOT = 385,
170
- DDDOT = 386,
171
- DDDDOT = 387,
172
- UNARYMINUS = 388,
173
- UNARYPLUS = 389,
174
- BEGINENV = 390,
175
- ENDENV = 391,
176
- MATRIX = 392,
177
- PMATRIX = 393,
178
- BMATRIX = 394,
179
- BBMATRIX = 395,
180
- VMATRIX = 396,
181
- VVMATRIX = 397,
182
- SVG = 398,
183
- ENDSVG = 399,
184
- SMALLMATRIX = 400,
185
- CASES = 401,
186
- ALIGNED = 402,
187
- GATHERED = 403,
188
- SUBSTACK = 404,
189
- PMOD = 405,
190
- RMCHAR = 406,
191
- COLOR = 407,
192
- BGCOLOR = 408,
193
- XARROW = 409,
194
- OPTARGOPEN = 410,
195
- OPTARGCLOSE = 411
86
+ TBINOM = 302,
87
+ UNDER = 303,
88
+ OVER = 304,
89
+ OVERBRACE = 305,
90
+ UNDERLINE = 306,
91
+ UNDERBRACE = 307,
92
+ UNDEROVER = 308,
93
+ TENSOR = 309,
94
+ MULTI = 310,
95
+ ARRAYALIGN = 311,
96
+ COLUMNALIGN = 312,
97
+ ARRAY = 313,
98
+ COLSEP = 314,
99
+ ROWSEP = 315,
100
+ ARRAYOPTS = 316,
101
+ COLLAYOUT = 317,
102
+ COLALIGN = 318,
103
+ ROWALIGN = 319,
104
+ ALIGN = 320,
105
+ EQROWS = 321,
106
+ EQCOLS = 322,
107
+ ROWLINES = 323,
108
+ COLLINES = 324,
109
+ FRAME = 325,
110
+ PADDING = 326,
111
+ ATTRLIST = 327,
112
+ ITALICS = 328,
113
+ BOLD = 329,
114
+ BOXED = 330,
115
+ SLASHED = 331,
116
+ RM = 332,
117
+ BB = 333,
118
+ ST = 334,
119
+ END = 335,
120
+ BBLOWERCHAR = 336,
121
+ BBUPPERCHAR = 337,
122
+ BBDIGIT = 338,
123
+ CALCHAR = 339,
124
+ FRAKCHAR = 340,
125
+ CAL = 341,
126
+ FRAK = 342,
127
+ CLAP = 343,
128
+ LLAP = 344,
129
+ RLAP = 345,
130
+ ROWOPTS = 346,
131
+ TEXTSIZE = 347,
132
+ SCSIZE = 348,
133
+ SCSCSIZE = 349,
134
+ DISPLAY = 350,
135
+ TEXTSTY = 351,
136
+ TEXTBOX = 352,
137
+ TEXTSTRING = 353,
138
+ XMLSTRING = 354,
139
+ CELLOPTS = 355,
140
+ ROWSPAN = 356,
141
+ COLSPAN = 357,
142
+ THINSPACE = 358,
143
+ MEDSPACE = 359,
144
+ THICKSPACE = 360,
145
+ QUAD = 361,
146
+ QQUAD = 362,
147
+ NEGSPACE = 363,
148
+ PHANTOM = 364,
149
+ HREF = 365,
150
+ UNKNOWNCHAR = 366,
151
+ EMPTYMROW = 367,
152
+ STATLINE = 368,
153
+ TOOLTIP = 369,
154
+ TOGGLE = 370,
155
+ FGHIGHLIGHT = 371,
156
+ BGHIGHLIGHT = 372,
157
+ SPACE = 373,
158
+ INTONE = 374,
159
+ INTTWO = 375,
160
+ INTTHREE = 376,
161
+ BAR = 377,
162
+ WIDEBAR = 378,
163
+ VEC = 379,
164
+ WIDEVEC = 380,
165
+ HAT = 381,
166
+ WIDEHAT = 382,
167
+ CHECK = 383,
168
+ WIDECHECK = 384,
169
+ TILDE = 385,
170
+ WIDETILDE = 386,
171
+ DOT = 387,
172
+ DDOT = 388,
173
+ DDDOT = 389,
174
+ DDDDOT = 390,
175
+ UNARYMINUS = 391,
176
+ UNARYPLUS = 392,
177
+ BEGINENV = 393,
178
+ ENDENV = 394,
179
+ MATRIX = 395,
180
+ PMATRIX = 396,
181
+ BMATRIX = 397,
182
+ BBMATRIX = 398,
183
+ VMATRIX = 399,
184
+ VVMATRIX = 400,
185
+ SVG = 401,
186
+ ENDSVG = 402,
187
+ SMALLMATRIX = 403,
188
+ CASES = 404,
189
+ ALIGNED = 405,
190
+ GATHERED = 406,
191
+ SUBSTACK = 407,
192
+ PMOD = 408,
193
+ RMCHAR = 409,
194
+ COLOR = 410,
195
+ BGCOLOR = 411,
196
+ XARROW = 412,
197
+ OPTARGOPEN = 413,
198
+ OPTARGCLOSE = 414
196
199
  };
197
200
  #endif
198
201
  /* Tokens. */
@@ -240,116 +243,119 @@
240
243
  #define SQRT 299
241
244
  #define ROOT 300
242
245
  #define BINOM 301
243
- #define UNDER 302
244
- #define OVER 303
245
- #define OVERBRACE 304
246
- #define UNDERLINE 305
247
- #define UNDERBRACE 306
248
- #define UNDEROVER 307
249
- #define TENSOR 308
250
- #define MULTI 309
251
- #define ARRAY 310
252
- #define COLSEP 311
253
- #define ROWSEP 312
254
- #define ARRAYOPTS 313
255
- #define COLLAYOUT 314
256
- #define COLALIGN 315
257
- #define ROWALIGN 316
258
- #define ALIGN 317
259
- #define EQROWS 318
260
- #define EQCOLS 319
261
- #define ROWLINES 320
262
- #define COLLINES 321
263
- #define FRAME 322
264
- #define PADDING 323
265
- #define ATTRLIST 324
266
- #define ITALICS 325
267
- #define BOLD 326
268
- #define BOXED 327
269
- #define SLASHED 328
270
- #define RM 329
271
- #define BB 330
272
- #define ST 331
273
- #define END 332
274
- #define BBLOWERCHAR 333
275
- #define BBUPPERCHAR 334
276
- #define BBDIGIT 335
277
- #define CALCHAR 336
278
- #define FRAKCHAR 337
279
- #define CAL 338
280
- #define FRAK 339
281
- #define CLAP 340
282
- #define LLAP 341
283
- #define RLAP 342
284
- #define ROWOPTS 343
285
- #define TEXTSIZE 344
286
- #define SCSIZE 345
287
- #define SCSCSIZE 346
288
- #define DISPLAY 347
289
- #define TEXTSTY 348
290
- #define TEXTBOX 349
291
- #define TEXTSTRING 350
292
- #define XMLSTRING 351
293
- #define CELLOPTS 352
294
- #define ROWSPAN 353
295
- #define COLSPAN 354
296
- #define THINSPACE 355
297
- #define MEDSPACE 356
298
- #define THICKSPACE 357
299
- #define QUAD 358
300
- #define QQUAD 359
301
- #define NEGSPACE 360
302
- #define PHANTOM 361
303
- #define HREF 362
304
- #define UNKNOWNCHAR 363
305
- #define EMPTYMROW 364
306
- #define STATLINE 365
307
- #define TOOLTIP 366
308
- #define TOGGLE 367
309
- #define FGHIGHLIGHT 368
310
- #define BGHIGHLIGHT 369
311
- #define SPACE 370
312
- #define INTONE 371
313
- #define INTTWO 372
314
- #define INTTHREE 373
315
- #define BAR 374
316
- #define WIDEBAR 375
317
- #define VEC 376
318
- #define WIDEVEC 377
319
- #define HAT 378
320
- #define WIDEHAT 379
321
- #define CHECK 380
322
- #define WIDECHECK 381
323
- #define TILDE 382
324
- #define WIDETILDE 383
325
- #define DOT 384
326
- #define DDOT 385
327
- #define DDDOT 386
328
- #define DDDDOT 387
329
- #define UNARYMINUS 388
330
- #define UNARYPLUS 389
331
- #define BEGINENV 390
332
- #define ENDENV 391
333
- #define MATRIX 392
334
- #define PMATRIX 393
335
- #define BMATRIX 394
336
- #define BBMATRIX 395
337
- #define VMATRIX 396
338
- #define VVMATRIX 397
339
- #define SVG 398
340
- #define ENDSVG 399
341
- #define SMALLMATRIX 400
342
- #define CASES 401
343
- #define ALIGNED 402
344
- #define GATHERED 403
345
- #define SUBSTACK 404
346
- #define PMOD 405
347
- #define RMCHAR 406
348
- #define COLOR 407
349
- #define BGCOLOR 408
350
- #define XARROW 409
351
- #define OPTARGOPEN 410
352
- #define OPTARGCLOSE 411
246
+ #define TBINOM 302
247
+ #define UNDER 303
248
+ #define OVER 304
249
+ #define OVERBRACE 305
250
+ #define UNDERLINE 306
251
+ #define UNDERBRACE 307
252
+ #define UNDEROVER 308
253
+ #define TENSOR 309
254
+ #define MULTI 310
255
+ #define ARRAYALIGN 311
256
+ #define COLUMNALIGN 312
257
+ #define ARRAY 313
258
+ #define COLSEP 314
259
+ #define ROWSEP 315
260
+ #define ARRAYOPTS 316
261
+ #define COLLAYOUT 317
262
+ #define COLALIGN 318
263
+ #define ROWALIGN 319
264
+ #define ALIGN 320
265
+ #define EQROWS 321
266
+ #define EQCOLS 322
267
+ #define ROWLINES 323
268
+ #define COLLINES 324
269
+ #define FRAME 325
270
+ #define PADDING 326
271
+ #define ATTRLIST 327
272
+ #define ITALICS 328
273
+ #define BOLD 329
274
+ #define BOXED 330
275
+ #define SLASHED 331
276
+ #define RM 332
277
+ #define BB 333
278
+ #define ST 334
279
+ #define END 335
280
+ #define BBLOWERCHAR 336
281
+ #define BBUPPERCHAR 337
282
+ #define BBDIGIT 338
283
+ #define CALCHAR 339
284
+ #define FRAKCHAR 340
285
+ #define CAL 341
286
+ #define FRAK 342
287
+ #define CLAP 343
288
+ #define LLAP 344
289
+ #define RLAP 345
290
+ #define ROWOPTS 346
291
+ #define TEXTSIZE 347
292
+ #define SCSIZE 348
293
+ #define SCSCSIZE 349
294
+ #define DISPLAY 350
295
+ #define TEXTSTY 351
296
+ #define TEXTBOX 352
297
+ #define TEXTSTRING 353
298
+ #define XMLSTRING 354
299
+ #define CELLOPTS 355
300
+ #define ROWSPAN 356
301
+ #define COLSPAN 357
302
+ #define THINSPACE 358
303
+ #define MEDSPACE 359
304
+ #define THICKSPACE 360
305
+ #define QUAD 361
306
+ #define QQUAD 362
307
+ #define NEGSPACE 363
308
+ #define PHANTOM 364
309
+ #define HREF 365
310
+ #define UNKNOWNCHAR 366
311
+ #define EMPTYMROW 367
312
+ #define STATLINE 368
313
+ #define TOOLTIP 369
314
+ #define TOGGLE 370
315
+ #define FGHIGHLIGHT 371
316
+ #define BGHIGHLIGHT 372
317
+ #define SPACE 373
318
+ #define INTONE 374
319
+ #define INTTWO 375
320
+ #define INTTHREE 376
321
+ #define BAR 377
322
+ #define WIDEBAR 378
323
+ #define VEC 379
324
+ #define WIDEVEC 380
325
+ #define HAT 381
326
+ #define WIDEHAT 382
327
+ #define CHECK 383
328
+ #define WIDECHECK 384
329
+ #define TILDE 385
330
+ #define WIDETILDE 386
331
+ #define DOT 387
332
+ #define DDOT 388
333
+ #define DDDOT 389
334
+ #define DDDDOT 390
335
+ #define UNARYMINUS 391
336
+ #define UNARYPLUS 392
337
+ #define BEGINENV 393
338
+ #define ENDENV 394
339
+ #define MATRIX 395
340
+ #define PMATRIX 396
341
+ #define BMATRIX 397
342
+ #define BBMATRIX 398
343
+ #define VMATRIX 399
344
+ #define VVMATRIX 400
345
+ #define SVG 401
346
+ #define ENDSVG 402
347
+ #define SMALLMATRIX 403
348
+ #define CASES 404
349
+ #define ALIGNED 405
350
+ #define GATHERED 406
351
+ #define SUBSTACK 407
352
+ #define PMOD 408
353
+ #define RMCHAR 409
354
+ #define COLOR 410
355
+ #define BGCOLOR 411
356
+ #define XARROW 412
357
+ #define OPTARGOPEN 413
358
+ #define OPTARGCLOSE 414
353
359
 
354
360
 
355
361