Subversion Repositories wimsdev

/*    Copyright (C) 1998-2003 XIAO, Gang of Universite de Nice - Sophia Antipolis

 *

 *  This program is free software; you can redistribute it and/or modify

 *  it under the terms of the GNU General Public License as published by

 *  the Free Software Foundation; either version 2 of the License, or

 *  (at your option) any later version.

 *

 *  This program is distributed in the hope that it will be useful,

 *  but WITHOUT ANY WARRANTY; without even the implied warranty of

 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

 *  GNU General Public License for more details.

 *

 *  You should have received a copy of the GNU General Public License

 *  along with this program; if not, write to the Free Software

 *  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.

 */

 /* This program translates doc format into wims internal data format. */

#define MAX_TITLEN  60

#define MAX_PARM    10

#define MAX_PARAM   1024

#define MAX_DEFINE  1024

#include "../Lib/libwims.h"

#include "msg2wims.h"

struct {

    char *name;

    int serial;

    int type;

} param[MAX_PARAM+32];

char *inbuf;

FILE *inf, *outf;

int inlen=0,outlen=0;

int primserial=1;

char *primitive_dir="docu/primitives";

void internal_warn(char *p)

{}

void get_inf(char *fname)

{

    int i,l;

    inf=fopen(fname,"r");

    if(inf==NULL) bailout(0,0,"");

    fseek(inf,0,SEEK_END); l=ftell(inf); fseek(inf,0,SEEK_SET);

    if(l<=0) bailout(0,0,"");

    inbuf=xmalloc(l+16);

    l=fread(inbuf,1,l,inf);

    if(l<=0) bailout(0,0,"error opening input file");

    else inbuf[l]=0;

    fclose(inf); inlen=l;

    for(i=0;i<l;i++)

      if(inbuf[i]==elsechar || inbuf[i]==endifchar ||

       inbuf[i]==nextchar || inbuf[i]==whilechar) inbuf[i]=' ';

}

void open_outf(char *fname)

{

    outf=fopen(fname,"w");

    if(outf==NULL) bailout(inlen,0,"error opening output file");

}

void process_formula(char *p)

{

    char *p3, bf[MAX_LINELEN+1];

    if(strlen(p)>=MAX_LINELEN)

      bailout(inlen,0,"formula too long");

    while((p3=strstr(p,"&lt;"))!=NULL) memmove(p3," <  ",4);

    while((p3=strstr(p,">"))!=NULL) memmove(p3," >  ",4);

    for(p3=strchr(p,'\n'); p3!=NULL; p3=strchr(p3,'\n')) *p3=' ';

    snprintf(bf,sizeof(bf),"%s",p);

    if(strchr(bf,'\\')==NULL && strchr(bf,'}')==NULL && strlen(bf)>2) {

      for(p3=strstr(bf,".."); p3!=NULL; p3=strstr(p3,"..")) {

          if(*(p3+2)=='.' || *(p3+2)==',') {

            do p3++; while(*p3=='.'); continue;

          }

          *p3=','; *(p3+1)=' ';

      }

    }

    fprintf(outf,"\n!insmath %s\n",bf);

}

int main(int argc, char *argv[])

{

    char *p, *p1, *p2, *tend;

    string_modify=string_modify2;

    substitute=substit;

    if(argc==2 && strcmp(argv[1],"table")==0) {

/*if(verify_order(directives, dir_no, sizeof(directives[0]))) return -1;*/

      if(verify_order(specialfn, specialfn_no, sizeof(specialfn[0]))) return -1;

      puts("Table orders OK."); return 0;

    }

/*  is defined in public_html/scripts/docu/mkindex now for example */

    p=getenv("w_msg2wims_primitives"); if(p!=NULL) {

      snprintf(primbuf,sizeof(primbuf),"%s",p);

      for(p=primbuf; *p; p++) if(!isalnum(*p)) *p=' ';

      p=find_word_start(primbuf);

      for(primcnt=0; primcnt<256 && *p; primcnt++, p=find_word_start(p1)) {

          p1=find_word_end(p); if(*p1) *p1++=0;

          primitive[primcnt]=p;

      }

      if(primcnt>0) qsort(primitive,primcnt,sizeof(primitive[0]),_scmp);

    }

    if(argc<3) bailout(0,0,"missing file names");

    p1=argv[1]; p2=argv[2];

    get_inf(p1); open_outf(p2);

    for(p=tend=inbuf;*p;p++) {

      switch(*p) {

          case '$': fputs("$",outf); break;

          case '!': fputs("!",outf); break;

          case ':': fputs(":",outf); break;

          case elsechar: {

            if(primcnt>0) fputs("\n!else\n",outf);

            else fputc(*p,outf);

            break;

          }

          case endifchar: {

            if(primcnt>0) fputs("\n!endif\n",outf);

            else fputc(*p,outf);

            break;

          }

          case nextchar: {

            if(primcnt>0) fputs("\n!next\n",outf);

            else fputc(*p,outf);

            break;

          }

          case whilechar: {

            if(primcnt>0) fputs("\n!endwhile\n",outf);

            else fputc(*p,outf);

            break;

          }

/* lines begining by > are in small; italics and pre  */

          case '\n': {

            if(*(p+1)=='>') {

                pre: p++; fputs("\n<i><small><pre wrap>",outf);

                for(p1=strchr(p,'\n'); p1!=NULL && *(p1+1)=='>';

                  p1=strchr(++p1,'\n'));

                if(p1!=NULL) *p1++=0; else p1=p+strlen(p);

                for(p2=p;*p2;p2++) {

                  if(*p2!='<') fputc(*p2,outf);

                  else fputs("<",outf);

                }

                fputs("</pre></small></i>\n",outf);

                p=p1-1; break;

            }

/* two successive lines are replaced by an <p> - has to be fixed */

            if(*(p+1)!='\n') {fputc(*p,outf);break;}

            p++; fputs("\n<br/>\n",outf);

            while(*(p+1)=='\n') p++;

            if(*(p+1)=='>') goto pre;

            break;

          }

          case '<': {

            char *p2;

            if(tend>p || (!isalpha(*(p+1)) && *(p+1)!='!')) {

                fputc(*p,outf); break;

            }

            p2=find_tag_end(p);

            if(!*p2) {error("open_tag"); p2--;}

            tend=p2;

            fputc(*p, outf); break;

          }

/* interpretation of variables */

          case '\\': {

            char *pe;

            p++;

            if(isalpha(*p)) {

                if(primcnt>0) {

                  pe=doccheck(p);

                  if(pe>p) {p=pe-1; break;}

                }

                for(pe=p;isalnum(*pe) || *pe=='_';pe++);

                if(*pe=='[') {

                  char *pv=find_matching(pe+1,']');

                  if(pv!=NULL) {

                      char c=*p;

                      memmove(p,p+1,pv-p); *pv=')';

                      fprintf(outf,"$(m_%c",c); p--; break;

                  }

                }

                fprintf(outf,"$m_%c",*p); break;

            }

            switch(*p) {

                case '\\': fputc(*p,outf); break;

                case '{':

                case '(': {

                  char *p2, *p3, c;

                  if(*p=='{') c='}'; else c=')';

                        p++; p2=find_matching(p,c);

                  if(c==')') p3=strstr(p,"\\)");

                  else p3=strstr(p,"\\}");

                  if((p2==NULL && p3!=NULL) ||

                     (p2!=NULL && p3!=NULL && p3<p2)) p2=p3+1;

                  if(p2==NULL) fputc(*p,outf);

                  else {

                      *p2=0; if(*(p2-1)=='\\') *(p2-1)=0;

                      process_formula(p); p=p2;

                  }

                  break;

                }

                default: fputc(*p,outf); break;

            }

            break;

          }

          default: fputc(*p,outf); break;

      }

    }

    fputc('\n',outf);

    outlen=ftell(outf);  fclose(outf); bailout(inlen,outlen,"");

    return 0;

}