123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438 |
- /*
- * Some grammar independent code.
- * This file is copied into Lpars.c.
- */
- unsigned int LLtcnt[LL_NTERMINALS];
- unsigned int LLscnt[LL_NSETS];
- int LLcsymb, LLsymb;
- static int LLlevel;
- #if LL_NON_CORR
- int LLstartsymb;
- static int fake_eof = 0;
- #endif
- #if LL_ANSI_C
- #define LL_VOIDCST (void)
- void LLmessage(int);
- #else
- #define LL_VOIDCST
- #endif
- #ifdef LL_USERHOOK
- #if LL_ANSI_C
- static int LLdoskip(int);
- static int LLuserhook(int, int*);
- #else
- static int LLdoskip();
- static int LLuserhook();
- #endif
- #endif
- #ifndef LL_FASTER
- #if LL_ANSI_C
- void LLscan(int t)
- #else
- LLscan(t)
- int t;
- #endif
- {
- /*
- * Check if the next symbol is equal to the parameter
- */
- #if LL_NON_CORR
- /* See if the error recovery has eaten an eof */
- if (fake_eof) {
- LLsymb = EOFILE;
- fake_eof = 0;
- }
- else {
- LLsymb = LL_LEXI();
- }
- if (LLsymb == t) {
- #else
- if ((LLsymb = LL_LEXI()) == t) {
- #endif
- #if LL_NON_CORR
- /* Check if a previous parser has 'crashed', in that
- * case continue with non-correcting parser
- */
- if (err_seen && !nc_done) {
- LLnc_recover();
- nc_done = 1;
- /* Remember that the error recovery has eaten an eof */
- fake_eof = 1;
- if (t != LLsymb) {
- LLerror(t);
- }
- else
- return;
- }
- #endif
- return;
- }
- /*
- * If we come here, an error has been detected
- */
- LLerror(t);
- }
- #endif
- #if LL_ANSI_C
- void LLread(void) {
- #else
- LLread() {
- #endif
- #if LL_NON_CORR
- /* Again, check if another parser has crashed,
- * in that case intercept and go to the
- * non-correcting parser
- */
- if (err_seen && !nc_done) {
- LLnc_recover();
- nc_done = 1;
- /* Pretend we read end of file */
- LLsymb = EOFILE;
- LLcsymb = LLindex[EOFILE];
- fake_eof = 0;
- return;
- }
- if (fake_eof) {
- LLsymb = EOFILE;
- LLcsymb = LLindex[EOFILE];
- fake_eof = 0;
- return;
- }
- #endif
- for (;;) {
- if ((LLcsymb = LLindex[(LLsymb = LL_LEXI())]) >= 0) return;
- LLmessage(0);
- }
- /* NOTREACHED */
- }
- #if LL_ANSI_C
- void LLerror(int t)
- #else
- LLerror(t)
- int t;
- #endif
- {
- register int i;
- if (t == EOFILE && LLsymb <= 0) return;
- #ifdef LL_NEWMESS
- if (t == EOFILE) {
- #ifdef LL_USERHOOK
- static int lst[] = { EOFILE, 0 };
- LL_VOIDCST LLuserhook(EOFILE, lst);
- #endif /* LL_USERHOOK */
- if (LLsymb != EOFILE && LLsymb > 0) {
- LLmessage(-1);
- while ((LLsymb = LL_LEXI()) > 0 && LLsymb != EOFILE)
- /* nothing */ ;
- }
- return;
- }
- #endif
- #if LL_NON_CORR
- if ((!nc_done) && (LLsymb > 0) && (LLsymb != EOFILE)) {
- LLmessage(0);
- LLnc_recover();
- nc_done = 1;
- LLsymb = EOFILE;
- }
- #endif
-
- if ((LLcsymb = LLindex[LLsymb]) < 0) {
- LLmessage(0);
- LLread();
- }
- i = LLindex[t];
- LLtcnt[i]++;
- #ifdef LL_USERHOOK
- LL_VOIDCST LLdoskip(t);
- #else
- LL_VOIDCST LLskip();
- #endif
- LLtcnt[i]--;
- if (LLsymb != t) {
- #if LL_NON_CORR
- /* A little kludge here; when using non-correcting recovery
- * it can happen that a program is correct but incomplete.
- * Here, we test this, and make sure the appropriate
- * message is generated
- */
- if (! nc_done) {
- int oldLLsymb;
- oldLLsymb = LLsymb;
- LLsymb = EOFILE;
- LLmessage(0);
- nc_done = 1;
- /* Not really, but to prevent more than 1 error message */
- LLsymb = oldLLsymb;
- }
- #endif
- LLmessage(t);
- }
- }
- #if LL_ANSI_C
- void LLsafeerror(int t)
- #else
- LLsafeerror(t)
- int t;
- #endif
- {
- if (t == EOFILE && LLsymb <= 0) return;
- #ifdef LL_NEWMESS
- if (t == EOFILE) {
- #ifdef LL_USERHOOK
- static int lst[] = { EOFILE, 0 };
- LL_VOIDCST LLuserhook(EOFILE, lst);
- #endif /* LL_USERHOOK */
- if (LLsymb != EOFILE && LLsymb > 0) {
- LLmessage(-1);
- while ((LLsymb = LL_LEXI()) > 0 && LLsymb != EOFILE)
- /* nothing */ ;
- }
- return;
- }
- #endif
- #if LL_NON_CORR
- if ((!nc_done) && (LLsymb > 0) && (LLsymb != EOFILE)) {
- LLmessage(0);
- LLnc_recover();
- nc_done = 1;
- LLsymb = EOFILE;
- }
- /* A little kludge here; when using non-correcting recovery
- * it can happen that a program is correct but incomplete.
- * Here, we test this, and make sure the appropriate
- * message is generated
- */
- if (! nc_done) {
- int oldLLsymb;
- oldLLsymb = LLsymb;
- LLsymb = EOFILE;
- LLmessage(0);
- nc_done = 1;
- /* Not really, but to prevent more than 1 error message */
- LLsymb = oldLLsymb;
- }
- #endif
- LLmessage(t);
- }
- #ifndef LLNOFIRSTS
- #if LL_ANSI_C
- int LLfirst(int x, int d) {
- #else
- int LLfirst(x, d) {
- #endif
- register int i;
- return (i = LLindex[x]) >= 0 &&
- (LLsets[d + (i >> 3)] & (1 << (i & 07)));
- }
- #endif
- #if LL_ANSI_C
- int LLnext(int n)
- #else
- int LLnext(n)
- int n;
- #endif
- {
- /* returns: 0 if the current symbol is'nt skipped, and it
- is'nt a member of "n",
- 1 if we have a new symbol, but it is'nt a member,
- 2 if the current symbol is a member,
- and 3 if we have a new symbol and it is a member.
- So, the low order bit indicates wether we have a new symbol,
- and the next bit indicates wether it is a member of "n".
- */
- int retval = 0;
- if (LLskip()) retval = 1;
- if (n <= 0 && LLsets[(LLcsymb >> 3) - n] & (1 << (LLcsymb & 07))) {
- retval |= 2;
- }
- else if (n > 0 && LLcsymb == LLindex[n]) retval |= 2;
- return retval;
- }
- #if LL_ANSI_C
- int LLskip(void) {
- #else
- int LLskip() {
- #endif
- /* returns 0 if the current symbol is'nt skipped, and
- 1 if it is, t.i., we have a new symbol
- */
- #ifdef LL_USERHOOK
- return LLdoskip(0);
- }
- #if LL_ANSI_C
- extern void LL_USERHOOK(int, int *);
- static int LLuserhook(int e, int *list)
- #else
- static int LLuserhook(e, list)
- int e;
- int *list;
- #endif
- {
- int old = LLsymb;
- LL_USERHOOK(e, list);
- LLread();
- return LLsymb != old;
- }
- #if LL_ANSI_C
- static void LLmklist(register int *list)
- #else
- static LLmklist(list)
- register int *list;
- #endif
- {
- char Xset[LL_SSIZE];
- register char *p;
- register int i;
- for (p = &Xset[0]; p < &Xset[LL_SSIZE]; ) *p++ = 0;
- for (i = 0; i < LL_NTERMINALS; i++) {
- if (LLtcnt[i] != 0) Xset[i >> 3] |= (1 << (i & 07));
- }
- for (i = LL_NSETS - 1; i >= 0; i--) if (LLscnt[i] != 0) {
- register char *q = &LLsets[LL_SSIZE * i];
- p = &Xset[0];
- while (p < &Xset[LL_SSIZE]) *p++ |= *q++;
- }
- for (i = 0; i < LL_NTERMINALS; i++) {
- if (Xset[i >> 3] & (1 << (i & 07))) {
- *list++ = LLtok[i];
- }
- }
- *list = 0;
- }
- #if LL_ANSI_C
- static int LLdoskip(int e)
- #else
- static int LLdoskip(e)
- int e;
- #endif
- {
- int LLx;
- int list[LL_NTERMINALS+1];
- #endif /* LL_USERHOOK */
- register int i;
- int retval;
- int LLi, LLb;
- retval = 0;
- #ifdef LL_USERHOOK
- LLmklist(list);
- LLx = LLuserhook(e, list);
- if (LLx) retval = 1;
- #endif /* LL_USERHOOK */
- for (;;) {
- if (LLtcnt[LLcsymb] != 0) {
- #ifdef LL_USERHOOK
- if (!e || !LLx || LLcsymb == LLindex[e])
- #endif
- return retval;
- }
- LLi = LLcsymb >> 3;
- LLb = 1 << (LLcsymb & 07);
- for (i = LL_NSETS - 1; i >= 0; i--) {
- if (LLscnt[i] != 0) {
- if (LLsets[LL_SSIZE*i+LLi] & LLb) {
- #ifdef LL_USERHOOK
- if (!e || !LLx || LLcsymb == LLindex[e])
- #endif
- return retval;
- }
- }
- }
- #ifdef LL_USERHOOK
- if (LLx) {
- LLx = LLuserhook(e, list);
- continue;
- }
- #endif /* LL_USERHOOK */
- #if LL_NON_CORR
- if ((!nc_done) && (LLsymb > 0)) {
- LLmessage(0);
- LLnc_recover();
- nc_done = 1;
- fake_eof = 1;
- }
- else {
- LLmessage(0);
- }
- #else
- LLmessage(0);
- #endif
- retval = 1;
- LLread();
- }
- /* NOTREACHED */
- }
- #if LL_ANSI_C
- void LLnewlevel(unsigned int *LLsinfo) {
- #else
- LLnewlevel(LLsinfo) unsigned int *LLsinfo; {
- #endif
- register int i;
- if (LLlevel++) {
- LLsinfo[LL_NSETS+LL_NTERMINALS] = (unsigned) LLsymb;
- LLsinfo[LL_NSETS+LL_NTERMINALS+1] = (unsigned) LLcsymb;
- for (i = LL_NTERMINALS - 1; i >= 0; i--) {
- LLsinfo[i] = LLtcnt[i];
- LLtcnt[i] = 0;
- }
- for (i = LL_NSETS - 1; i >= 0; i--) {
- LLsinfo[LL_NTERMINALS+i] = LLscnt[i];
- LLscnt[i] = 0;
- }
- }
- LLtincr(0);
- }
- #if LL_ANSI_C
- void LLoldlevel(unsigned int *LLsinfo) {
- #else
- LLoldlevel(LLsinfo) unsigned int *LLsinfo; {
- #endif
- register int i;
- LLtdecr(0);
- #ifdef LL_DEBUG
- for (i = 0; i < LL_NTERMINALS; i++) LL_assert(LLtcnt[i] == 0);
- for (i = 0; i < LL_NSETS; i++) LL_assert(LLscnt[i] == 0);
- #endif
- if (--LLlevel) {
- for (i = LL_NSETS - 1; i >= 0; i--) {
- LLscnt[i] = LLsinfo[LL_NTERMINALS+i];
- }
- for (i = LL_NTERMINALS - 1; i >= 0; i--) {
- LLtcnt[i] = LLsinfo[i];
- }
- LLsymb = (int) LLsinfo[LL_NSETS+LL_NTERMINALS];
- LLcsymb = (int) LLsinfo[LL_NSETS+LL_NTERMINALS+1];
- }
- }
|