Subversion Repositories wimsdev

/**            wims_mathml 1.4.11

 *   wims_mathml.y last modified 06/22/2020 (r.15175)

 **/

%parse-param {char **ret_str}

%{

  #include <stdio.h>

  #include <string.h>

  #include <stdlib.h>

  #include "wims_mathml.h"

  #define YYSTYPE char *

  #define yytext wims_mathml_yytext

   extern int yylex ();

   extern char * yytext;

  static void wims_mathml_default_error (const char * msg)

  {

    //   if (msg){ fprintf(stderr, "Line: %d Error: %s\n", wims_mathml_lineno, msg);}

  }

  void (*wims_mathml_error) (const char * msg) = wims_mathml_default_error;

  static void yyerror (char ** ret_str, char * s)

  {

  //    char * msg = wims_mathml_copy3 (s, " at token ", yytext);

    if (wims_mathml_error)

      (*wims_mathml_error) ("ERROR");

  //     wims_mathml_free_string (msg);

  }

  /* Note: If length is 0, then buffer is treated like a string; otherwise only length bytes are written.

   */

  static void wims_mathml_default_write (const char * buffer, unsigned long length)

  {

    if (buffer)

    {

      if (length)

        fwrite (buffer, 1, length, stdout);

      else

        fputs (buffer, stdout);

    }

  }

  static void wims_mathml_default_write_mathml (const char * mathml)

  {

    if (wims_mathml_write)

      (*wims_mathml_write) (mathml, 0);

  }

  #ifdef wims_mathml_CAPTURE

    static char * wims_mathml_output_string = "" ;

    const char * wims_mathml_output ()

    {

      char * copy = (char *) malloc((wims_mathml_output_string ? strlen(wims_mathml_output_string) : 0) + 1);

      if (copy)

      {

        if (wims_mathml_output_string)

        {

          strcpy(copy, wims_mathml_output_string);

          if (*wims_mathml_output_string != '\0')

            free(wims_mathml_output_string);

        }

        else

          copy[0] = 0;

        wims_mathml_output_string = "";

      }

      return copy;

    }

    static void wims_mathml_capture (const char * buffer, unsigned long length)

    {

      if (buffer)

      {

        if (length)

        {

          unsigned long first_length = wims_mathml_output_string ? strlen(wims_mathml_output_string) : 0;

          char * copy  = (char *) malloc(first_length + length + 1);

          if (copy)

          {

            if (wims_mathml_output_string)

            {

              strcpy(copy, wims_mathml_output_string);

              if (*wims_mathml_output_string != '\0')

                free(wims_mathml_output_string);

            }

            else

              copy[0] = 0;

            strncat(copy, buffer, length);

            wims_mathml_output_string = copy;

          }

        } else {

          char * copy = wims_mathml_copy2(wims_mathml_output_string, buffer);

          if (*wims_mathml_output_string != '\0')

            free(wims_mathml_output_string);

            wims_mathml_output_string = copy;

        }

      }

    }

    static void wims_mathml_capture_mathml (const char * buffer)

    {

      char * temp = wims_mathml_copy2(wims_mathml_output_string, buffer);

      if (*wims_mathml_output_string != '\0')

        free(wims_mathml_output_string);

      wims_mathml_output_string = temp;

    }

    void (*wims_mathml_write) (const char * buffer, unsigned long length) = wims_mathml_capture;

    void (*wims_mathml_write_mathml) (const char * mathml) = wims_mathml_capture_mathml;

  #else

    void (*wims_mathml_write) (const char * buffer, unsigned long length) = wims_mathml_default_write;

    void (*wims_mathml_write_mathml) (const char * mathml) = wims_mathml_default_write_mathml;

  #endif

  char * wims_mathml_empty_string = "";

  /* Create a copy of a string, adding space for extra chars

   */

  char * wims_mathml_copy_string_extra (const char * str, unsigned extra)

  {

    char * copy = (char *) malloc(extra + (str ? strlen (str) : 0) + 1);

    if (copy)

    {

      if (str)

        strcpy(copy, str);

      else

        copy[0] = 0;

    }

    return copy ? copy : wims_mathml_empty_string;

  }

  /* Create a copy of a string, appending two strings

   */

  char * wims_mathml_copy3 (const char * first, const char * second, const char * third)

  {

    int  first_length =  first ? strlen( first) : 0;

    int second_length = second ? strlen(second) : 0;

    int  third_length =  third ? strlen( third) : 0;

    char * copy = (char *) malloc(first_length + second_length + third_length + 1);

    if (copy)

    {

      if (first)

        strcpy(copy, first);

      else

        copy[0] = 0;

      if (second) strcat(copy, second);

      if ( third) strcat(copy,  third);

    }

    return copy ? copy : wims_mathml_empty_string;

  }

  /**

   * Create a copy of a string, appending 4 strings

   */

  char * wims_mathml_copy5 (const char * first, const char * second, const char * third ,const char * forth,const char * fifth)

  {

    int  first_length =  first ? strlen( first) : 0;

    int second_length = second ? strlen(second) : 0;

    int  third_length =  third ? strlen( third) : 0;

    int  forth_length =  forth ? strlen( forth) : 0;

    int  fifth_length =  fifth ? strlen( fifth) : 0;

    char * copy = (char *) malloc(first_length + second_length + third_length + forth_length + fifth_length + 1);

    if (copy)

    {

      if (first)

        strcpy(copy, first);

      else

        copy[0] = 0;

      if (second) strcat(copy, second);

      if ( third) strcat(copy,  third);

      if ( forth) strcat(copy,  forth);

      if ( fifth) strcat(copy,  fifth);

    }

    return copy ? copy : wims_mathml_empty_string;

  }

  /**

   * Create a copy of a string, appending 6 strings

   */

  char * wims_mathml_copy7 (const char * first, const char * second, const char * third ,const char * forth,const char * fifth , const char * six , const char * seven)

  {

    int  first_length =  first ? strlen( first) : 0;

    int second_length = second ? strlen(second) : 0;

    int  third_length =  third ? strlen( third) : 0;

    int  forth_length =  forth ? strlen( forth) : 0;

    int  fifth_length =  fifth ? strlen( fifth) : 0;

    int  six_length =  six ? strlen( six ) : 0;

    int  seven_length =  seven ? strlen( seven ) : 0;

    char * copy = (char *) malloc(first_length + second_length + third_length + forth_length + fifth_length + six_length + seven_length + 1);

    if (copy)

    {

      if (first)

        strcpy(copy, first);

      else

        copy[0] = 0;

      if (second) strcat(copy, second);

      if ( third) strcat(copy,  third);

      if ( forth) strcat(copy,  forth);

      if ( fifth) strcat(copy,  fifth);

      if ( six) strcat(copy,  six);

      if ( seven) strcat(copy,  seven);

    }

    return copy ? copy : wims_mathml_empty_string;

  }

  /**

   * Create a copy of a string, appending 12 strings

   */

  char * wims_mathml_copy13( const char * A , const char * B , const char * C , const char * D , const char * E , const char * F , const char * G , const char * H,  const char * I,  const char * J,  const char * K,  const char * L,  const char * M){

    int  A_length =  A ? strlen( A ) : 0;

    int  B_length =  B ? strlen( B ) : 0;

    int  C_length =  C ? strlen( C ) : 0;

    int  D_length =  D ? strlen( D ) : 0;

    int  E_length =  E ? strlen( E ) : 0;

    int  F_length =  F ? strlen( F ) : 0;

    int  G_length =  G ? strlen( G ) : 0;

    int  H_length =  H ? strlen( H ) : 0;

    int  I_length =  I ? strlen( I ) : 0;

    int  J_length =  J ? strlen( J ) : 0;

    int  K_length =  K ? strlen( K ) : 0;

    int  L_length =  L ? strlen( L ) : 0;

    int  M_length =  M ? strlen( M ) : 0;

    char * copy = (char *) malloc(A_length + B_length +   C_length +   D_length +   E_length +   F_length +   G_length +   H_length +   I_length +   J_length +   K_length +   L_length +   M_length + 1 );

    if (copy)

    {

      if (A)

        strcpy(copy, A);

      else

        copy[0] = 0;

      if (B) strcat(copy, B);

      if (C) strcat(copy, C);

      if (D) strcat(copy, D);

      if (E) strcat(copy, E);

      if (F) strcat(copy, F);

      if (G) strcat(copy, G);

      if (H) strcat(copy, H);

      if (I) strcat(copy, I);

      if (J) strcat(copy, J);

      if (K) strcat(copy, K);

      if (L) strcat(copy, L);

      if (M) strcat(copy, M);

    }

    return copy ? copy : wims_mathml_empty_string;

  }

  /* Create a copy of a string, appending a second string

   */

  char * wims_mathml_copy2 (const char * first, const char * second)

  {

    return wims_mathml_copy3(first, second, 0);

  }

  /* Create a copy of a string

   */

  char * wims_mathml_copy_string (const char * str)

  {

    return wims_mathml_copy3(str, 0, 0);

  }

  /* Create a copy of a string, escaping unsafe characters for XML

   */

  char * wims_mathml_copy_escaped (const char * str)

  {

    unsigned long length = 0;

    const char * ptr1 = str;

    char * ptr2 = 0;

    char * copy = 0;

    if ( str == 0) return wims_mathml_empty_string;

    if (*str == 0) return wims_mathml_empty_string;

    while (*ptr1)

    {

      switch (*ptr1)

      {

        case '<':  /* &lt;   */

        case '>':  /* >   */

          length += 4;

          break;

        case '&':  /* &  */

          length += 5;

          break;

        case '\'': /* ' */

        case '"':  /* " */

        case '-':  /* - */

          length += 6;

          break;

        default:

          length += 1;

          break;

      }

      ++ptr1;

    }

    copy = (char *) malloc (length + 1);

    if (copy)

    {

      ptr1 = str;

      ptr2 = copy;

      while (*ptr1)

      {

        switch (*ptr1)

        {

          case '<':

            strcpy (ptr2, "<");

            ptr2 += 4;

            break;

          case '>':

            strcpy (ptr2, ">");

            ptr2 += 4;

            break;

          case '&':  /* &  */

            strcpy (ptr2, "&");

            ptr2 += 5;

            break;

          case '\'': /* ' */

            strcpy (ptr2, "'");

            ptr2 += 6;

            break;

          case '"':  /* " */

            strcpy (ptr2, """);

            ptr2 += 6;

            break;

          case '-':  /* - */

            strcpy (ptr2, "-");

            ptr2 += 6;

            break;

          default:

            *ptr2++ = *ptr1;

            break;

        }

        ++ptr1;

      }

      *ptr2 = 0;

    }

    return copy ? copy : wims_mathml_empty_string;

  }

  /* Create a hex character reference string corresponding to code

   */

  char * wims_mathml_character_reference (unsigned long int code)

  {

    #define ENTITY_LENGTH 10

    char * entity = (char *) malloc(ENTITY_LENGTH);

    sprintf(entity, "&#x%05lx;", code);

    return entity;

  }

  void wims_mathml_free_string (char * str)

  {

    if (str && str != wims_mathml_empty_string)

      free(str);

  }

%}

%left TEXOVER TEXATOP

%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

%%

doc:  xmlmmlTermList {/* all processing done in body*/};

xmlmmlTermList:

{/* nothing - do nothing*/}

| char {/* proc done in body*/}

| expression {/* all proc. in body*/}

| xmlmmlTermList char {/* all proc. in body*/}

| xmlmmlTermList expression {/* all proc. in body*/};

char: CHAR {printf("%s", $1);};

expression: STARTMATH ENDMATH {/* empty math group - ignore*/}

| STARTDMATH ENDMATH {/* ditto */}

| STARTMATH compoundTermList ENDMATH {

  char ** r = (char **) ret_str;

  char *s;

  if( set_javascript() == 1){

   s = wims_mathml_copy7("<span class=\"wims_mathml\" onclick=\"javascript:wims_mathml_zoom('",read_mathml_id(),"')\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\" display=\"inline\"><mstyle id=\"", read_mathml_id() ,"\" mathsize=\"100%%\">", $2, "</mstyle></math></span>");

  }

  else

  {

    s = wims_mathml_copy7("<span class=\"wims_mathml\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\" display=\"inline\"><mstyle id=\"", read_mathml_id() ,"\" mathsize=\"",read_fontsize(),"\">", $2, "</mstyle></math></span>");

  }

  wims_mathml_free_string($2);

  if (r) {

    (*r) = (s == wims_mathml_empty_string) ? 0 : s;

  }

  else

  {

    if (wims_mathml_write_mathml)

      (*wims_mathml_write_mathml) (s);

    wims_mathml_free_string(s);

  }

}

| STARTDMATH compoundTermList ENDMATH {

  char ** r = (char **) ret_str;

  char *s;

  if( set_javascript() == 1){

   s = wims_mathml_copy7("<span style=\"font-size:1em;\" onclick=\"javascript:wims_mathml_zoom('",read_mathml_id(),"')\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\" display=\"block\"><mstyle id=\"", read_mathml_id() ,"\" mathsize=\"100%%\">", $2, "</mstyle></math></span>");

  }

  else

  {

    s = wims_mathml_copy7("<span style=\"font-size:1em;\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\" display=\"block\"><mstyle id=\"", read_mathml_id() ,"\" mathsize=\"",read_fontsize(),"\">", $2, "</mstyle></math></span>");

  }

  wims_mathml_free_string($2);

  if (r) {

    (*r) = (s == wims_mathml_empty_string) ? 0 : s;

  }

  else {

    if (wims_mathml_write_mathml)

      (*wims_mathml_write_mathml) (s);

    wims_mathml_free_string(s);

  }

};

compoundTermList: compoundTerm {

  $$ = wims_mathml_copy_string($1);

  wims_mathml_free_string($1);

}

| compoundTermList compoundTerm {

  $$ = wims_mathml_copy2($1, $2);

  wims_mathml_free_string($1);

  wims_mathml_free_string($2);

};

compoundTerm: mob SUB closedTerm SUP closedTerm {

  if (wims_mathml_displaymode == 1) {

    char * s1 = wims_mathml_copy3("<munderover>", $1, " ");

    char * s2 = wims_mathml_copy3($3, " ", $5);

    $$ = wims_mathml_copy3(s1, s2, "</munderover>");

    wims_mathml_free_string(s1);

    wims_mathml_free_string(s2);

  }

  else {

    char * s1 = wims_mathml_copy3("<msubsup>", $1, " ");

    char * s2 = wims_mathml_copy3($3, " ", $5);

    $$ = wims_mathml_copy3(s1, s2, "</msubsup>");

    wims_mathml_free_string(s1);

    wims_mathml_free_string(s2);

  }

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

  wims_mathml_free_string($5);

}

| mob SUB closedTerm {

  if (wims_mathml_displaymode == 1) {

    char * s1 = wims_mathml_copy3("<munder>", $1, " ");

    $$ = wims_mathml_copy3(s1, $3, "</munder>");

    wims_mathml_free_string(s1);

  }

  else {

    char * s1 = wims_mathml_copy3("<msub>", $1, " ");

    $$ = wims_mathml_copy3(s1, $3, "</msub>");

    wims_mathml_free_string(s1);

  }

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

}

| mob SUP closedTerm SUB closedTerm {

  if (wims_mathml_displaymode == 1) {

    char * s1 = wims_mathml_copy3("<munderover>", $1, " ");

    char * s2 = wims_mathml_copy3($5, " ", $3);

    $$ = wims_mathml_copy3(s1, s2, "</munderover>");

    wims_mathml_free_string(s1);

    wims_mathml_free_string(s2);

  }

  else {

    char * s1 = wims_mathml_copy3("<msubsup>", $1, " ");

    char * s2 = wims_mathml_copy3($5, " ", $3);

    $$ = wims_mathml_copy3(s1, s2, "</msubsup>");

    wims_mathml_free_string(s1);

    wims_mathml_free_string(s2);

  }

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

  wims_mathml_free_string($5);

}

| mob SUP closedTerm {

  if (wims_mathml_displaymode == 1) {

    char * s1 = wims_mathml_copy3("<mover>", $1, " ");

    $$ = wims_mathml_copy3(s1, $3, "</mover>");

    wims_mathml_free_string(s1);

  }

  else {

    char * s1 = wims_mathml_copy3("<msup>", $1, " ");

    $$ = wims_mathml_copy3(s1, $3, "</msup>");

    wims_mathml_free_string(s1);

  }

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

}

|mib SUB closedTerm SUP closedTerm {

  if (wims_mathml_displaymode == 1) {

    char * s1 = wims_mathml_copy3("<munderover>", $1, " ");

    char * s2 = wims_mathml_copy3($3, " ", $5);

    $$ = wims_mathml_copy3(s1, s2, "</munderover>");

    wims_mathml_free_string(s1);

    wims_mathml_free_string(s2);

  }

  else {

    char * s1 = wims_mathml_copy3("<msubsup>", $1, " ");

    char * s2 = wims_mathml_copy3($3, " ", $5);

    $$ = wims_mathml_copy3(s1, s2, "</msubsup>");

    wims_mathml_free_string(s1);

    wims_mathml_free_string(s2);

  }

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

  wims_mathml_free_string($5);

}

| mib SUB closedTerm {

  if (wims_mathml_displaymode == 1) {

    char * s1 = wims_mathml_copy3("<munder>", $1, " ");

    $$ = wims_mathml_copy3(s1, $3, "</munder>");

    wims_mathml_free_string(s1);

  }

  else {

    char * s1 = wims_mathml_copy3("<msub>", $1, " ");

    $$ = wims_mathml_copy3(s1, $3, "</msub>");

    wims_mathml_free_string(s1);

  }

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

}

| mib SUP closedTerm SUB closedTerm {

  if (wims_mathml_displaymode == 1) {

    char * s1 = wims_mathml_copy3("<munderover>", $1, " ");

    char * s2 = wims_mathml_copy3($5, " ", $3);

    $$ = wims_mathml_copy3(s1, s2, "</munderover>");

    wims_mathml_free_string(s1);

    wims_mathml_free_string(s2);

  }

  else {

    char * s1 = wims_mathml_copy3("<msubsup>", $1, " ");

    char * s2 = wims_mathml_copy3($5, " ", $3);

    $$ = wims_mathml_copy3(s1, s2, "</msubsup>");

    wims_mathml_free_string(s1);

    wims_mathml_free_string(s2);

  }

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

  wims_mathml_free_string($5);

}

| mib SUP closedTerm {

  if (wims_mathml_displaymode == 1) {

    char * s1 = wims_mathml_copy3("<mover>", $1, " ");

    $$ = wims_mathml_copy3(s1, $3, "</mover>");

    wims_mathml_free_string(s1);

  }

  else {

    char * s1 = wims_mathml_copy3("<msup>", $1, " ");

    $$ = wims_mathml_copy3(s1, $3, "</msup>");

    wims_mathml_free_string(s1);

  }

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

}

| closedTerm SUB closedTerm SUP closedTerm {

  char * s1 = wims_mathml_copy3("<msubsup>", $1, " ");

  char * s2 = wims_mathml_copy3($3, " ", $5);

  $$ = wims_mathml_copy3(s1, s2, "</msubsup>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string(s2);

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

  wims_mathml_free_string($5);

}

| closedTerm SUP closedTerm SUB closedTerm {

  char * s1 = wims_mathml_copy3("<msubsup>", $1, " ");

  char * s2 = wims_mathml_copy3($5, " ", $3);

  $$ = wims_mathml_copy3(s1, s2, "</msubsup>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string(s2);

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

  wims_mathml_free_string($5);

}

| closedTerm SUB closedTerm {

  char * s1 = wims_mathml_copy3("<msub>", $1, " ");

  $$ = wims_mathml_copy3(s1, $3, "</msub>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

}

| closedTerm SUP closedTerm {

  char * s1 = wims_mathml_copy3("<msup>", $1, " ");

  $$ = wims_mathml_copy3(s1, $3, "</msup>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($1);

  wims_mathml_free_string($3);

}

| SUB closedTerm {

  $$ = wims_mathml_copy3("<msub><mo></mo>", $2, "</msub>");

  wims_mathml_free_string($2);

}

| SUP closedTerm {

  $$ = wims_mathml_copy3("<msup><mo></mo>", $2, "</msup>");

  wims_mathml_free_string($2);

}

| TMP_FONTSIZE compoundTerm {

  $$ = wims_mathml_copy5("<mstyle mathsize=\"",$1,"\">",$2,"</mstyle>");

  wims_mathml_free_string($1);

  wims_mathml_free_string($2);

}

| closedTerm {

  $$ = wims_mathml_copy_string($1);

  wims_mathml_free_string($1);

};

closedTerm: array

| shortarray

| unaryminus

| unaryplus

| mib

| mi {

  $$ = wims_mathml_copy3("<mi>", $1, "</mi>");

  wims_mathml_free_string($1);

}

| mn {

  $$ = wims_mathml_copy3("<mn>", $1, "</mn>");

  wims_mathml_free_string($1);

}

| mo

| tensor

| multi

| mfrac

| binom

| msqrt

| mroot

| raisebox

| munder

| mover

| bar

| vec

| overarrow

| underarrow

| hat

| dot

| ddot

| dddot

| ddddot

| check

| tilde

| accents

| moverbrace

| munderbrace

| munderline

| munderover

| emptymrow

| mathclap

| mathllap

| mathrlap

| displaystyle

| textstyle

| textsize

| scriptsize

| scriptscriptsize

| italics

| bold

| roman

| rmchars

| bbold

| frak

| slashed

| boxed

| cal

| space

| textstring

| thinspace

| medspace

| thickspace

| quad

| qquad

| negspace

| phantom

| href

| statusline

| tooltip

| toggle

| fghighlight

| bghighlight

| color

| special

| input

| lewis

| bigint

| texover

| texatop

| brack

| MROWOPEN closedTerm MROWCLOSE {

  $$ = wims_mathml_copy_string($2);

  wims_mathml_free_string($2);

}

| MROWOPEN compoundTermList MROWCLOSE {

  $$ = wims_mathml_copy3("<mrow>", $2, "</mrow>");

  wims_mathml_free_string($2);

}

| left compoundTermList right {

  char * s1 = wims_mathml_copy3("<mrow>", $1, $2);

  $$ = wims_mathml_copy3(s1, $3, "</mrow>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($1);

  wims_mathml_free_string($2);

  wims_mathml_free_string($3);

}

| mathenv

| substack

| pmod

| unrecognized;

left: LEFT LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo stretchy=\"true\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| LEFT OTHERDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo stretchy=\"true\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| LEFT PERIODDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy_string("");

  wims_mathml_free_string($2);

};

right: RIGHT RIGHTDELIM {

  $$ = wims_mathml_copy3("<mo stretchy=\"true\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| RIGHT OTHERDELIM {

  $$ = wims_mathml_copy3("<mo stretchy=\"true\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| RIGHT PERIODDELIM {

  $$ = wims_mathml_copy_string("");

  wims_mathml_free_string($2);

};

bigint:  BIGGGINT {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy_string("<mtable columnalign=\"center\" rowspacing=\"0.5ex\"><mtr><mtd><mo symmetric=\"true\"  stretchy=\"true\"  maxsize=\"600%\" minsize=\"400%\">&Integral;</mo></mtd></mtr></mtable>");

}

| BIGGINT {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy_string("<mtable columnalign=\"center\" rowspacing=\"0.5ex\"><mtr><mtd><mo symmetric=\"true\"  stretchy=\"true\"  maxsize=\"400%\" minsize=\"30%\">&Integral;</mo></mtd></mtr></mtable>");

}

| BIGINT {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy_string("<mtable columnalign=\"center\" rowspacing=\"0.5ex\"><mtr><mtd><mo symmetric=\"true\"  stretchy=\"true\"  maxsize=\"300%\" minsize=\"200%\">&Integral;</mo></mtd></mtr></mtable>");

}

| LARGERINT {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy_string("<mtable columnalign=\"center\" rowspacing=\"0.5ex\"><mtr><mtd><mo symmetric=\"true\"  stretchy=\"true\"  maxsize=\"260%\" minsize=\"160%\">&Integral;</mo></mtd></mtr></mtable>");

};

bigdelim: BIG LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BIG RIGHTDELIM {

  $$ = wims_mathml_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BIG OTHERDELIM {

  $$ = wims_mathml_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIG LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIG RIGHTDELIM {

  $$ = wims_mathml_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIG OTHERDELIM {

  $$ = wims_mathml_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BIGG LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BIGG RIGHTDELIM {

  $$ = wims_mathml_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BIGG OTHERDELIM {

  $$ = wims_mathml_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIGG LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIGG RIGHTDELIM {

  $$ = wims_mathml_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIGG OTHERDELIM {

  $$ = wims_mathml_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

|BIGL LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BIGL OTHERDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"1.2em\" minsize=\"1.2em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIGL LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIGL OTHERDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"1.8em\" minsize=\"1.8em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BIGGL LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BIGGL OTHERDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"2.4em\" minsize=\"2.4em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIGGL LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| BBIGGL OTHERDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo maxsize=\"3em\" minsize=\"3em\">", $2, "</mo>");

  wims_mathml_free_string($2);

};

unrecognized: UNKNOWNCHAR {

  $$ = wims_mathml_copy_string("<merror><mtext>Unknown character</mtext></merror>");

};

unaryminus: UNARYMINUS {

  $$ = wims_mathml_copy_string("<mo lspace=\"verythinmathspace\" rspace=\"0em\">&minus;</mo>");

};

unaryplus: UNARYPLUS {

  $$ = wims_mathml_copy_string("<mo lspace=\"verythinmathspace\" rspace=\"0em\">+</mo>");

};

mi: MI;

mib: MIB {

  wims_mathml_rowposn=2;

  $$ = wims_mathml_copy3("<mi>", $1, "</mi>");

  wims_mathml_free_string($1);

};

mn: MN

| ITEXNUM TEXTSTRING {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy_string($2);

  wims_mathml_free_string($2);

};

mob: MOB {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo lspace=\"thinmathspace\" rspace=\"thinmathspace\">", $1, "</mo>");

  wims_mathml_free_string($1);

};

mo: mob

| bigdelim

| MO {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo>", $1, "</mo>");

  wims_mathml_free_string($1);

}

| MOL {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo>", $1, "</mo>");

  wims_mathml_free_string($1);

}

| MOLL {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mstyle scriptlevel=\"0\"><mo>", $1, "</mo></mstyle>");

  wims_mathml_free_string($1);

}

| RIGHTDELIM {

  $$ = wims_mathml_copy3("<mo stretchy=\"false\">", $1, "</mo>");

  wims_mathml_free_string($1);

}

| LEFTDELIM {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo stretchy=\"false\">", $1, "</mo>");

  wims_mathml_free_string($1);

}

| OTHERDELIM {

  $$ = wims_mathml_copy3("<mo stretchy=\"false\">", $1, "</mo>");

  wims_mathml_free_string($1);

}

| MOF {

  $$ = wims_mathml_copy3("<mo stretchy=\"false\">", $1, "</mo>");

  wims_mathml_free_string($1);

}

| PERIODDELIM {

  $$ = wims_mathml_copy3("<mo>", $1, "</mo>");

  wims_mathml_free_string($1);

}

| MOS {

  wims_mathml_rowposn=2;

  $$ = wims_mathml_copy3("<mo lspace=\"mediummathspace\" rspace=\"mediummathspace\">", $1, "</mo>");

  wims_mathml_free_string($1);

}

| MOP {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo lspace=\"0em\" rspace=\"thinmathspace\">", $1, "</mo>");

  wims_mathml_free_string($1);

}

| MOR {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo lspace=\"verythinmathspace\">", $1, "</mo>");

  wims_mathml_free_string($1);

}

| OPERATORNAME TEXTSTRING {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo lspace=\"0em\" rspace=\"thinmathspace\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| MATHOP TEXTSTRING {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo lspace=\"thinmathspace\" rspace=\"thinmathspace\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| MATHBIN TEXTSTRING {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo lspace=\"mediummathspace\" rspace=\"mediummathspace\">", $2, "</mo>");

  wims_mathml_free_string($2);

}

| MATHREL TEXTSTRING {

  wims_mathml_rowposn = 2;

  $$ = wims_mathml_copy3("<mo lspace=\"thickmathspace\" rspace=\"thickmathspace\">", $2, "</mo>");

  wims_mathml_free_string($2);

};

space: SPACE ST INTONE END ST INTTWO END ST INTTHREE END {

  char * s1 = wims_mathml_copy3("<mspace height=\"", $3, "ex\" depth=\"");

  char * s2 = wims_mathml_copy3($6, "ex\" width=\"", $9);

  $$ = wims_mathml_copy3(s1, s2, "em\"></mspace>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string(s2);

  wims_mathml_free_string($3);

  wims_mathml_free_string($6);

  wims_mathml_free_string($9);

};

statusline: STATLINE TEXTSTRING closedTerm {

  char * s1 = wims_mathml_copy3("<maction actiontype=\"statusline\">", $3, "<mtext>");

  $$ = wims_mathml_copy3(s1, $2, "</mtext></maction>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($2);

  wims_mathml_free_string($3);

};

tooltip: TOOLTIP TEXTSTRING closedTerm {

  char * s1 = wims_mathml_copy3("<maction actiontype=\"tooltip\">", $3, "<mtext>");

  $$ = wims_mathml_copy3(s1, $2, "</mtext></maction>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($2);

  wims_mathml_free_string($3);

};

toggle: TOGGLE closedTerm closedTerm {

  char * s1 = wims_mathml_copy3("<maction actiontype=\"toggle\" selection=\"2\">", $2, " ");

  $$ = wims_mathml_copy3(s1, $3, "</maction>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($2);

  wims_mathml_free_string($3);

};

fghighlight: FGHIGHLIGHT ATTRLIST closedTerm {

  char * s1 = wims_mathml_copy3("<maction actiontype=\"highlight\" other=\"color=", $2, "\">");

  $$ = wims_mathml_copy3(s1, $3, "</maction>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($2);

  wims_mathml_free_string($3);

};

bghighlight: BGHIGHLIGHT ATTRLIST closedTerm {

  char * s1 = wims_mathml_copy3("<maction actiontype=\"highlight\" other=\"background=", $2, "\">");

  $$ = wims_mathml_copy3(s1, $3, "</maction>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($2);

  wims_mathml_free_string($3);

};

color: COLOR ATTRLIST compoundTermList {

  char * s1 = wims_mathml_copy3("<mstyle mathcolor=", $2, ">");

  $$ = wims_mathml_copy3(s1, $3, "</mstyle>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($2);

  wims_mathml_free_string($3);

}

| BGCOLOR ATTRLIST compoundTermList {

  char * s1 = wims_mathml_copy3("<mstyle mathbackground=", $2, ">");

  $$ = wims_mathml_copy3(s1, $3, "</mstyle>");

  wims_mathml_free_string(s1);

  wims_mathml_free_string($2);

  wims_mathml_free_string($3);

};

input: INPUT {

  int len = strlen(yylval);

  char size[len];

  char id[len];

  char style[len];

  char value[len];

  char readonly[len];

  memset(size,'\0',len);

  memset(id,'\0',len);

  memset(value,'\0',len);

  memset(style,'\0',len);

  memset(readonly,'\0',len);

  int found_left = 0;

  int found_right = 0;

  int cnt=0;

  char tmp[2];

  int i;

  for(i = 0 ; i < len ; i++){

    if( yylval[i] == '{' ){

      found_left=1;found_right=0;

    } else {

      if( yylval[i] == '}' ){

        cnt++;found_left=0;found_right=1;

      } else {

        if(found_left == 1 && found_right == 0){

          tmp[0] = yylval[i];

          tmp[1] = '\0';

          switch (cnt){

            case 0 : strncat(size,tmp,1);break;

            case 1 : strncat(id,tmp,1);break;

            case 2 : strncat(style,tmp,1);break;

            case 3 : strncat(value,tmp,1);break;

            case 4 : strncat(readonly,tmp,1);break;

            default : break;

          }

        }

      }

    }

  }

  char * s1 = "<semantics><annotation-xml encoding=\"application/xhtml+xml\"><textarea xmlns=\"http://www.w3.org/1999/xhtml\"  onkeydown=\"return (event.keyCode!=13);\"";

  $1 = wims_mathml_copy_string(id);

  s1 = wims_mathml_copy5(s1, " rows=\"1\" id=\"mathml",$1,"\"",0);

  $1 = wims_mathml_copy_string(size);

  s1 = wims_mathml_copy3(s1," style=\"width:",$1);

  $1 = wims_mathml_copy_string(style);

  s1 = wims_mathml_copy5(s1,"em;",$1,"\"",0);

  if( strstr(readonly,"1") != NULL){

    s1 = wims_mathml_copy2(s1," readonly=\"readonly\">");

  } else {

    s1 = wims_mathml_copy2(s1,">");

  }

  $1 = wims_mathml_copy_string(value);

  s1 = wims_mathml_copy3(s1,$1,"</textarea></annotation-xml></semantics>");

  $$ = wims_mathml_copy_string(s1);

  wims_mathml_free_string(s1);

  wims_mathml_free_string($1);

};