maind.c

Go to the documentation of this file.

/*
 
  $Id: maind.c 23065 2016-03-02 09:05:50Z coelho $
 
  Copyright 1989-2016 MINES ParisTech
 
  This file is part of PIPS.
 
  PIPS 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 3 of the License, or
  any later version.
 
  PIPS 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 PIPS.  If not, see <http://www.gnu.org/licenses/>.
 
*/
#ifdef HAVE_CONFIG_H
    #include "pips_config.h"
#endif
/* This file comes directly from maind.c, from which main() 
 * has been removed. All globals definitions has also been removed.
 * This file is necessary for compilation.
 *      AL 9/12/93
 */
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <ctype.h>
#include "pip__type.h"
#include "pip__sol.h"
#include "pip__tab.h"
#include <sys/types.h>
 
#define INLENGTH 1024
extern  long    int cross_product, limit;
extern  int     allocation, comptage;
extern  char    inbuff[];
extern  int     inptr,  proviso, verbose;
extern  FILE    *dump;
extern  char    dump_name[];
 
 
Tableau *expanser();
 
int dgetc(foo)
FILE *foo;
{
 char *p;
 if(inptr >= proviso)
   {p = fgets(inbuff, INLENGTH, foo);
    if(p == NULL) return EOF;
    proviso = strlen(inbuff);
    if(INLENGTH - proviso <= 1) {
      fprintf(stderr, "troncature %d\n",proviso);
      exit(12);
    }
    inptr = 0;
    if(verbose > 0) fprintf(dump, "-- %s", inbuff);
  }
 return inbuff[inptr++];
}
 
int dscanf(foo, format, val)
FILE *foo;
char * format;
Entier * val;
{
 char * p;
 int c;
 for(;inptr < proviso; inptr++)
   if(inbuff[inptr] != ' ' && inbuff[inptr] != '\n' && inbuff[inptr] != '\t')
                                break;
 while(inptr >= proviso)
   {p = fgets(inbuff, 256, foo);
    if(p == NULL) return EOF;
    proviso = strlen(inbuff);
    if(verbose > 0) {
      fprintf(dump, ".. %s", inbuff);
      fflush(dump);
    }
    for(inptr = 0; inptr < proviso; inptr++)
       if(inbuff[inptr] != ' ' && inbuff[inptr] != '\n' && inbuff[inptr] != '\t')
                                break;
  }
 if(sscanf(inbuff+inptr, format, val) != 1) return -1;
 for(; inptr < proviso; inptr++)
        if((c = inbuff[inptr]) != '-' && !isdigit(c)) break;
 return 0;
}
 
void balance(foo, bar)
FILE *foo, *bar;
{
 int level = 0;
 int c;
 while((c = dgetc(foo)) != EOF)
     {putc(c, bar);
      switch(c)
          {case '(' : level++; break;
           case ')' : if(--level == 0) return;
          }
     }
}
 
void escape(foo, bar, level)
FILE * foo, * bar;
int level;
{int c;
 while((c = dgetc(foo)) != EOF)
   switch(c)
     {case '(' : level ++; break;
     case ')' : if(--level == 0)
                     { fprintf(bar, "\nerror\n)\n");
                       return;
                     }
     }
}