Subversion Repositories wimsdev

Rev

Rev 15177 | Rev 16599 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 15177 Rev 16596
Line 374... Line 374...
374 
  }
 374 
  }
375 
 
 375 
 
376 
%}
 376 
%}
377 
 
 377 
 
378 
%left TEXOVER TEXATOP
 378 
%left TEXOVER TEXATOP
379 
%token TMP_FONTSIZE LARGERINT BIGINT BIGGINT BIGGGINT CHAR STARTMATH STARTDMATH ENDMATH MI MIB MN MO SUP SUB MROWOPEN MROWCLOSE LEFT RIGHT BIG BBIG BIGG BBIGG BIGL BBIGL BIGGL BBIGGL DFRAC FRAC TFRAC SFRAC OPERATORNAME MATHOP MATHBIN MATHREL MOP MOL MOLL MOF MOR PERIODDELIM OTHERDELIM LEFTDELIM RIGHTDELIM MOS MOB SQRT ROOT BINOM BINOM2 TBINOM UNDER OVER OVERBRACE UNDERLINE UNDERBRACE UNDEROVER TENSOR MULTI ARRAYALIGN TEX_OPTIONS ARRAY COLSEP ROWSEP ARRAYOPTS COLLAYOUT COLALIGN ROWALIGN ALIGN EQROWS EQCOLS ROWLINES COLLINES FRAME PADDING ATTRLIST ITALICS BOLD BOXED SLASHED RM WIMSROMAN BB ST END BBLOWERCHAR BBUPPERCHAR BBDIGIT CALCHAR FRAKCHAR CAL FRAK CLAP LLAP RLAP ROWOPTS TEXTSIZE SCSIZE SCSCSIZE DISPLAY TEXTSTY TEXTBOX TEXTSTRING XMLSTRING CELLOPTS ROWSPAN COLSPAN THINSPACE MEDSPACE THICKSPACE QUAD QQUAD NEGSPACE PHANTOM HREF UNKNOWNCHAR EMPTYMROW STATLINE TOOLTIP TOGGLE FGHIGHLIGHT BGHIGHLIGHT SPACE INTONE INTTWO INTTHREE BAR WIDEBAR VEC WIDEVEC OVERARROW UNDERARROW HAT WIDEHAT CHECK WIDECHECK TILDE WIDETILDE ACCENTS DOT DDOT DDDOT DDDDOT UNARYMINUS UNARYPLUS BEGINENV ENDENV EQUATION MATRIX PMATRIX BMATRIX BBMATRIX VMATRIX VVMATRIX SVG ENDSVG HTML ENDHTML SMALLMATRIX CASES ALIGNED GATHERED SUBSTACK PMOD RMCHAR COLOR SPECIAL INPUT BGCOLOR XARROW OPTARGOPEN OPTARGCLOSE ITEXNUM RAISEBOX NEG BRACK SHORTARRAY
 379 
%token TMP_FONTSIZE LARGERINT BIGINT BIGGINT BIGGGINT CHAR STARTMATH STARTDMATH ENDMATH MI MIB MN MO SUP SUB MROWOPEN MROWCLOSE LEFT RIGHT BIG BBIG BIGG BBIGG BIGL BBIGL BIGGL BBIGGL DFRAC FRAC TFRAC SFRAC OPERATORNAME MATHOP MATHBIN MATHREL MOP MOL MOLL MOF MOR PERIODDELIM OTHERDELIM LEFTDELIM RIGHTDELIM MOS MOB SQRT ROOT BINOM BINOM2 TBINOM UNDER OVER OVERBRACE UNDERLINE UNDERBRACE UNDEROVER TENSOR MULTI ARRAYALIGN TEX_OPTIONS ARRAY COLSEP ROWSEP ARRAYOPTS COLLAYOUT COLALIGN ROWALIGN ALIGN EQROWS EQCOLS ROWLINES COLLINES FRAME PADDING ATTRLIST ITALICS BOLD BOXED SLASHED RM WIMSROMAN BB ST END BBLOWERCHAR BBUPPERCHAR BBDIGIT CALCHAR FRAKCHAR CAL FRAK CLAP LLAP RLAP ROWOPTS TEXTSIZE SCSIZE SCSCSIZE DISPLAY TEXTSTY TEXTBOX TEXTSTRING XMLSTRING CELLOPTS ROWSPAN COLSPAN THINSPACE MEDSPACE THICKSPACE QUAD QQUAD NEGSPACE PHANTOM HREF UNKNOWNCHAR EMPTYMROW STATLINE TOOLTIP TOGGLE FGHIGHLIGHT BGHIGHLIGHT SPACE INTONE INTTWO INTTHREE BAR WIDEBAR VEC WIDEVEC OVERARROW UNDERARROW HAT WIDEHAT CHECK WIDECHECK TILDE WIDETILDE ACCENTS DOT DDOT DDDOT DDDDOT UNARYMINUS UNARYPLUS BEGINENV ENDENV EQUATION MATRIX PMATRIX BMATRIX BBMATRIX VMATRIX VVMATRIX SVG ENDSVG HTML ENDHTML SMALLMATRIX CASES ALIGNED GATHERED SUBSTACK PMOD RMCHAR COLOR SPECIAL INPUT LEWIS BGCOLOR XARROW OPTARGOPEN OPTARGCLOSE ITEXNUM RAISEBOX NEG BRACK SHORTARRAY
380 
 
 380 
 
381 
%%
 381 
%%
382 
 
 382 
 
383 
doc:  xmlmmlTermList {/* all processing done in body*/};
 383 
doc:  xmlmmlTermList {/* all processing done in body*/};
384 
 
 384 
 
Line 703... Line 703...
703 
| fghighlight
 703 
| fghighlight
704 
| bghighlight
 704 
| bghighlight
705 
| color
 705 
| color
706 
| special
 706 
| special
707 
| input
 707 
| input
- 
 
 708 
| lewis
708 
| bigint
 709 
| bigint
709 
| texover
 710 
| texover
710 
| texatop
 711 
| texatop
711 
| brack
 712 
| brack
712 
| MROWOPEN closedTerm MROWCLOSE {
 713 
| MROWOPEN closedTerm MROWCLOSE {
Line 1098... Line 1099...
1098 
  $1 = wims_mathml_copy_string(value);
 1099 
  $1 = wims_mathml_copy_string(value);
1099 
  s1 = wims_mathml_copy3(s1,$1,"</textarea></annotation-xml></semantics>");
 1100 
  s1 = wims_mathml_copy3(s1,$1,"</textarea></annotation-xml></semantics>");
1100 
  $$ = wims_mathml_copy_string(s1);
 1101 
  $$ = wims_mathml_copy_string(s1);
1101 
  wims_mathml_free_string(s1);
 1102 
  wims_mathml_free_string(s1);
1102 
  wims_mathml_free_string($1);
 1103 
  wims_mathml_free_string($1);
- 
 
 1104 
};
- 
 
 1105 
 
- 
 
 1106 
lewis: LEWIS closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm {
- 
 
 1107 
  char *s1 = wims_mathml_copy13("<mtable columnspacing=\"0.3ex\" columnalign=\"left\" columnlines=\"none\" rowlines=\"none\" rowalign=\"center\"><mtr><mtd><mstyle mathsize=\"70%\"><munderover><mphantom></mphantom><mrow><mo mathsize=\"120%\">",$3,
- 
 
 1108 
  "</mo></mrow><mrow><mo mathsize=\"120%\">",$4,
- 
 
 1109 
  "</mo></mrow></munderover></style></mtd><mtd><munderover>",$2,"<mrow><mo>",$10,
- 
 
 1110 
  "</mo><mo>",$9,"</mo></mrow><mrow><mo>",$5,"</mo><mo>");
- 
 
 1111 
  $$ = wims_mathml_copy13 (s1,$6,"</mo></mrow></munderover></mtd><mtd><mstyle mathsize=\"70%\"><munderover><mphantom></mphantom><mrow><mo mathsize=\"120%\">",$8,
- 
 
 1112 
  "</mo></mrow><mrow><mo mathsize=\"120%\">",$7,
- 
 
 1113 
  "</mo></mrow></munderover></mstyle></mtd></mtr></mtable>",0,0,0,0,0,0);
- 
 
 1114 
  wims_mathml_free_string(s1);
- 
 
 1115 
  wims_mathml_free_string($2);
- 
 
 1116 
  wims_mathml_free_string($3);
- 
 
 1117 
  wims_mathml_free_string($4);
- 
 
 1118 
  wims_mathml_free_string($5);
- 
 
 1119 
  wims_mathml_free_string($6);
- 
 
 1120 
  wims_mathml_free_string($7);
- 
 
 1121 
  wims_mathml_free_string($8);
- 
 
 1122 
  wims_mathml_free_string($9);
- 
 
 1123 
  wims_mathml_free_string($10);
1103 
};
 1124 
};
1104 
 
 1125 
 
1105 
special: SPECIAL ATTRLIST compoundTermList {
 1126 
special: SPECIAL ATTRLIST compoundTermList {
1106 
  char * s1 = wims_mathml_copy3("<mstyle mathcolor=", $2, ">");
 1127 
  char * s1 = wims_mathml_copy3("<mstyle mathcolor=", $2, ">");
1107 
  $$ = wims_mathml_copy3(s1, $3, "</mstyle>");
 1128 
  $$ = wims_mathml_copy3(s1, $3, "</mstyle>");