itextomml 1.4.4 → 1.4.5

Sign up to get free protection for your applications and to get access to all the features.
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