itextomml 1.3.24 → 1.3.25

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 (6) hide show
  1. data/ext/itex2MML.h +3 -3
  2. data/ext/lex.yy.c +1667 -1659
  3. data/ext/y.tab.c +1391 -1375
  4. data/ext/y.tab.h +164 -162
  5. data/lib/itex_stringsupport.rb +2377 -0
  6. metadata +19 -5
data/ext/y.tab.h CHANGED
@@ -108,87 +108,88 @@
108
108
  ATTRLIST = 324,
109
109
  ITALICS = 325,
110
110
  BOLD = 326,
111
- SLASHED = 327,
112
- RM = 328,
113
- BB = 329,
114
- ST = 330,
115
- END = 331,
116
- BBLOWERCHAR = 332,
117
- BBUPPERCHAR = 333,
118
- BBDIGIT = 334,
119
- CALCHAR = 335,
120
- FRAKCHAR = 336,
121
- CAL = 337,
122
- FRAK = 338,
123
- CLAP = 339,
124
- LLAP = 340,
125
- RLAP = 341,
126
- ROWOPTS = 342,
127
- TEXTSIZE = 343,
128
- SCSIZE = 344,
129
- SCSCSIZE = 345,
130
- DISPLAY = 346,
131
- TEXTSTY = 347,
132
- TEXTBOX = 348,
133
- TEXTSTRING = 349,
134
- XMLSTRING = 350,
135
- CELLOPTS = 351,
136
- ROWSPAN = 352,
137
- COLSPAN = 353,
138
- THINSPACE = 354,
139
- MEDSPACE = 355,
140
- THICKSPACE = 356,
141
- QUAD = 357,
142
- QQUAD = 358,
143
- NEGSPACE = 359,
144
- PHANTOM = 360,
145
- HREF = 361,
146
- UNKNOWNCHAR = 362,
147
- EMPTYMROW = 363,
148
- STATLINE = 364,
149
- TOOLTIP = 365,
150
- TOGGLE = 366,
151
- FGHIGHLIGHT = 367,
152
- BGHIGHLIGHT = 368,
153
- SPACE = 369,
154
- INTONE = 370,
155
- INTTWO = 371,
156
- INTTHREE = 372,
157
- BAR = 373,
158
- WIDEBAR = 374,
159
- VEC = 375,
160
- WIDEVEC = 376,
161
- HAT = 377,
162
- WIDEHAT = 378,
163
- CHECK = 379,
164
- WIDECHECK = 380,
165
- TILDE = 381,
166
- WIDETILDE = 382,
167
- DOT = 383,
168
- DDOT = 384,
169
- DDDOT = 385,
170
- DDDDOT = 386,
171
- UNARYMINUS = 387,
172
- UNARYPLUS = 388,
173
- BEGINENV = 389,
174
- ENDENV = 390,
175
- MATRIX = 391,
176
- PMATRIX = 392,
177
- BMATRIX = 393,
178
- BBMATRIX = 394,
179
- VMATRIX = 395,
180
- VVMATRIX = 396,
181
- SVG = 397,
182
- ENDSVG = 398,
183
- SMALLMATRIX = 399,
184
- CASES = 400,
185
- ALIGNED = 401,
186
- GATHERED = 402,
187
- SUBSTACK = 403,
188
- PMOD = 404,
189
- RMCHAR = 405,
190
- COLOR = 406,
191
- BGCOLOR = 407
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
192
193
  };
193
194
  #endif
194
195
  /* Tokens. */
@@ -261,87 +262,88 @@
261
262
  #define ATTRLIST 324
262
263
  #define ITALICS 325
263
264
  #define BOLD 326
264
- #define SLASHED 327
265
- #define RM 328
266
- #define BB 329
267
- #define ST 330
268
- #define END 331
269
- #define BBLOWERCHAR 332
270
- #define BBUPPERCHAR 333
271
- #define BBDIGIT 334
272
- #define CALCHAR 335
273
- #define FRAKCHAR 336
274
- #define CAL 337
275
- #define FRAK 338
276
- #define CLAP 339
277
- #define LLAP 340
278
- #define RLAP 341
279
- #define ROWOPTS 342
280
- #define TEXTSIZE 343
281
- #define SCSIZE 344
282
- #define SCSCSIZE 345
283
- #define DISPLAY 346
284
- #define TEXTSTY 347
285
- #define TEXTBOX 348
286
- #define TEXTSTRING 349
287
- #define XMLSTRING 350
288
- #define CELLOPTS 351
289
- #define ROWSPAN 352
290
- #define COLSPAN 353
291
- #define THINSPACE 354
292
- #define MEDSPACE 355
293
- #define THICKSPACE 356
294
- #define QUAD 357
295
- #define QQUAD 358
296
- #define NEGSPACE 359
297
- #define PHANTOM 360
298
- #define HREF 361
299
- #define UNKNOWNCHAR 362
300
- #define EMPTYMROW 363
301
- #define STATLINE 364
302
- #define TOOLTIP 365
303
- #define TOGGLE 366
304
- #define FGHIGHLIGHT 367
305
- #define BGHIGHLIGHT 368
306
- #define SPACE 369
307
- #define INTONE 370
308
- #define INTTWO 371
309
- #define INTTHREE 372
310
- #define BAR 373
311
- #define WIDEBAR 374
312
- #define VEC 375
313
- #define WIDEVEC 376
314
- #define HAT 377
315
- #define WIDEHAT 378
316
- #define CHECK 379
317
- #define WIDECHECK 380
318
- #define TILDE 381
319
- #define WIDETILDE 382
320
- #define DOT 383
321
- #define DDOT 384
322
- #define DDDOT 385
323
- #define DDDDOT 386
324
- #define UNARYMINUS 387
325
- #define UNARYPLUS 388
326
- #define BEGINENV 389
327
- #define ENDENV 390
328
- #define MATRIX 391
329
- #define PMATRIX 392
330
- #define BMATRIX 393
331
- #define BBMATRIX 394
332
- #define VMATRIX 395
333
- #define VVMATRIX 396
334
- #define SVG 397
335
- #define ENDSVG 398
336
- #define SMALLMATRIX 399
337
- #define CASES 400
338
- #define ALIGNED 401
339
- #define GATHERED 402
340
- #define SUBSTACK 403
341
- #define PMOD 404
342
- #define RMCHAR 405
343
- #define COLOR 406
344
- #define BGCOLOR 407
265
+ #define BOXED 327
266
+ #define SLASHED 328
267
+ #define RM 329
268
+ #define BB 330
269
+ #define ST 331
270
+ #define END 332
271
+ #define BBLOWERCHAR 333
272
+ #define BBUPPERCHAR 334
273
+ #define BBDIGIT 335
274
+ #define CALCHAR 336
275
+ #define FRAKCHAR 337
276
+ #define CAL 338
277
+ #define FRAK 339
278
+ #define CLAP 340
279
+ #define LLAP 341
280
+ #define RLAP 342
281
+ #define ROWOPTS 343
282
+ #define TEXTSIZE 344
283
+ #define SCSIZE 345
284
+ #define SCSCSIZE 346
285
+ #define DISPLAY 347
286
+ #define TEXTSTY 348
287
+ #define TEXTBOX 349
288
+ #define TEXTSTRING 350
289
+ #define XMLSTRING 351
290
+ #define CELLOPTS 352
291
+ #define ROWSPAN 353
292
+ #define COLSPAN 354
293
+ #define THINSPACE 355
294
+ #define MEDSPACE 356
295
+ #define THICKSPACE 357
296
+ #define QUAD 358
297
+ #define QQUAD 359
298
+ #define NEGSPACE 360
299
+ #define PHANTOM 361
300
+ #define HREF 362
301
+ #define UNKNOWNCHAR 363
302
+ #define EMPTYMROW 364
303
+ #define STATLINE 365
304
+ #define TOOLTIP 366
305
+ #define TOGGLE 367
306
+ #define FGHIGHLIGHT 368
307
+ #define BGHIGHLIGHT 369
308
+ #define SPACE 370
309
+ #define INTONE 371
310
+ #define INTTWO 372
311
+ #define INTTHREE 373
312
+ #define BAR 374
313
+ #define WIDEBAR 375
314
+ #define VEC 376
315
+ #define WIDEVEC 377
316
+ #define HAT 378
317
+ #define WIDEHAT 379
318
+ #define CHECK 380
319
+ #define WIDECHECK 381
320
+ #define TILDE 382
321
+ #define WIDETILDE 383
322
+ #define DOT 384
323
+ #define DDOT 385
324
+ #define DDDOT 386
325
+ #define DDDDOT 387
326
+ #define UNARYMINUS 388
327
+ #define UNARYPLUS 389
328
+ #define BEGINENV 390
329
+ #define ENDENV 391
330
+ #define MATRIX 392
331
+ #define PMATRIX 393
332
+ #define BMATRIX 394
333
+ #define BBMATRIX 395
334
+ #define VMATRIX 396
335
+ #define VVMATRIX 397
336
+ #define SVG 398
337
+ #define ENDSVG 399
338
+ #define SMALLMATRIX 400
339
+ #define CASES 401
340
+ #define ALIGNED 402
341
+ #define GATHERED 403
342
+ #define SUBSTACK 404
343
+ #define PMOD 405
344
+ #define RMCHAR 406
345
+ #define COLOR 407
346
+ #define BGCOLOR 408
345
347
 
346
348
 
347
349