File: [local] / OpenXM_contrib2 / asir2000 / parse / pvar.c (download)
Revision 1.12, Tue May 20 06:15:01 2003 UTC (21 years, 4 months ago) by noro
Branch: MAIN
Changes since 1.11: +38 -5
lines
In a module,
1. The compilation will be stopped if a function is defined without declaration.
2. A function is regarded as global if it is not declared.
3. If a variable is declared to be local, the other local variables should
also be decalared.
|
/*
* 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.12 2003/05/20 06:15:01 noro Exp $
*/
#include "ca.h"
#include "parse.h"
NODE PVSS;
extern char *CUR_FUNC;
int gdef,mgdef,ldef;
void mkpvs(char *fname)
{
VS pvs;
char *fullname;
FUNC f;
if ( CUR_MODULE ) {
/* function must be declared in advance */
searchf(CUR_MODULE->usrf_list,fname,&f);
if ( !f ) {
fprintf(stderr,"\"%s\", near line %d: undeclared function `%s'",
asir_infile->name,asir_infile->ln,fname);
error("");
}
}
pvs = (VS)MALLOC(sizeof(struct oVS));
pvs->va = (struct oPV *)MALLOC(DEFSIZE*sizeof(struct oPV));
pvs->n = 0;
pvs->asize=DEFSIZE;
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(FUNC f)
{
VS pvs;
NODE node;
int level;
extern int evalstatline;
pvs = f->f.usrf->pvs;
if ( PVSS ) {
((VS)BDY(PVSS))->at = evalstatline;
level = ((VS)BDY(PVSS))->level+1;
} else
level = 1;
MKNODE(node,pvs,PVSS);
PVSS = node;
CPVS = (VS)MALLOC(sizeof(struct oVS)); BDY(PVSS) = (pointer)CPVS;
CPVS->usrf = f;
CPVS->n = CPVS->asize = pvs->n;
CPVS->level = level;
if ( CPVS->n ) {
CPVS->va = (struct oPV *)MALLOC(CPVS->n*sizeof(struct oPV));
bcopy((char *)pvs->va,(char *)CPVS->va,(int)(pvs->n*sizeof(struct oPV)));
}
if ( nextbp )
nextbplevel++;
}
void poppvs() {
PVSS = NEXT(PVSS);
if ( PVSS )
CPVS = (VS)BDY(PVSS);
else
CPVS = GPVS;
if ( nextbp )
nextbplevel--;
}
#define IS_LOCAL 0
#define IS_GLOBAL 1
#define IS_MGLOBAL 2
unsigned int makepvar(char *str)
{
int c,c1,created;
/* EPVS : global list of the current file */
/* add to the local variable list */
if ( gdef ) {
/* add to the external variable list */
c = getpvar(CPVS,str,0);
getpvar(EPVS,str,0);
if ( CUR_MODULE ) {
c1 = getpvar(CUR_MODULE->pvs,str,1);
if ( c1 >= 0 ) {
fprintf(stderr,"\"%s\", near line %d: conflicting declarations for `%s'",
asir_infile->name,asir_infile->ln,str);
error("");
}
}
if ( CPVS != GPVS ) {
/* inside function : we add the name to the global list */
getpvar(GPVS,str,0);
CPVS->va[c].attr = IS_GLOBAL;
}
} else if ( mgdef ) {
c = getpvar(CPVS,str,0);
getpvar(CUR_MODULE->pvs,str,0);
c1 = getpvar(EPVS,str,1);
if ( c1 >= 0 ) {
fprintf(stderr,"\"%s\", near line %d: conflicting declarations for `%s'",
asir_infile->name,asir_infile->ln,str);
error("");
}
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);
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 */
fprintf(stderr,"\"%s\", near line %d: undeclared variable `%s'",
asir_infile->name,asir_infile->ln,str);
error("");
}
} else {
/* outside function, outside module */
c = getpvar(GPVS,str,0);
}
return c;
}
extern FUNC parse_targetf;
int searchpvar(char *str)
{
VS pvs;
MODULE mod;
int c;
if ( parse_targetf && parse_targetf->id != A_USR )
c = -1;
else if ( parse_targetf ) {
pvs = parse_targetf->f.usrf->pvs;
mod = parse_targetf->f.usrf->module;
if ( (c = getpvar(pvs,str,1)) >= 0 ) {
switch ( pvs->va[c].attr ) {
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(VS pvs,char *str,int searchonly)
{
struct oPV *va;
PV v;
int i;
for ( va = pvs->va, i = 0; i < (int)pvs->n; i++ )
if ( va[i].name && !strcmp(va[i].name,str) )
return i;
if ( searchonly )
return -1;
if ( pvs->asize == pvs->n )
reallocarray((char **)&pvs->va,(int *)&pvs->asize,(int *)&pvs->n,(int)sizeof(struct oPV));
v = &pvs->va[pvs->n];
NAME(v) = (char *)CALLOC(strlen(str)+1,sizeof(char));
strcpy(NAME(v),str); v->priv = 0;
v->attr= IS_LOCAL; v->type = -1; i = pvs->n; pvs->n++;
return i;
}
#if defined(VISUAL)
#define PCLOSE _pclose
#else
#define PCLOSE pclose
#endif
void closecurrentinput()
{
if ( asir_infile && !asir_infile->fp )
return;
#if defined(VISUAL)
fclose(asir_infile->fp);
unlink(asir_infile->tname);
#else
PCLOSE(asir_infile->fp);
#endif
asir_infile = NEXT(asir_infile);
resetpvs();
}
void resetpvs()
{
if ( !NEXT(asir_infile) ) {
PVSS = 0; CPVS = GPVS; MPVS = 0; CUR_MODULE = 0; nextbp = 0;
gdef = mgdef = ldef = 0;
if ( EPVS->va ) {
bzero((char *)EPVS->va,(int)(EPVS->asize*sizeof(struct oPV))); EPVS->n = 0;
}
}
}
static NODE saved_PVSS;
static VS saved_CPVS;
static int saved_nextbp, saved_nextbplevel;
void savepvs()
{
saved_PVSS = PVSS;
saved_CPVS = CPVS;
saved_nextbp = nextbp;
saved_nextbplevel = nextbplevel;
}
void restorepvs()
{
PVSS = saved_PVSS;
CPVS = saved_CPVS;
nextbp = saved_nextbp;
nextbplevel = saved_nextbplevel;
}
void storeans(pointer p)
{
if ( APVS->asize == APVS->n )
reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV));
APVS->va[APVS->n++].priv = p;
}