home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
minnie.tuhs.org
/
unixen.tar
/
unixen
/
PDP-11
/
Distributions
/
ucb
/
spencer_2bsd.tar.gz
/
2bsd.tar
/
src
/
pi0
/
yyid.c
< prev
next >
Wrap
C/C++ Source or Header
|
1980-02-17
|
5KB
|
254 lines
/* Copyright (c) 1979 Regents of the University of California */
#
/*
* pi - Pascal interpreter code translator
*
* Charles Haley, Bill Joy UCB
* Version 1.2 January 1979
*
*
* pxp - Pascal execution profiler
*
* Bill Joy UCB
* Version 1.2 January 1979
*/
#include "0.h"
#include "yy.h"
#ifdef PI
extern int *yypv;
/*
* Determine whether the identifier whose name
* is "cp" can possibly be a kind, which is a
* namelist class. We look through the symbol
* table for the first instance of cp as a non-field,
* and at all instances of cp as a field.
* If any of these are ok, we return true, else false.
* It would be much better to handle with's correctly,
* even to just know whether we are in a with at all.
*
* Note that we don't disallow constants on the lhs of assignment.
*/
identis(cp, kind)
register char *cp;
int kind;
{
register struct nl *p;
int i;
/*
* Cp is NIL when error recovery inserts it.
*/
if (cp == NIL)
return (1);
/*
* Record kind we want for possible later use by yyrecover
*/
yyidwant = kind;
yyidhave = NIL;
i = cp & 077;
for (p = disptab[i]; p != NIL; p = p->nl_next)
if (p->symbol == cp) {
if (yyidok(p, kind))
goto gotit;
if (p->class != FIELD && p->class != BADUSE)
break;
}
if (p != NIL)
for (p = p->nl_next; p != NIL; p = p->nl_next)
if (p->symbol == cp && p->class == FIELD && yyidok(p, kind))
goto gotit;
return (0);
gotit:
if (p->class == BADUSE && !Recovery) {
yybadref(p, OY.Yyeline);
yypv[0] = NIL;
}
return (1);
}
/*
* A bad reference to the identifier cp on line
* line and use implying the addition of kindmask
* to the mask of kind information.
*/
yybaduse(cp, line, kindmask)
register char *cp;
int line, kindmask;
{
register struct nl *p, *oldp;
int i;
i = cp & 077;
for (p = disptab[i]; p != NIL; p = p->nl_next)
if (p->symbol == cp)
break;
oldp = p;
if (p == NIL || p->class != BADUSE)
p = enter(defnl(cp, BADUSE, 0, 0));
p->value[NL_KINDS] =| kindmask;
yybadref(p, line);
return (oldp);
}
struct udinfo ud { 'XX', 'XX', 0};
/*
* Record a reference to an undefined identifier,
* or one which is improperly used.
*/
yybadref(p, line)
register struct nl *p;
int line;
{
register struct udinfo *udp;
if (p->chain != NIL && p->chain->ud_line == line)
return;
udp = esavestr(&ud);
udp->ud_line = line;
udp->ud_next = p->chain;
p->chain = udp;
}
#define varkinds ((1<<CONST)|(1<<VAR)|(1<<REF)|(1<<ARRAY)|(1<<PTR)|(1<<RECORD)|(1<<FIELD)|(1<<FUNC)|(1<<FVAR))
/*
* Is the symbol in the p entry of the namelist
* even possibly a kind kind? If not, update
* what we have based on this encounter.
*/
yyidok(p, kind)
register struct nl *p;
int kind;
{
if (p->class == BADUSE) {
if (kind == VAR)
return (p->value[0] & varkinds);
return (p->value[0] & (1 << kind));
}
if (yyidok1(p, kind))
return (1);
if (yyidhave != NIL)
yyidhave = IMPROPER;
else
yyidhave = p->class;
return (0);
}
yyidok1(p, kind)
register struct nl *p;
int kind;
{
int i;
switch (kind) {
case FUNC:
if (p->class == FVAR)
return(1);
case CONST:
case TYPE:
case PROC:
case FIELD:
return (p->class == kind);
case VAR:
return (p->class == CONST || yyisvar(p, NIL));
case ARRAY:
case RECORD:
return (yyisvar(p, kind));
case PTRFILE:
return (yyisvar(p, PTR) || yyisvar(p, FILE));
}
}
yyisvar(p, class)
register struct nl *p;
int class;
{
switch (p->class) {
case FIELD:
case VAR:
case REF:
case FVAR:
/*
* We would prefer to return
* parameterless functions only.
*/
case FUNC:
return (class == NIL || (p->type != NIL && p->type->class == class));
}
return (0);
}
#endif
#ifdef PXP
#ifndef DEBUG
identis()
{
return (1);
}
#endif
#ifdef DEBUG
extern char *classes[];
char kindchars[] "UCTVAQRDPF";
/*
* Fake routine "identis" for pxp when testing error recovery.
* Looks at letters in variable names to answer questions
* about attributes. Mapping is
* C const_id
* T type_id
* V var_id also if any of AQRDF
* A array_id
* Q ptr_id
* R record_id
* D field_id D for "dot"
* P proc_id
* F func_id
*/
identis(cp, kind)
register char *cp;
int kind;
{
register char *dp;
char kindch;
/*
* Don't do anything unless -T
*/
if (!typetest)
return (1);
/*
* Inserted symbols are always correct
*/
if (cp == NIL)
return (1);
/*
* Set up the names for error messages
*/
yyidwant = classes[kind];
for (dp = kindchars; *dp; dp++)
if (any(cp, *dp)) {
yyidhave = classes[dp - kindchars];
break;
}
/*
* U in the name means undefined
*/
if (any(cp, 'U'))
return (0);
kindch = kindchars[kind];
if (kindch == 'V')
for (dp = "AQRDF"; *dp; dp++)
if (any(cp, *dp))
return (1);
return (any(cp, kindch));
}
#endif
#endif