1 /* $Id: defs.h,v 1.36 2011/12/20 01:31:16 tom Exp $ */ 2 3 #ifdef HAVE_CONFIG_H 4 #include <config.h> 5 #endif 6 7 #include <stdlib.h> 8 #include <string.h> 9 #include <errno.h> 10 #include <assert.h> 11 #include <ctype.h> 12 #include <stdio.h> 13 14 #define YYMAJOR 1 15 #define YYMINOR 9 16 17 #define CONCAT(first,second) first #second 18 #define CONCAT1(string,number) CONCAT(string, number) 19 #define CONCAT2(first,second) #first "." #second 20 21 #ifdef YYPATCH 22 #define VSTRING(a,b) CONCAT2(a,b) CONCAT1(" ",YYPATCH) 23 #else 24 #define VSTRING(a,b) CONCAT2(a,b) 25 #endif 26 27 #define VERSION VSTRING(YYMAJOR, YYMINOR) 28 29 /* machine-dependent definitions */ 30 /* the following definitions are for the Tahoe */ 31 /* they might have to be changed for other machines */ 32 33 /* MAXCHAR is the largest unsigned character value */ 34 /* MAXSHORT is the largest value of a C short */ 35 /* MINSHORT is the most negative value of a C short */ 36 /* MAXTABLE is the maximum table size */ 37 /* BITS_PER_WORD is the number of bits in a C unsigned */ 38 /* WORDSIZE computes the number of words needed to */ 39 /* store n bits */ 40 /* BIT returns the value of the n-th bit starting */ 41 /* from r (0-indexed) */ 42 /* SETBIT sets the n-th bit starting from r */ 43 44 #define MAXCHAR 255 45 #define MAXSHORT 32767 46 #define MINSHORT -32768 47 #define MAXTABLE 32500 48 #define BITS_PER_WORD 32 49 #define WORDSIZE(n) (((n)+(BITS_PER_WORD-1))/BITS_PER_WORD) 50 #define BIT(r, n) ((((r)[(n)>>5])>>((n)&31))&1) 51 #define SETBIT(r, n) ((r)[(n)>>5]|=((unsigned)1<<((n)&31))) 52 53 /* character names */ 54 55 #define NUL '\0' /* the null character */ 56 #define NEWLINE '\n' /* line feed */ 57 #define SP ' ' /* space */ 58 #define BS '\b' /* backspace */ 59 #define HT '\t' /* horizontal tab */ 60 #define VT '\013' /* vertical tab */ 61 #define CR '\r' /* carriage return */ 62 #define FF '\f' /* form feed */ 63 #define QUOTE '\'' /* single quote */ 64 #define DOUBLE_QUOTE '\"' /* double quote */ 65 #define BACKSLASH '\\' /* backslash */ 66 67 #define UCH(c) (unsigned char)(c) 68 69 /* defines for constructing filenames */ 70 71 #if defined(VMS) 72 #define CODE_SUFFIX "_code.c" 73 #define DEFINES_SUFFIX "_tab.h" 74 #define EXTERNS_SUFFIX "_tab.i" 75 #define OUTPUT_SUFFIX "_tab.c" 76 #else 77 #define CODE_SUFFIX ".code.c" 78 #define DEFINES_SUFFIX ".tab.h" 79 #define EXTERNS_SUFFIX ".tab.i" 80 #define OUTPUT_SUFFIX ".tab.c" 81 #endif 82 #define VERBOSE_SUFFIX ".output" 83 #define GRAPH_SUFFIX ".dot" 84 85 /* keyword codes */ 86 87 #define TOKEN 0 88 #define LEFT 1 89 #define RIGHT 2 90 #define NONASSOC 3 91 #define MARK 4 92 #define TEXT 5 93 #define TYPE 6 94 #define START 7 95 #define UNION 8 96 #define IDENT 9 97 #define EXPECT 10 98 #define EXPECT_RR 11 99 #define PURE_PARSER 12 100 #define PARSE_PARAM 13 101 #define LEX_PARAM 14 102 #define POSIX_YACC 15 103 104 /* symbol classes */ 105 106 #define UNKNOWN 0 107 #define TERM 1 108 #define NONTERM 2 109 110 /* the undefined value */ 111 112 #define UNDEFINED (-1) 113 114 /* action codes */ 115 116 #define SHIFT 1 117 #define REDUCE 2 118 119 /* character macros */ 120 121 #define IS_IDENT(c) (isalnum(c) || (c) == '_' || (c) == '.' || (c) == '$') 122 #define IS_OCTAL(c) ((c) >= '0' && (c) <= '7') 123 #define NUMERIC_VALUE(c) ((c) - '0') 124 125 /* symbol macros */ 126 127 #define ISTOKEN(s) ((s) < start_symbol) 128 #define ISVAR(s) ((s) >= start_symbol) 129 130 /* storage allocation macros */ 131 132 #define CALLOC(k,n) (calloc((size_t)(k),(size_t)(n))) 133 #define FREE(x) (free((char*)(x))) 134 #define MALLOC(n) (malloc((size_t)(n))) 135 #define NEW(t) ((t*)allocate(sizeof(t))) 136 #define NEW2(n,t) ((t*)allocate(((size_t)(n)*sizeof(t)))) 137 #define REALLOC(p,n) (realloc((char*)(p),(size_t)(n))) 138 139 #define DO_FREE(x) if (x) { FREE(x); x = 0; } 140 141 #define NO_SPACE(p) if (p == 0) no_space(); assert(p != 0) 142 143 /* messages */ 144 #define PLURAL(n) ((n) > 1 ? "s" : "") 145 146 typedef char Assoc_t; 147 typedef char Class_t; 148 typedef short Index_t; 149 typedef short Value_t; 150 151 /* the structure of a symbol table entry */ 152 153 typedef struct bucket bucket; 154 struct bucket 155 { 156 struct bucket *link; 157 struct bucket *next; 158 char *name; 159 char *tag; 160 Value_t value; 161 Index_t index; 162 Value_t prec; 163 Class_t class; 164 Assoc_t assoc; 165 }; 166 167 /* the structure of the LR(0) state machine */ 168 169 typedef struct core core; 170 struct core 171 { 172 struct core *next; 173 struct core *link; 174 Value_t number; 175 Value_t accessing_symbol; 176 Value_t nitems; 177 Value_t items[1]; 178 }; 179 180 /* the structure used to record shifts */ 181 182 typedef struct shifts shifts; 183 struct shifts 184 { 185 struct shifts *next; 186 Value_t number; 187 Value_t nshifts; 188 Value_t shift[1]; 189 }; 190 191 /* the structure used to store reductions */ 192 193 typedef struct reductions reductions; 194 struct reductions 195 { 196 struct reductions *next; 197 Value_t number; 198 Value_t nreds; 199 Value_t rules[1]; 200 }; 201 202 /* the structure used to represent parser actions */ 203 204 typedef struct action action; 205 struct action 206 { 207 struct action *next; 208 Value_t symbol; 209 Value_t number; 210 Value_t prec; 211 char action_code; 212 Assoc_t assoc; 213 char suppressed; 214 }; 215 216 /* the structure used to store parse/lex parameters */ 217 typedef struct param param; 218 struct param 219 { 220 struct param *next; 221 char *name; /* parameter name */ 222 char *type; /* everything before parameter name */ 223 char *type2; /* everything after parameter name */ 224 }; 225 226 /* global variables */ 227 228 extern char dflag; 229 extern char gflag; 230 extern char iflag; 231 extern char lflag; 232 extern char rflag; 233 extern char sflag; 234 extern char tflag; 235 extern char vflag; 236 extern const char *symbol_prefix; 237 238 extern const char *myname; 239 extern char *cptr; 240 extern char *line; 241 extern int lineno; 242 extern int outline; 243 extern int exit_code; 244 245 extern const char *const banner[]; 246 extern const char *const xdecls[]; 247 extern const char *const tables[]; 248 extern const char *const global_vars[]; 249 extern const char *const impure_vars[]; 250 extern const char *const hdr_defs[]; 251 extern const char *const hdr_vars[]; 252 extern const char *const body_1[]; 253 extern const char *const body_vars[]; 254 extern const char *const body_2[]; 255 extern const char *const body_3[]; 256 extern const char *const trailer[]; 257 extern const char *const trailer_2[]; 258 259 extern char *code_file_name; 260 extern char *input_file_name; 261 extern char *defines_file_name; 262 extern char *externs_file_name; 263 264 extern FILE *action_file; 265 extern FILE *code_file; 266 extern FILE *defines_file; 267 extern FILE *externs_file; 268 extern FILE *input_file; 269 extern FILE *output_file; 270 extern FILE *text_file; 271 extern FILE *union_file; 272 extern FILE *verbose_file; 273 extern FILE *graph_file; 274 275 extern int nitems; 276 extern int nrules; 277 extern int nsyms; 278 extern int ntokens; 279 extern int nvars; 280 extern int ntags; 281 282 extern char unionized; 283 extern char line_format[]; 284 285 extern Value_t start_symbol; 286 extern char **symbol_name; 287 extern char **symbol_pname; 288 extern Value_t *symbol_value; 289 extern Value_t *symbol_prec; 290 extern char *symbol_assoc; 291 292 extern Value_t *ritem; 293 extern Value_t *rlhs; 294 extern Value_t *rrhs; 295 extern Value_t *rprec; 296 extern Assoc_t *rassoc; 297 298 extern Value_t **derives; 299 extern char *nullable; 300 301 extern bucket *first_symbol; 302 extern bucket *last_symbol; 303 304 extern int pure_parser; 305 extern int nstates; 306 extern core *first_state; 307 extern shifts *first_shift; 308 extern reductions *first_reduction; 309 extern Value_t *accessing_symbol; 310 extern core **state_table; 311 extern shifts **shift_table; 312 extern reductions **reduction_table; 313 extern unsigned *LA; 314 extern Value_t *LAruleno; 315 extern Value_t *lookaheads; 316 extern Value_t *goto_map; 317 extern Value_t *from_state; 318 extern Value_t *to_state; 319 320 extern action **parser; 321 extern int SRexpect; 322 extern int RRexpect; 323 extern int SRtotal; 324 extern int RRtotal; 325 extern Value_t *SRconflicts; 326 extern Value_t *RRconflicts; 327 extern Value_t *defred; 328 extern Value_t *rules_used; 329 extern Value_t nunused; 330 extern Value_t final_state; 331 332 extern Value_t *itemset; 333 extern Value_t *itemsetend; 334 extern unsigned *ruleset; 335 336 extern param *lex_param; 337 extern param *parse_param; 338 339 /* global functions */ 340 341 extern bucket *lookup(const char *); 342 extern bucket *make_bucket(const char *); 343 344 #ifndef GCC_NORETURN 345 #define GCC_NORETURN /* nothing */ 346 #endif 347 348 #ifndef GCC_UNUSED 349 #define GCC_UNUSED /* nothing */ 350 #endif 351 352 /* closure.c */ 353 extern void closure(Value_t * nucleus, int n); 354 extern void finalize_closure(void); 355 extern void set_first_derives(void); 356 357 /* error.c */ 358 extern void default_action_warning(void); 359 extern void dollar_error(int a_lineno, char *a_line, char *a_cptr) GCC_NORETURN; 360 extern void dollar_warning(int a_lineno, int i); 361 extern void fatal(const char *msg) GCC_NORETURN; 362 extern void illegal_character(char *c_cptr) GCC_NORETURN; 363 extern void illegal_tag(int t_lineno, char *t_line, char *t_cptr) GCC_NORETURN; 364 extern void missing_brace(void) GCC_NORETURN; 365 extern void no_grammar(void) GCC_NORETURN; 366 extern void no_space(void) GCC_NORETURN; 367 extern void open_error(const char *filename) GCC_NORETURN; 368 extern void over_unionized(char *u_cptr) GCC_NORETURN; 369 extern void prec_redeclared(void); 370 extern void reprec_warning(char *s); 371 extern void restarted_warning(void); 372 extern void retyped_warning(char *s); 373 extern void revalued_warning(char *s); 374 extern void syntax_error(int st_lineno, char *st_line, char *st_cptr) GCC_NORETURN; 375 extern void terminal_lhs(int s_lineno) GCC_NORETURN; 376 extern void terminal_start(char *s) GCC_NORETURN; 377 extern void tokenized_start(char *s) GCC_NORETURN; 378 extern void undefined_goal(char *s) GCC_NORETURN; 379 extern void undefined_symbol_warning(char *s); 380 extern void unexpected_EOF(void) GCC_NORETURN; 381 extern void unknown_rhs(int i) GCC_NORETURN; 382 extern void unterminated_action(int a_lineno, char *a_line, char *a_cptr) GCC_NORETURN; 383 extern void unterminated_comment(int c_lineno, char *c_line, char *c_cptr) GCC_NORETURN; 384 extern void unterminated_string(int s_lineno, char *s_line, char *s_cptr) GCC_NORETURN; 385 extern void unterminated_text(int t_lineno, char *t_line, char *t_cptr) GCC_NORETURN; 386 extern void unterminated_union(int u_lineno, char *u_line, char *u_cptr) GCC_NORETURN; 387 extern void untyped_lhs(void) GCC_NORETURN; 388 extern void untyped_rhs(int i, char *s) GCC_NORETURN; 389 extern void used_reserved(char *s) GCC_NORETURN; 390 391 /* graph.c */ 392 extern void graph(void); 393 394 /* lalr.c */ 395 extern void create_symbol_table(void); 396 extern void free_symbol_table(void); 397 extern void free_symbols(void); 398 399 /* lalr.c */ 400 extern void lalr(void); 401 402 /* lr0.c */ 403 extern void lr0(void); 404 extern void show_cores(void); 405 extern void show_ritems(void); 406 extern void show_rrhs(void); 407 extern void show_shifts(void); 408 409 /* main.c */ 410 extern void *allocate(size_t n); 411 extern void done(int k) GCC_NORETURN; 412 413 /* mkpar.c */ 414 extern void free_parser(void); 415 extern void make_parser(void); 416 417 /* output.c */ 418 extern void output(void); 419 420 /* reader.c */ 421 extern void reader(void); 422 423 /* skeleton.c */ 424 extern void write_section(FILE *fp, const char *const section[]); 425 426 /* verbose.c */ 427 extern void verbose(void); 428 429 /* warshall.c */ 430 extern void reflexive_transitive_closure(unsigned *R, int n); 431 432 #ifdef NO_LEAKS 433 extern void lr0_leaks(void); 434 extern void lalr_leaks(void); 435 extern void mkpar_leaks(void); 436 extern void output_leaks(void); 437 extern void reader_leaks(void); 438 #endif 439