[BACK]Return to pvar.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / parse

Diff for /OpenXM_contrib2/asir2000/parse/pvar.c between version 1.1.1.1 and 1.17

version 1.1.1.1, 1999/12/03 07:39:12 version 1.17, 2006/03/11 23:14:53
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/asir99/parse/pvar.c,v 1.1.1.1 1999/11/10 08:12:34 noro Exp $ */  /*
    * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
    * All rights reserved.
    *
    * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
    * non-exclusive and royalty-free license to use, copy, modify and
    * redistribute, solely for non-commercial and non-profit purposes, the
    * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
    * conditions of this Agreement. For the avoidance of doubt, you acquire
    * only a limited right to use the SOFTWARE hereunder, and FLL or any
    * third party developer retains all rights, including but not limited to
    * copyrights, in and to the SOFTWARE.
    *
    * (1) FLL does not grant you a license in any way for commercial
    * purposes. You may use the SOFTWARE only for non-commercial and
    * non-profit purposes only, such as academic, research and internal
    * business use.
    * (2) The SOFTWARE is protected by the Copyright Law of Japan and
    * international copyright treaties. If you make copies of the SOFTWARE,
    * with or without modification, as permitted hereunder, you shall affix
    * to all such copies of the SOFTWARE the above copyright notice.
    * (3) An explicit reference to this SOFTWARE and its copyright owner
    * shall be made on your publication or presentation in any form of the
    * results obtained by use of the SOFTWARE.
    * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
    * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
    * for such modification or the source code of the modified part of the
    * SOFTWARE.
    *
    * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
    * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
    * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
    * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
    * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
    * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
    * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
    * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
    * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
    * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
    * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
    * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
    * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
    * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
    * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
    * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
    * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
    *
    * $OpenXM: OpenXM_contrib2/asir2000/parse/pvar.c,v 1.16 2006/02/08 02:11:19 noro Exp $
   */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
   
 NODE PVSS;  NODE PVSS;
   extern char *CUR_FUNC;
   int gdef,mgdef,ldef;
   
 void mkpvs()  
  {  void mkpvs(char *fname)
   {
         VS pvs;          VS pvs;
           char *fullname,*buf;
           FUNC f;
   
           if ( CUR_MODULE ) {
                   /* function must be declared in advance */
                   searchf(CUR_MODULE->usrf_list,fname,&f);
                   if ( !f ) {
                           buf = ALLOCA(strlen("undeclared function "+strlen(fname)+10));
                           sprintf(buf,"undeclared function `%s'",fname);
                           yyerror(buf);
                   }
           }
         pvs = (VS)MALLOC(sizeof(struct oVS));          pvs = (VS)MALLOC(sizeof(struct oVS));
         pvs->va = (struct oPV *)MALLOC(DEFSIZE*sizeof(struct oPV));          pvs->va = (struct oPV *)MALLOC(DEFSIZE*sizeof(struct oPV));
         pvs->n = 0;          pvs->n = 0;
         pvs->asize=DEFSIZE;          pvs->asize=DEFSIZE;
         CPVS = pvs;          CPVS = pvs;
   
           /* XXX */
           if ( CUR_MODULE ) {
                   fullname =
                           (char *)MALLOC_ATOMIC(strlen(CUR_MODULE->name)+strlen(fname)+1);
                   sprintf(fullname,"%s.%s",CUR_MODULE->name,fname);
                   CUR_FUNC = fullname;
           } else
                   CUR_FUNC = fname;
 }  }
   
 void pushpvs(f)  void pushpvs(FUNC f)
 FUNC f;  
 {  {
         VS pvs;          VS pvs;
         NODE node;          NODE node;
Line 53  void poppvs() {
Line 123  void poppvs() {
                 nextbplevel--;                  nextbplevel--;
 }  }
   
 int gdef;  #define IS_LOCAL 0
   #define IS_GLOBAL 1
   #define IS_MGLOBAL 2
   #define IS_PATTERN 3
   
 int makepvar(str)  
 char *str;  unsigned int makepvar(char *str)
 {  {
         int c;          int c,c1,created;
           char *buf;
   
         c = getpvar(CPVS,str,0);          if ( str[0] == '_' ) {
         if ( gdef ) {                  /* pattern variable */
                   c1 = getpvar(PPVS,str,0);
                   c = PVPATTERN((unsigned int)c1);
                   PPVS->va[c1].attr = IS_PATTERN;
           } else if ( gdef ) {
                   /* EPVS : global list of the current file */
                   /* add to the local variable list */
                   /* also add to the external variable list */
                   c = getpvar(CPVS,str,0);
                 getpvar(EPVS,str,0);                  getpvar(EPVS,str,0);
                   if ( CUR_MODULE ) {
                           c1 = getpvar(CUR_MODULE->pvs,str,1);
                           if ( c1 >= 0 ) goto CONFLICTION;
                   }
                 if ( CPVS != GPVS ) {                  if ( CPVS != GPVS ) {
                           /* inside function : we add the name to the global list */
                         getpvar(GPVS,str,0);                          getpvar(GPVS,str,0);
                         CPVS->va[c].attr = 1;                          CPVS->va[c].attr = IS_GLOBAL;
                 }                  }
         } else if ( (CPVS != GPVS) &&          } else if ( mgdef ) {
                 (CPVS->va[c].attr || (getpvar(EPVS,str,1) >= 0)) ) {                  c = getpvar(CPVS,str,0);
                 CPVS->va[c].attr = 1;                  getpvar(CUR_MODULE->pvs,str,0);
                 c = (getpvar(GPVS,str,1)|MSB);                  c1 = getpvar(EPVS,str,1);
                   if ( c1 >= 0 ) goto CONFLICTION;
                   if ( CPVS != GPVS ) {
                           /* inside function */
                           CPVS->va[c].attr = IS_MGLOBAL;
                   }
           } else if ( ldef > 0 ) {
                   /* if ldef > 0, then local variables are being declared */
                   c = getpvar(CPVS,str,0);
                   c1 = getpvar(EPVS,str,1);
                   if ( c1 >= 0 ) {
                           if ( CUR_MODULE )
                                   goto CONFLICTION;
                           else {
                                   fprintf(stderr,"Warning: \"%s\", near line %d: conflicting declarations for `%s'\n",
                                           asir_infile->name,asir_infile->ln,str);
                                   fprintf(stderr,"         `%s' is bound to the global variable\n",str);
                                   CPVS->va[c].attr = IS_GLOBAL;
                                   c1 = getpvar(GPVS,str,1); c = PVGLOBAL((unsigned int)c1);
                           }
                   } else {
                           if ( CUR_MODULE ) {
                                   c1 = getpvar(CUR_MODULE->pvs,str,1);
                           }
                           if ( c1 >= 0 ) goto CONFLICTION;
                           CPVS->va[c].attr = IS_LOCAL;
                   }
           } else if ( CPVS != GPVS ) {
                   /* inside function */
                   if ( CUR_MODULE ) {
                           /* search only */
                           c = getpvar(CPVS,str,1);
                           if ( c < 0 ) {
                                   c = getpvar(CPVS,str,0);
                                   created = 1;
                           } else
                                   created = 0;
                   } else {
                           /* may be created */
                           c = getpvar(CPVS,str,0);
                   }
                   switch ( CPVS->va[c].attr ) {
                           case IS_GLOBAL:
                                   c1 = getpvar(GPVS,str,1); c = PVGLOBAL((unsigned int)c1);
                                   break;
                           case IS_MGLOBAL:
                                   c1 = getpvar(CUR_MODULE->pvs,str,1); c = PVMGLOBAL((unsigned int)c1);
                                   break;
                           case IS_LOCAL:
                           default:
                                   if ( CUR_MODULE &&
                                           ((c1 = getpvar(CUR_MODULE->pvs,str,1)) >= 0) ) {
                                           CPVS->va[c].attr = IS_MGLOBAL;
                                           c = PVMGLOBAL((unsigned int)c1);
                                   } else if ( getpvar(EPVS,str,1) >= 0 ) {
                                           CPVS->va[c].attr = IS_GLOBAL;
                                           c1 = getpvar(GPVS,str,1); c = PVGLOBAL((unsigned int)c1);
                                   } else if ( CUR_MODULE && created && (ldef == 0) ) {
                                           /* not declared */
                                           /* if ldef == 0, at least one local variables has been
                                              declared */
                                           fprintf(stderr,
                                                   "Warning: \"%s\", near line %d: undeclared local variable `%s'\n",
                                                   asir_infile->name,asir_infile->ln,str);
                                   }
                                   break;
                   }
           } else if ( CUR_MODULE ) {
                   /* outside function, inside module */
                   if ( (c = getpvar(CUR_MODULE->pvs,str,1)) >= 0 )
                           c = PVMGLOBAL((unsigned int)c);
                   else if ( getpvar(EPVS,str,1) >= 0 ) {
                           c = getpvar(GPVS,str,1);
                           c = PVGLOBAL((unsigned int)c);
                   } else {
                           /* not declared as static or extern */
                           buf = ALLOCA(strlen("undeclared variable"+strlen(str)+10));
                           sprintf(buf,"undeclared variable `%s'",str);
                           yyerror(buf);
                   }
           } else {
                   /* outside function, outside module */
                   c = getpvar(GPVS,str,0);
         }          }
         return c;          return c;
   
   CONFLICTION:
           buf = ALLOCA(strlen("conflicting declarations for "+strlen(str)+10));
           sprintf(buf,"conflicting declarations for `%s'",str);
           yyerror(buf);
 }  }
   
 extern FUNC parse_targetf;  extern FUNC parse_targetf;
   
 int searchpvar(str)  int searchpvar(char *str)
 char *str;  
 {  {
         VS pvs;          VS pvs;
         int i;          MODULE mod;
           int c;
   
         if ( parse_targetf && parse_targetf->id != A_USR )          if ( parse_targetf && parse_targetf->id != A_USR )
                 return -1;                  c = -1;
         pvs = parse_targetf ? parse_targetf->f.usrf->pvs : GPVS;          else if ( parse_targetf ) {
         i = getpvar(pvs,str,1);                  pvs = parse_targetf->f.usrf->pvs;
         if ( ((i>=0)&&pvs->va[i].attr) || (i<0) )                  mod = parse_targetf->f.usrf->module;
                 return getpvar(GPVS,str,1)|MSB;                  if ( (c = getpvar(pvs,str,1)) >= 0 ) {
         else                          switch ( pvs->va[c].attr ) {
                 return i;                                  case IS_GLOBAL:
                                           c = getpvar(GPVS,str,1);
                                           c = PVGLOBAL((unsigned int)c);
                                           break;
                                   case IS_MGLOBAL:
                                           c = getpvar(mod->pvs,str,1);
                                           c = PVMGLOBAL((unsigned int)c);
                                           break;
                                   default:
                                           break;
                           }
                   } else if ( mod && (c = getpvar(mod->pvs,str,1)) >= 0 )
                           c = PVMGLOBAL((unsigned int)c);
                   else if ( (c = getpvar(GPVS,str,1)) >= 0 )
                           c = PVGLOBAL((unsigned int)c);
                   else
                           c = -1;
           }
           return c;
 }  }
   
 int getpvar(pvs,str,searchonly)  int getpvar(VS pvs,char *str,int searchonly)
 VS pvs;  
 char *str;  
 int searchonly;  
 {  {
         struct oPV *va;          struct oPV *va;
         PV v;          PV v;
Line 112  int searchonly;
Line 301  int searchonly;
         v = &pvs->va[pvs->n];          v = &pvs->va[pvs->n];
         NAME(v) = (char *)CALLOC(strlen(str)+1,sizeof(char));          NAME(v) = (char *)CALLOC(strlen(str)+1,sizeof(char));
         strcpy(NAME(v),str); v->priv = 0;          strcpy(NAME(v),str); v->priv = 0;
         v->attr= 0; v->type = -1; i = pvs->n; pvs->n++;          v->attr= IS_LOCAL; v->type = -1; i = pvs->n; pvs->n++;
         return i;          return i;
 }  }
   
Line 127  void closecurrentinput()
Line 316  void closecurrentinput()
         if ( asir_infile && !asir_infile->fp )          if ( asir_infile && !asir_infile->fp )
                 return;                  return;
   
 #if defined(THINK_C) || defined(VISUAL)  #if defined(VISUAL)
 #if defined(THINK_C)  
         void setDir(short);  
   
         fclose(asir_infile->fp);          fclose(asir_infile->fp);
         setDir(asir_infile->vol);  
         unlink(asir_infile->tname);          unlink(asir_infile->tname);
         resetDir();  
 #else  #else
         fclose(asir_infile->fp);          if ( asir_infile->fp != stdin )
         unlink(asir_infile->tname);                  PCLOSE(asir_infile->fp);
 #endif  #endif
 #else  
         PCLOSE(asir_infile->fp);  
 #endif  
         asir_infile = NEXT(asir_infile);          asir_infile = NEXT(asir_infile);
         resetpvs();          resetpvs();
 }  }
   
 void resetpvs()  void resetpvs()
 {  {
         if ( !NEXT(asir_infile) ) {          if ( asir_infile && !NEXT(asir_infile) ) {
                 PVSS = 0; CPVS = GPVS; nextbp = 0;                  PVSS = 0; CPVS = GPVS; MPVS = 0; CUR_MODULE = 0; nextbp = 0;
                   gdef = mgdef = ldef = 0;
                 if ( EPVS->va ) {                  if ( EPVS->va ) {
                         bzero((char *)EPVS->va,(int)(EPVS->asize*sizeof(struct oPV))); EPVS->n = 0;                          bzero((char *)EPVS->va,(int)(EPVS->asize*sizeof(struct oPV))); EPVS->n = 0;
                 }                  }
Line 176  void restorepvs()
Line 358  void restorepvs()
         nextbplevel = saved_nextbplevel;          nextbplevel = saved_nextbplevel;
 }  }
   
 void storeans(p)  void storeans(pointer p)
 pointer p;  
 {  {
         if ( APVS->asize == APVS->n )          if ( APVS->asize == APVS->n )
                 reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV));                  reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV));
         APVS->va[APVS->n++].priv = p;          APVS->va[APVS->n++].priv = p;
 }  }
   
 #if 1  
 pointer evalpv(id,expr,f)  
 int id;  
 FNODE expr;  
 pointer f;  
 {  
         pointer a,val = 0;  
         pointer *addr;  
   
         if ( expr->id != I_PVAR && expr->id != I_CAST )  
                 error("evalpv : invalid assignment");  
         switch ( id ) {  
                 case I_PRESELF:  
                         getmemberp((FNODE)expr,(Obj **)&addr);  
                         (*((ARF)f)->fp)(CO,*addr,ONE,&val); *addr = val; break;  
                 case I_POSTSELF:  
                         getmemberp((FNODE)expr,(Obj **)&addr);  
                         val = *addr; (*((ARF)f)->fp)(CO,*addr,ONE,&a); *addr = a; break;  
                 case I_PVAR:  
                         getmember((FNODE)expr,(Obj *)&val); break;  
                 case I_ASSPVAR:  
                         getmemberp((FNODE)expr,(Obj **)&addr); *addr = val = eval((FNODE)f); break;  
         }  
         return val;  
 }  
 #endif  
   
 #if 0  
 pointer evalpv(id,tree,f)  
 int id;  
 NODE2 tree;  
 pointer f;  
 {  
         pointer a,val = 0;  
         pointer *addr;  
         int pv;  
         NODE ind,tn;  
   
         switch ( id ) {  
                 case I_PRESELF:  
                         getmemberp((FNODE)tree,(Obj **)&addr);  
                         (*((ARF)f)->fp)(CO,*addr,ONE,&val); *addr = val; break;  
                 case I_POSTSELF:  
                         getmemberp((FNODE)tree,(Obj **)&addr);  
                         val = *addr; (*((ARF)f)->fp)(CO,*addr,ONE,&a); *addr = a; break;  
                 case I_PVAR:  
                         pv = (int)BDY1(tree); ind = (NODE)BDY2(tree); GETPV(pv,a);  
                         if ( !ind )  
                                 val = a;  
                         else {  
                                 evalnodebody(ind,&tn); getarray(a,tn,&val);  
                         }  
                         break;  
                 case I_ASSPVAR:  
                         pv = (int)BDY1(tree); ind = (NODE)BDY2(tree);  
                         if ( !ind ) {  
                                 val = eval(f); ASSPV(pv,val);  
                         } else {  
                                 GETPV(pv,a);  
                                 if ( a ) {  
                                         evalnodebody(ind,&tn); putarray(a,tn,val = eval(f));  
                                 }  
                         }  
                         break;  
         }  
         return val;  
 }  
 #endif  
Legend:
Removed from v.1.1.1.1  
changed lines
  Added in v.1.17
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>