319 lines
8.4 KiB
C
319 lines
8.4 KiB
C
/**
|
||
* Copyright (c) 1985 Sun Microsystems, Inc.
|
||
* Copyright (c) 1980 The Regents of the University of California.
|
||
* Copyright (c) 1976 Board of Trustees of the University of Illinois.
|
||
* All rights reserved.
|
||
*
|
||
* Redistribution and use in source and binary forms are permitted
|
||
* provided that the above copyright notice and this paragraph are
|
||
* duplicated in all such forms and that any documentation,
|
||
* advertising materials, and other materials related to such
|
||
* distribution and use acknowledge that the software was developed
|
||
* by the University of California, Berkeley, the University of Illinois,
|
||
* Urbana, and Sun Microsystems, Inc. The name of either University
|
||
* or Sun Microsystems may not be used to endorse or promote products
|
||
* derived from this software without specific prior written permission.
|
||
* THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
|
||
* IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
|
||
* WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE.
|
||
*/
|
||
|
||
#define PUBLIC extern
|
||
#include "./globs.h"
|
||
#include "./codes.h"
|
||
#include "proto.h"
|
||
|
||
|
||
|
||
|
||
void parse(tk)
|
||
int tk; /* the code for the construct
|
||
scanned */
|
||
{
|
||
int i;
|
||
|
||
#ifdef debug
|
||
printf("%2d - %s\n", tk, token);
|
||
#endif
|
||
|
||
while (ps.p_stack[ps.tos] == ifhead && tk != elselit)
|
||
{
|
||
/* true if we have an if without an else */
|
||
ps.p_stack[ps.tos] = stmt; /* apply the if(..) stmt ::=
|
||
stmt reduction */
|
||
reduce(); /* see if this allows any
|
||
reduction */
|
||
}
|
||
|
||
|
||
switch (tk)
|
||
{ /* go on and figure out what to
|
||
do with the input */
|
||
|
||
case decl: /* scanned a declaration word */
|
||
ps.search_brace = btype_2;
|
||
/* indicate that following brace should be on same line */
|
||
if (ps.p_stack[ps.tos] != decl)
|
||
{ /* only put one declaration
|
||
onto stack */
|
||
break_comma = true; /* while in declaration,
|
||
newline should be forced
|
||
after comma */
|
||
ps.p_stack[++ps.tos] = decl;
|
||
ps.il[ps.tos] = ps.i_l_follow;
|
||
|
||
if (ps.ljust_decl)
|
||
{ /* only do if we want left
|
||
justified declarations */
|
||
ps.ind_level = 0;
|
||
for (i = ps.tos - 1; i > 0; --i)
|
||
if (ps.p_stack[i] == decl)
|
||
++ps.ind_level; /* indentation is number of
|
||
declaration levels deep we
|
||
are */
|
||
ps.i_l_follow = ps.ind_level;
|
||
}
|
||
}
|
||
break;
|
||
|
||
case ifstmt: /* scanned if (...) */
|
||
if (ps.p_stack[ps.tos] == elsehead && ps.else_if) /* "else if ..." */
|
||
ps.i_l_follow = ps.il[ps.tos];
|
||
case dolit: /* 'do' */
|
||
case forstmt: /* for (...) */
|
||
ps.p_stack[++ps.tos] = tk;
|
||
ps.il[ps.tos] = ps.ind_level = ps.i_l_follow;
|
||
++ps.i_l_follow; /* subsequent statements should
|
||
be indented 1 */
|
||
ps.search_brace = btype_2;
|
||
break;
|
||
|
||
case lbrace: /* scanned { */
|
||
break_comma = false; /* don't break comma in an
|
||
initial list */
|
||
if (ps.p_stack[ps.tos] == stmt || ps.p_stack[ps.tos] == decl
|
||
|| ps.p_stack[ps.tos] == stmtl)
|
||
++ps.i_l_follow; /* it is a random, isolated
|
||
stmt group or a declaration */
|
||
else
|
||
{
|
||
if (s_code == e_code)
|
||
{
|
||
/* only do this if there is nothing on the line */
|
||
--ps.ind_level;
|
||
/* it is a group as part of a while, for, etc. */
|
||
if (ps.p_stack[ps.tos] == swstmt && ps.case_indent >= 1)
|
||
--ps.ind_level;
|
||
/* for a switch, brace should be two levels out from the
|
||
code */
|
||
}
|
||
}
|
||
|
||
ps.p_stack[++ps.tos] = lbrace;
|
||
ps.il[ps.tos] = ps.ind_level;
|
||
ps.p_stack[++ps.tos] = stmt;
|
||
/* allow null stmt between braces */
|
||
ps.il[ps.tos] = ps.i_l_follow;
|
||
break;
|
||
|
||
case whilestmt: /* scanned while (...) */
|
||
if (ps.p_stack[ps.tos] == dohead)
|
||
{
|
||
/* it is matched with do stmt */
|
||
ps.ind_level = ps.i_l_follow = ps.il[ps.tos];
|
||
ps.p_stack[++ps.tos] = whilestmt;
|
||
ps.il[ps.tos] = ps.ind_level = ps.i_l_follow;
|
||
} else
|
||
{ /* it is a while loop */
|
||
ps.p_stack[++ps.tos] = whilestmt;
|
||
ps.il[ps.tos] = ps.i_l_follow;
|
||
++ps.i_l_follow;
|
||
ps.search_brace = btype_2;
|
||
}
|
||
|
||
break;
|
||
|
||
case elselit: /* scanned an else */
|
||
|
||
if (ps.p_stack[ps.tos] != ifhead)
|
||
diag(1, "Unmatched 'else'");
|
||
else
|
||
{
|
||
ps.ind_level = ps.il[ps.tos]; /* indentation for else should
|
||
be same as for if */
|
||
ps.i_l_follow = ps.ind_level + 1; /* everything following
|
||
should be in 1 level */
|
||
ps.p_stack[ps.tos] = elsehead;
|
||
/* remember if with else */
|
||
ps.search_brace = btype_2 | ps.else_if;
|
||
}
|
||
break;
|
||
|
||
case rbrace: /* scanned a } */
|
||
/* stack should have <lbrace> <stmt> or <lbrace> <stmtl> */
|
||
if (ps.p_stack[ps.tos - 1] == lbrace)
|
||
{
|
||
ps.ind_level = ps.i_l_follow = ps.il[--ps.tos];
|
||
ps.p_stack[ps.tos] = stmt;
|
||
} else
|
||
diag(1, "Stmt nesting error.");
|
||
break;
|
||
|
||
case swstmt: /* had switch (...) */
|
||
ps.p_stack[++ps.tos] = swstmt;
|
||
ps.cstk[ps.tos] = case_ind;
|
||
/* save current case indent level */
|
||
ps.il[ps.tos] = ps.i_l_follow;
|
||
case_ind = ps.i_l_follow + ps.case_indent; /* cases should be one
|
||
level down from
|
||
switch */
|
||
ps.i_l_follow += ps.case_indent + 1; /* statements should be
|
||
two levels in */
|
||
ps.search_brace = btype_2;
|
||
break;
|
||
|
||
case semicolon: /* this indicates a simple stmt */
|
||
break_comma = false; /* turn off flag to break after
|
||
commas in a declaration */
|
||
ps.p_stack[++ps.tos] = stmt;
|
||
ps.il[ps.tos] = ps.ind_level;
|
||
break;
|
||
|
||
default: /* this is an error */
|
||
diag(1, "Unknown code to parser");
|
||
return;
|
||
|
||
|
||
} /* end of switch */
|
||
|
||
reduce(); /* see if any reduction can be
|
||
done */
|
||
|
||
#ifdef debug
|
||
for (i = 1; i <= ps.tos; ++i)
|
||
printf("(%d %d)", ps.p_stack[i], ps.il[i]);
|
||
printf("\n");
|
||
#endif
|
||
|
||
return;
|
||
}
|
||
|
||
/*
|
||
* Copyright (C) 1976 by the Board of Trustees of the University of Illinois
|
||
*
|
||
* All rights reserved
|
||
*
|
||
*
|
||
* NAME: reduce
|
||
*
|
||
* FUNCTION: Implements the reduce part of the parsing algorithm
|
||
*
|
||
* ALGORITHM: The following reductions are done. Reductions are repeated until
|
||
* no more are possible.
|
||
*
|
||
* Old TOS New TOS <stmt> <stmt> <stmtl> <stmtl> <stmt> <stmtl> do
|
||
* <stmt> "dostmt" if <stmt> "ifstmt" switch <stmt> <stmt> decl
|
||
* <stmt> <stmt> "ifelse" <stmt> <stmt> for <stmt> <stmt> while
|
||
* <stmt> <stmt> "dostmt" while <stmt>
|
||
*
|
||
* On each reduction, ps.i_l_follow (the indentation for the following line) is
|
||
* set to the indentation level associated with the old TOS.
|
||
*
|
||
* PARAMETERS: None
|
||
*
|
||
* RETURNS: Nothing
|
||
*
|
||
* GLOBALS: ps.cstk ps.i_l_follow = ps.il ps.p_stack = ps.tos =
|
||
*
|
||
* CALLS: None
|
||
*
|
||
* CALLED BY: parse
|
||
*
|
||
* HISTORY: initial coding November 1976 D A Willcox of CAC
|
||
*
|
||
*/
|
||
/*----------------------------------------------*\
|
||
| REDUCTION PHASE |
|
||
\*----------------------------------------------*/
|
||
void reduce()
|
||
{
|
||
|
||
register int i;
|
||
|
||
for (;;)
|
||
{ /* keep looping until there is
|
||
nothing left to reduce */
|
||
|
||
switch (ps.p_stack[ps.tos])
|
||
{
|
||
|
||
case stmt:
|
||
switch (ps.p_stack[ps.tos - 1])
|
||
{
|
||
|
||
case stmt:
|
||
case stmtl:
|
||
/* stmtl stmt or stmt stmt */
|
||
ps.p_stack[--ps.tos] = stmtl;
|
||
break;
|
||
|
||
case dolit: /* <do> <stmt> */
|
||
ps.p_stack[--ps.tos] = dohead;
|
||
ps.i_l_follow = ps.il[ps.tos];
|
||
break;
|
||
|
||
case ifstmt:
|
||
/* <if> <stmt> */
|
||
ps.p_stack[--ps.tos] = ifhead;
|
||
for (i = ps.tos - 1;
|
||
(
|
||
ps.p_stack[i] != stmt
|
||
&&
|
||
ps.p_stack[i] != stmtl
|
||
&&
|
||
ps.p_stack[i] != lbrace
|
||
);
|
||
--i);
|
||
ps.i_l_follow = ps.il[i];
|
||
/* for the time being, we will assume that there is no else
|
||
on this if, and set the indentation level accordingly.
|
||
If an else is scanned, it will be fixed up later */
|
||
break;
|
||
|
||
case swstmt:
|
||
/* <switch> <stmt> */
|
||
case_ind = ps.cstk[ps.tos - 1];
|
||
|
||
case decl: /* finish of a declaration */
|
||
case elsehead:
|
||
/* <<if> <stmt> else> <stmt> */
|
||
case forstmt:
|
||
/* <for> <stmt> */
|
||
case whilestmt:
|
||
/* <while> <stmt> */
|
||
ps.p_stack[--ps.tos] = stmt;
|
||
ps.i_l_follow = ps.il[ps.tos];
|
||
break;
|
||
|
||
default: /* <anything else> <stmt> */
|
||
return;
|
||
|
||
} /* end of section for <stmt> on
|
||
top of stack */
|
||
break;
|
||
|
||
case whilestmt: /* while (...) on top */
|
||
if (ps.p_stack[ps.tos - 1] == dohead)
|
||
{
|
||
/* it is termination of a do while */
|
||
ps.p_stack[--ps.tos] = stmt;
|
||
break;
|
||
} else
|
||
return;
|
||
|
||
default: /* anything else on top */
|
||
return;
|
||
|
||
}
|
||
}
|
||
}
|