preccx.h

編譯器的辭法分析器工具

# ifndef PRECCX_H
# define PRECCX_H
/*
  header file of precc macros
*/

# define __PRECC__ 2.42              /* beta .. going on gamma */

# define CBUFFSIZE 4096              /* size of general char buffer */
# define NBUFFSIZE 4096              /* size of name buffer */
# define PSTACKLENGTH 100            /* max sequence of sequents */

#define count countstack[countcount] /* current count of sequents */
#define environment envs[ecount]     /* holds the typed list of params */
#define plainenv plvs[ecount]        /* this holds the untyped list of params*/
extern void popcount();              /* restores the last count of seQs */
extern void pushcount();             /* saves count of seqs seen currently */
extern int  getcount();              /* returns count level of seqs */


/* start up functions */
void usage();                        /* usage and error messages */
int getkintarg();                    /* translate string to int (x1024) */

/* locals */
# define CHAR char                   /* character type */
typedef char *characters;
# define CHARS characters            /* string type */

extern char *p_infile,               /* references to in/out file names */
            *p_outfile;

/* structures */

/* the class of agents */
typedef struct {                     /* temp place to hold and get out info */
/* private */
    CHARS buffer;                    /* underlying data area */
    CHARS in;                        /* where we're reading in to */
    CHARS out;                       /* where we're reading out from */
} AGENT;

/* methods */
/*
 * VOID  initagent(AGENT *, char[])   * supply the buffer *
 * CHARS putagent(AGENT *, CHAR)      * add a CHAR        *
 * CHARS nputagent(AGENT *, CHARS)    * add CHARS         *
 * CHARS getagent(AGENT *, CHARS*)    * pop into CHAR*    *
 * CHARS resetagent(AGENT *)          * zero              *
 */

/* as macros */
/*
 * # define initagent(x,y) x={y,y,y}
 * # define putagent(x,y) ((*((x).in)++)=(y),(*((x).in)=0),&(x).in[-1])
 * # define nputagent(x,y) ((x).in=p_scpy((x).in,(y)),(x).out)
 * # define getagent(x,y) ((*((x).in)++)=0,(y)=(x).out,(x).out=(x).in)
 * # define resetagent(x) ((x).out=(x).in=(x).buffer)
*/


extern CHAR cbuff[CBUFFSIZE];        /* the general stuff buffer */
extern AGENT chars;                  /* and its protecting agent */

# define cptr chars.in               /* for backward continuity */
# define nptr chars.out

extern CHAR nbuff[];                 /* used to hold vars     */
extern AGENT namE;                   /* an agent for names    */
extern AGENT args;                   /* and one for arguments */
extern AGENT keys;                   /* and one for keywords  */

/* these are the operations on the name agent */

# undef putchar /* the stdio one */
# define putchar myputchar
extern CHARS myputchar(char);        /* CHARS putchar(CHAR)   */
extern CHARS getname(CHARS *);       /* pull and lock store   */
extern CHARS putname(CHARS);         /* multi putchar         */

# define RESET {void resetall();resetall();}

# define P_REN(x,y) (printf("\
STATUS %s(%s){\n\
PARSER %s;\n\
return((TOPARSER %s)(%s));\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
GNAME(y),GARGS(y)),UNSETNAME(x))

# define P_REN2(x,y,z) (printf("\
STATUS %s(%s){\n\
PARSER %s, p_atch0;\n\
static VALUE p_%s_attr;\n\
PARAM %s=(PARAM)&p_%s_attr;\n\
return p_andparse0n(%s,p_atch0,1,(PARAM)p_%s_attr);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
GNAME(x),(z),GNAME(x),\
CATFUNCARGS(y),GNAME(x)),UNSETNAME(x))

# ifdef USE_INLINE_AND
/* inline version */
# define P_AND(x,y,z) (printf("\
static STATUS %s(%s){\n\
PARSER %s, %s;\n\
static STATUS p_tok;\n\
P_PAND((TOPARSER %s)(%s),(TOPARSER %s)(%s));\n\
return p_tok;\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
!is_in(GNAME(z),(char*)plainenv)?GNAME(z):"dummy2",\
GNAME(y),GARGS(y),GNAME(z),GARGS(z)), UNSETNAME(x))
# else
/* the version of AND with the kernel call */
# define P_AND(x,y,z) (printf("\
static STATUS %s(%s){\n\
PARSER %s, %s;\n\
return p_andparse0n (TOPARSER %s,TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
!is_in(GNAME(z),(char*)plainenv)?GNAME(z):"dummy2",\
CATFUNCARGS(y),CATFUNCARGS(z)),UNSETNAME(x))
# endif

/* this next works using references, but there is a problem
 * in that the referenced item may have disappeared
 * by execution time, because the references only are saved
 * on the stack, not what they point to.
 */

/*********** discontinued ****************************
# define P_STAR(x,y,z,u) (printf("\
static STATUS %s(%s){\n\
PARSER %s, %s;\n\
VALUE p_dummy0;\n\
static PARAM %s; %s = (PARAM)&p_dummy0;\n\
return p_starparse0n ((VALUE*)%s,TOPARSER %s,TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
!is_in(GNAME(z),(char*)plainenv)?GNAME(z):"dummy2",\
(u),(u),(u),CATFUNCARGS(y),CATFUNCARGS(z)),UNSETNAME(x))
******************************************************/

/* Nothing wrong with this next, but it's a bit unwieldy
 * to place inline, so I have replaced the innards with
 * a macro (below).
 */

/*********** discontinued ****************************
# define P_STAR(x,y,z,u) (printf("\
static STATUS %s(%s){\n\
PARSER %s, %s;\n\
PARAM %s; static STATUS p_tok;\n\
  MARK;  p_tok = (TOPARSER %s) (%s);\n\
  if (BADSTATUS(p_tok)) {RELEASE;return p_tok;}\n\
  %s = (PARAM)p_tok; p_tok = (TOPARSER %s) (%s);\n\
  if (BADSTATUS(p_tok)) {REWIND;} else {RELEASE;}\n\
  return p_tok;\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
!is_in(GNAME(z),(char*)plainenv)?GNAME(z):"dummy2",\
u,GNAME(y),GARGS(y),u,GNAME(z),GARGS(z)),UNSETNAME(x))
******************************************************/

# define P_STAR(x,y,z,u) (printf("\
static STATUS %s(%s){\n\
PARSER %s, %s; PARAM %s;\n\
static STATUS p_tok;\n\
P_PSTAR(%s,(TOPARSER %s)(%s),(TOPARSER %s)(%s));\n\
return p_tok;\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
!is_in(GNAME(z),(char*)plainenv)?GNAME(z):"dummy2",\
u,u,GNAME(y),GARGS(y),GNAME(z),GARGS(z)), UNSETNAME(x))

/* inline version */
# define P_ALT(x,y,z) (printf ("\
static STATUS %s (%s){\n\
PARSER %s, %s;\n\
static STATUS p_tok;\n\
p_tok = (TOPARSER %s) (%s);\n\
return (GOODSTATUS(p_tok))?p_tok:(TOPARSER %s) (%s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
!is_in(GNAME(z),(char*)plainenv)?GNAME(z):"dummy2",\
GNAME(y),GARGS(y),GNAME(z),GARGS(z)),UNSETNAME(x))

/* library call version *
# define P_ALT(x,y,z) (printf ("\
static STATUS %s (%s){\n\
PARSER %s, %s;\n\
return p_orparse0n (TOPARSER %s,TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
!is_in(GNAME(z),(char*)plainenv)?GNAME(z):"dummy2",\
CATFUNCARGS(y),CATFUNCARGS(z)),UNSETNAME(x))
*/

# define P_ATT(x,y,z,w) (printf("\
static VOID %s(%s){\n\
%s\n\
}\n\
",GNAME(z),(char*)environment,(w)),\
printf("\
static STATUS %s(%s){\n\
PARSER %s;ACTION %s;\n\
return p_attach0n(TOPARSER %s,%s);\n\
}\n\
",GNAME(x),(char*)environment,\
GNAME(y),GNAME(z),CATFUNCARGS(y),CATFUNCARGS(z)),UNSETNAME(x))

# define P_PRE(x,y,z,w) (printf("\
static VOID %s(%s){\n\
%s\n\
}\n\
static STATUS %s(%s){\n\
PARSER %s;ACTION %s;\n\
return p_prepend0n(%s,%s);\n\
}\n\
",GNAME(z),(char*)environment,(w),\
GNAME(x),(char*)environment,GNAME(y),GNAME(z),\
CATFUNCARGS(z),CATFUNCARGS(y)),UNSETNAME(x))

# define P_OPT(x,y)   (printf("\
static STATUS %s(%s){\n\
PARSER %s;\n\
return p_option0n(TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
CATFUNCARGS(y)),UNSETNAME(x))

# define P_ATA(x,y)   (printf("\
static STATUS %s(%s){\n\
return p_atch0((PARAM)(%s));\n\
}\n\
",GNAME(x),(char*)environment,\
(y)),UNSETNAME(x))

# define P_INF(x,y)   (printf("\
static STATUS %s(%s){\n\
PARSER %s;\n\
return p_many0n(TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
CATFUNCARGS(y)),UNSETNAME(x))

# define P_ITR(x,y,z)   (printf("\
static STATUS %s(%s){\n\
PARSER %s;\n\
return p_iter0n((int)%s,TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
z,CATFUNCARGS(y)),UNSETNAME(x))

# define P_SOM(x,y)   (printf("\
static STATUS %s(%s){\n\
PARSER %s;\n\
return p_some0n(TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
CATFUNCARGS(y)),UNSETNAME(x))

# define P_PHA(x,y)   (printf("\
static STATUS %s(%s){\n\
PARSER %s;\n\
return p_hidden0n(TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
CATFUNCARGS(y)),UNSETNAME(x))

# define P_ERR(x,y)   (printf("\
static STATUS %s(%s){\n\
PARSER %s;\n\
return p_uerror0n(TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
CATFUNCARGS(y)),UNSETNAME(x))

# define P_UNI(x,y)   (printf("\
static STATUS %s(%s){\n\
PARSER %s;\n\
return p_uniq0n(%s);\n\
}\n\
",GNAME(x),(char*)environment,\
GNAME(y),CATFUNCARGS(y)),UNSETNAME(x))

# define P_LIT(x,y)   (printf("\
static STATUS %s(%s){\n\
return p_exactly0(%s);\n\
}\n\
",GNAME(x),(char*)environment,(y)),UNSETNAME(x))

# define P_ALI(x,y)   (printf("\
static STATUS %s(%s){\n\
return p_notexactly0(%s);\n\
}\n\
",GNAME(x),(char*)environment,(y)),UNSETNAME(x))

# define P_RAN(x,y)   (printf("\
static STATUS %s(%s){\n\
PREDICATE %s;\n\
return p_range0n(%s);\n\
}\n\
",GNAME(x),(char*)environment,GNAME(y),CATFUNCARGS(y)),UNSETNAME(x))

# define P_TST(x,y)   (printf("\
static STATUS %s(%s){\n\
return p_test0(%s);\n\
}\n\
",GNAME(x),(char*)environment,(y)),UNSETNAME(x))

# define P_HID(x,y,z)   (printf("\
static STATUS %s(%s){\n\
PREDICATE %s;\n\
PARSER %s;\n\
return p_hide0n(TOPARSER %s,%s);\n\
}\n\
",GNAME(x),(char*)environment,GNAME(z),\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
CATFUNCARGS(y),CATFUNCARGS(z)),UNSETNAME(x))

# define P_UNT(x,y)   (printf("\
static STATUS %s(%s){\n\
PARSER %s;\n\
return p_until0n(TOPARSER %s);\n\
}\n\
",GNAME(x),(char*)environment,\
!is_in(GNAME(y),(char*)plainenv)?GNAME(y):"dummy1",\
CATFUNCARGS(y)),UNSETNAME(x))

/* this prints out the line numbers for cpp */
# define P_LINE ((*p_infile!='-')?printf("#line %d \"%s\"\n",\
yylineno, p_infile):0)

# endif