defs.h File Reference

#include <assert.h>
#include <ctype.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <errno.h>

Include dependency graph for defs.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	bucket
	Internal: Hash table structure. More...
struct	core
struct	shifts
struct	reductions
struct	action

Macros
#define	MAXCHAR   255
#define	MAXSHORT   32767
#define	MINSHORT   -32768
#define	MAXTABLE   32500
#define	BITS_PER_WORD   32
#define	WORDSIZE(n)   (((n)+(BITS_PER_WORD-1))/BITS_PER_WORD)
#define	BIT(r, n)   ((((r)[(n)>>5])>>((n)&31))&1)
#define	SETBIT(r, n)   ((r)[(n)>>5]|=((unsigned)1<<((n)&31)))
#define	NUL   '\0' /* the null character */
#define	NEWLINE   '\n' /* line feed */
#define	SP   ' ' /* space */
#define	BS   '\b' /* backspace */
#define	HT   '\t' /* horizontal tab */
#define	VT   '\013' /* vertical tab */
#define	CR   '\r' /* carriage return */
#define	FF   '\f' /* form feed */
#define	QUOTE   '\'' /* single quote */
#define	DOUBLE_QUOTE   '\"' /* double quote */
#define	BACKSLASH   '\\' /* backslash */
#define	CODE_SUFFIX   ".code.c"
#define	DEFINES_SUFFIX   ".tab.h"
#define	OUTPUT_SUFFIX   ".tab.c"
#define	VERBOSE_SUFFIX   ".output"
#define	TOKEN   0
#define	LEFT   1
#define	RIGHT   2
#define	NONASSOC   3
#define	MARK   4
#define	TEXT   5
#define	TYPE   6
#define	START   7
#define	UNION   8
#define	IDENT   9
#define	UNKNOWN   0
#define	TERM   1
#define	NONTERM   2
#define	UNDEFINED   (-1)
#define	SHIFT   1
#define	REDUCE   2
#define	IS_IDENT(c)   (isalnum(c) || (c) == '_' || (c) == '.' || (c) == '$')
#define	IS_OCTAL(c)   ((c) >= '0' && (c) <= '7')
#define	NUMERIC_VALUE(c)   ((c) - '0')
#define	ISTOKEN(s)   ((s) < start_symbol)
#define	ISVAR(s)   ((s) >= start_symbol)
#define	CALLOC(k, n)   (calloc((unsigned)(k),(unsigned)(n)))
#define	FREE(x)   (free((char*)(x)))
#define	MALLOC(n)   (malloc((unsigned)(n)))
#define	NEW(t)   ((t*)allocate(sizeof(t)))
#define	NEW2(n, t)   ((t*)allocate((unsigned)((n)*sizeof(t))))
#define	REALLOC(p, n)   (realloc((char*)(p),(unsigned)(n)))
#define	NORETURN

Typedefs
typedef struct bucket	bucket
typedef struct core	core
typedef struct shifts	shifts
typedef struct reductions	reductions
typedef struct action	action

Functions
void	done (int k) NORETURN
char *	allocate (unsigned int n)
void	no_space (void) NORETURN
void	fatal (char *msg) NORETURN
void	open_error (char *filename) NORETURN
void	unexpected_EOF (void) NORETURN
void	syntax_error (int st_lineno, char *st_line, char *st_cptr) NORETURN
void	unterminated_comment (int c_lineno, char *c_line, char *c_cptr) NORETURN
void	unterminated_string (int s_lineno, char *s_line, char *s_cptr) NORETURN
void	unterminated_text (int t_lineno, char *t_line, char *t_cptr) NORETURN
void	unterminated_union (int u_lineno, char *u_line, char *u_cptr) NORETURN
void	over_unionized (char *u_cptr) NORETURN
void	illegal_tag (int t_lineno, char *t_line, char *t_cptr) NORETURN
void	illegal_character (char *c_cptr) NORETURN
void	used_reserved (char *s) NORETURN
void	tokenized_start (char *s) NORETURN
void	retyped_warning (char *s)
void	reprec_warning (char *s)
void	revalued_warning (char *s)
void	terminal_start (char *s)
void	restarted_warning (void)
void	no_grammar (void) NORETURN
void	terminal_lhs (int s_lineno) NORETURN
void	prec_redeclared (void)
void	unterminated_action (int a_lineno, char *a_line, char *a_cptr) NORETURN
void	dollar_warning (int a_lineno, int i)
void	dollar_error (int a_lineno, char *a_line, char *a_cptr) NORETURN
void	untyped_lhs (void) NORETURN
void	untyped_rhs (int i, char *s) NORETURN
void	unknown_rhs (int i) NORETURN
void	default_action_warning (void)
void	undefined_goal (char *s) NORETURN
void	undefined_symbol_warning (char *s)
bucket *	make_bucket (char *name)
bucket *	lookup (char *name)
void	create_symbol_table (void)
void	free_symbol_table (void)
void	free_symbols (void)
void	set_first_derives (void)
void	closure (short int *nucleus, int n)
void	finalize_closure (void)
void	reader (void)
void	lr0 (void)
void	lalr (void)
void	make_parser (void)
void	free_parser (void)
void	reflexive_transitive_closure (unsigned int *R, int n)
void	output (void)
int	default_goto (int symbol)
int	matching_vector (int vector)
int	pack_vector (int vector)
void	write_section (char *section[])
void	verbose (void)

Variables
char	dflag
char	lflag
char	rflag
char	tflag
char	vflag
char *	symbol_prefix
char *	myname
char *	cptr
char *	line
int	lineno
int	outline
char *	banner []
char *	tables []
char *	header []
char *	body []
char *	trailer []
char *	code_file_name
char *	defines_file_name
char *	input_file_name
char *	output_file_name
char *	verbose_file_name
FILE *	action_file
FILE *	code_file
FILE *	defines_file
FILE *	input_file
FILE *	output_file
FILE *	text_file
FILE *	union_file
FILE *	verbose_file
int	nitems
int	nrules
int	nsyms
int	ntokens
int	nvars
int	ntags
char	unionized
char	line_format []
int	start_symbol
char **	symbol_name
short *	symbol_value
short *	symbol_prec
char *	symbol_assoc
short *	ritem
short *	rlhs
short *	rrhs
short *	rprec
char *	rassoc
short **	derives
char *	nullable
bucket *	first_symbol
bucket *	last_symbol
int	nstates
core *	first_state
shifts *	first_shift
reductions *	first_reduction
short *	accessing_symbol
core **	state_table
shifts **	shift_table
reductions **	reduction_table
unsigned *	LA
short *	LAruleno
short *	lookaheads
short *	goto_map
short *	from_state
short *	to_state
action **	parser
int	SRtotal
int	RRtotal
short *	SRconflicts
short *	RRconflicts
short *	defred
short *	rules_used
short	nunused
short	final_state

Macro Definition Documentation

#define BACKSLASH   '\\' /* backslash */

Definition at line 51 of file defs.h.

#define BIT	(		r,
			n
	)		((((r)[(n)>>5])>>((n)&31))&1)

Definition at line 35 of file defs.h.

#define BITS_PER_WORD   32

Definition at line 33 of file defs.h.

#define BS   '\b' /* backspace */

Definition at line 44 of file defs.h.

#define CALLOC	(		k,
			n
	)		(calloc((unsigned)(k),(unsigned)(n)))

Definition at line 109 of file defs.h.

#define CODE_SUFFIX   ".code.c"

Definition at line 56 of file defs.h.

#define CR   '\r' /* carriage return */

Definition at line 47 of file defs.h.

#define DEFINES_SUFFIX   ".tab.h"

Definition at line 57 of file defs.h.

#define DOUBLE_QUOTE   '\"' /* double quote */

Definition at line 50 of file defs.h.

#define FF   '\f' /* form feed */

Definition at line 48 of file defs.h.

#define FREE

(

x

)

(free((char*)(x)))

Definition at line 110 of file defs.h.

#define HT   '\t' /* horizontal tab */

Definition at line 45 of file defs.h.

#define IDENT   9

Definition at line 73 of file defs.h.

#define IS_IDENT

(

c

)

(isalnum(c) || (c) == '_' || (c) == '.' || (c) == '$')

Definition at line 96 of file defs.h.

#define IS_OCTAL

(

c

)

((c) >= '0' && (c) <= '7')

Definition at line 97 of file defs.h.

#define ISTOKEN

(

s

)

((s) < start_symbol)

Definition at line 103 of file defs.h.

#define ISVAR

(

s

)

((s) >= start_symbol)

Definition at line 104 of file defs.h.

#define LEFT   1

Definition at line 65 of file defs.h.

#define MALLOC

(

n

)

(malloc((unsigned)(n)))

Definition at line 111 of file defs.h.

#define MARK   4

Definition at line 68 of file defs.h.

#define MAXCHAR   255

Definition at line 29 of file defs.h.

#define MAXSHORT   32767

Definition at line 30 of file defs.h.

#define MAXTABLE   32500

Definition at line 32 of file defs.h.

#define MINSHORT   -32768

Definition at line 31 of file defs.h.

#define NEW

(

t

)

((t*)allocate(sizeof(t)))

Definition at line 112 of file defs.h.

#define NEW2	(		n,
			t
	)		((t*)allocate((unsigned)((n)*sizeof(t))))

Definition at line 113 of file defs.h.

#define NEWLINE   '\n' /* line feed */

Definition at line 42 of file defs.h.

#define NONASSOC   3

Definition at line 67 of file defs.h.

#define NONTERM   2

Definition at line 80 of file defs.h.

#define NORETURN

Definition at line 283 of file defs.h.

#define NUL   '\0' /* the null character */

Definition at line 41 of file defs.h.

#define NUMERIC_VALUE

(

c

)

((c) - '0')

Definition at line 98 of file defs.h.

#define OUTPUT_SUFFIX   ".tab.c"

Definition at line 58 of file defs.h.

#define QUOTE   '\'' /* single quote */

Definition at line 49 of file defs.h.

#define REALLOC	(		p,
			n
	)		(realloc((char*)(p),(unsigned)(n)))

Definition at line 114 of file defs.h.

#define REDUCE   2

Definition at line 91 of file defs.h.

#define RIGHT   2

Definition at line 66 of file defs.h.

#define SETBIT	(		r,
			n
	)		((r)[(n)>>5]|=((unsigned)1<<((n)&31)))

Definition at line 36 of file defs.h.

#define SHIFT   1

Definition at line 90 of file defs.h.

#define SP   ' ' /* space */

Definition at line 43 of file defs.h.

#define START   7

Definition at line 71 of file defs.h.

#define TERM   1

Definition at line 79 of file defs.h.

#define TEXT   5

Definition at line 69 of file defs.h.

#define TOKEN   0

Definition at line 64 of file defs.h.

#define TYPE   6

Definition at line 70 of file defs.h.

#define UNDEFINED   (-1)

Definition at line 85 of file defs.h.

#define UNION   8

Definition at line 72 of file defs.h.

#define UNKNOWN   0

Definition at line 78 of file defs.h.

#define VERBOSE_SUFFIX   ".output"

Definition at line 59 of file defs.h.

#define VT   '\013' /* vertical tab */

Definition at line 46 of file defs.h.

#define WORDSIZE

(

n

)

(((n)+(BITS_PER_WORD-1))/BITS_PER_WORD)

Definition at line 34 of file defs.h.

Typedef Documentation

typedef struct action action

Definition at line 174 of file defs.h.

typedef struct bucket bucket

Definition at line 119 of file defs.h.

typedef struct core core

Definition at line 136 of file defs.h.

typedef struct reductions reductions

Definition at line 162 of file defs.h.

typedef struct shifts shifts

Definition at line 150 of file defs.h.

Function Documentation

char* allocate

(

unsigned int

n

)

Definition at line 230 of file antelope.c.

{
    char *p;

    p = NULL;
    if (n)
    {
        p = CALLOC(1, n);
        if (!p) no_space();
    }
    return (p);
}

void closure	(	short int *	nucleus,
		int	n
	)

Definition at line 120 of file closure.c.

{
    int ruleno;
    unsigned word;
    unsigned i;
    short *csp;
    unsigned *dsp;
    unsigned *rsp;
    int rulesetsize;

    short *csend;
    unsigned *rsend;
    int symbol;
    int itemno;

    rulesetsize = WORDSIZE(nrules);
    rsp = ruleset;
    rsend = ruleset + rulesetsize;
    for (rsp = ruleset; rsp < rsend; rsp++)
        *rsp = 0;

    csend = nucleus + n;
    for (csp = nucleus; csp < csend; ++csp)
    {
        symbol = ritem[*csp];
        if (ISVAR(symbol))
        {
            dsp = first_derives + symbol * rulesetsize;
            rsp = ruleset;
            while (rsp < rsend)
                *rsp++ |= *dsp++;
        }
    }

    ruleno = 0;
    itemsetend = itemset;
    csp = nucleus;
    for (rsp = ruleset; rsp < rsend; ++rsp)
    {
        word = *rsp;
        if (word)
        {
            for (i = 0; i < BITS_PER_WORD; ++i)
            {
                if (word & (1 << i))
                {
                    itemno = rrhs[ruleno+i];
                    while (csp < csend && *csp < itemno)
                        *itemsetend++ = *csp++;
                    *itemsetend++ = itemno;
                    while (csp < csend && *csp == itemno)
                        ++csp;
                }
            }
        }
        ruleno += BITS_PER_WORD;
    }

    while (csp < csend)
        *itemsetend++ = *csp++;

#ifdef  DEBUG
  print_closure(n);
#endif
}

void create_symbol_table

(

void

)

Definition at line 88 of file symtab.c.

{
    int i;
    bucket *bp;

    symbol_table = (bucket **) MALLOC(TABLE_SIZE*sizeof(bucket *));
    if (symbol_table == 0) no_space();
    for (i = 0; i < TABLE_SIZE; i++)
        symbol_table[i] = 0;

    bp = make_bucket("error");
    bp->index = 1;
    bp->class = TERM;

    first_symbol = bp;
    last_symbol = bp;
    symbol_table[hash("error")] = bp;
}

void default_action_warning

(

void

)

Definition at line 295 of file error.c.

{
    fprintf(stderr, "%s: warning - line %d of \"%s\", the default action assigns an \
undefined value to $$\n", myname, lineno, input_file_name);
}

int default_goto

(

int

symbol

)

Definition at line 358 of file output.c.

{
    int i;
    int m;
    int n;
    int default_state;
    int max;

    m = goto_map[symbol];
    n = goto_map[symbol + 1];

    if (m == n) return (0);

    for (i = 0; i < nstates; i++)
        state_count[i] = 0;

    for (i = m; i < n; i++)
        state_count[to_state[i]]++;

    max = 0;
    default_state = 0;
    for (i = 0; i < nstates; i++)
    {
        if (state_count[i] > max)
        {
            max = state_count[i];
            default_state = i;
        }
    }

    return (default_state);
}

void dollar_error	(	int	a_lineno,
		char *	a_line,
		char *	a_cptr
	)

Definition at line 258 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", illegal $-name\n",
            myname, a_lineno, input_file_name);
    print_pos(a_line, a_cptr);
    done(1);
}

void dollar_warning	(	int	a_lineno,
		int	i
	)

Definition at line 250 of file error.c.

{
    fprintf(stderr, "%s: warning - line %d of \"%s\", $%d references beyond the \
end of the current rule\n", myname, a_lineno, input_file_name, i);
}

void done

(

int

k

)

Definition at line 77 of file antelope.c.

{
    if (action_file) { fclose(action_file); }
    if (text_file) { fclose(text_file); }
    if (union_file) { fclose(union_file); }
    exit(k);
}

void fatal

(

char *

msg

)

Definition at line 15 of file error.c.

{
    fprintf(stderr, "%s: fatal - %s\n", myname, msg);
    done(2);
}

void finalize_closure

(

void

)

Definition at line 189 of file closure.c.

{
  FREE(itemset);
  FREE(ruleset);
  FREE(first_derives + ntokens * WORDSIZE(nrules));
}

void free_parser

(

void

)

Definition at line 363 of file mkpar.c.

{
    int i;

    for (i = 0; i < nstates; i++)
        free_action_row(parser[i]);

    FREE(parser);
}

void free_symbol_table

(

void

)

Definition at line 109 of file symtab.c.

{
    FREE(symbol_table);
    symbol_table = 0;
}

void free_symbols

(

void

)

Definition at line 117 of file symtab.c.

{
    bucket *p, *q;

    for (p = first_symbol; p; p = q)
    {
        q = p->next;
        FREE(p);
    }
}

void illegal_character

(

char *

c_cptr

)

Definition at line 145 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", illegal character\n",
            myname, lineno, input_file_name);
    print_pos(line, c_cptr);
    done(1);
}

void illegal_tag	(	int	t_lineno,
		char *	t_line,
		char *	t_cptr
	)

Definition at line 135 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", illegal tag\n",
            myname, t_lineno, input_file_name);
    print_pos(t_line, t_cptr);
    done(1);
}

void lalr

(

void

)

Definition at line 60 of file lalr.c.

{
    tokensetsize = WORDSIZE(ntokens);

    set_state_table();
    set_accessing_symbol();
    set_shift_table();
    set_reduction_table();
    set_maxrhs();
    initialize_LA();
    set_goto_map();
    initialize_F();
    build_relations();
    compute_FOLLOWS();
    compute_lookaheads();
}

bucket* lookup

(

char *

name

)

Definition at line 66 of file symtab.c.

{
    bucket *bp, **bpp;

    bpp = symbol_table + hash(name);
    bp = *bpp;

    while (bp)
    {
        if (strcmp(name, bp->name) == 0) return (bp);
        bpp = &bp->link;
        bp = *bpp;
    }

    *bpp = bp = make_bucket(name);
    last_symbol->next = bp;
    last_symbol = bp;

    return (bp);
}

void lr0

(

void

)

Definition at line 608 of file lr0.c.

{
    set_derives();
    set_nullable();
    generate_states();
}

bucket* make_bucket

(

char *

name

)

Definition at line 40 of file symtab.c.

{
    bucket *bp;

    assert(name);
    bp = (bucket *) MALLOC(sizeof(bucket));
    if (bp == 0) no_space();
    bp->link = 0;
    bp->next = 0;
    bp->name = MALLOC(strlen(name) + 1);
    if (bp->name == 0) no_space();
    bp->tag = 0;
    bp->value = UNDEFINED;
    bp->index = 0;
    bp->prec = 0;
    bp-> class = UNKNOWN;
    bp->assoc = TOKEN;

    if (bp->name == 0) no_space();
    strcpy(bp->name, name);

    return (bp);
}

void make_parser

(

void

)

Definition at line 37 of file mkpar.c.

{
    int i;

    parser = NEW2(nstates, action *);
    for (i = 0; i < nstates; i++)
        parser[i] = parse_actions(i);

    find_final_state();
    remove_conflicts();
    unused_rules();
    if (SRtotal + RRtotal > 0) total_conflicts();
    defreds();
}

int matching_vector

(

int

vector

)

Definition at line 535 of file output.c.

{
    int i;
    int j;
    int k;
    int t;
    int w;
    int match;
    int prev;

    i = order[vector];
    if (i >= 2*nstates)
        return (-1);

    t = tally[i];
    w = width[i];

    for (prev = vector - 1; prev >= 0; prev--)
    {
        j = order[prev];
        if (width[j] != w || tally[j] != t)
            return (-1);

        match = 1;
        for (k = 0; match && k < t; k++)
        {
            if (tos[j][k] != tos[i][k] || froms[j][k] != froms[i][k])
                match = 0;
        }

        if (match)
            return (j);
    }

    return (-1);
}

void no_grammar

(

void

)

Definition at line 214 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", no grammar has been \
specified\n", myname, lineno, input_file_name);
    done(1);
}

void no_space

(

void

)

Definition at line 23 of file error.c.

{
    fprintf(stderr, "%s: fatal - out of space\n", myname);
    done(2);
}

void open_error

(

char *

filename

)

Definition at line 31 of file error.c.

{
    fprintf(stderr, "%s: fatal - cannot open \"%s\"\n", myname, filename);
    done(2);
}

void output

(

void

)

Definition at line 51 of file output.c.

{
    free_itemsets();
    free_shifts();
    free_reductions();
    output_prefix();
    output_stored_text();
    output_defines();
    output_rule_data();
    output_yydefred();
    output_actions();
    free_parser();
    output_debug();
    output_stype();
    if (rflag) write_section(tables);
    write_section(header);
    output_trailing_text();
    write_section(body);
    output_semantic_actions();
    write_section(trailer);
}

void over_unionized

(

char *

u_cptr

)

Definition at line 125 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", too many %%union \
declarations\n", myname, lineno, input_file_name);
    print_pos(line, u_cptr);
    done(1);
}

int pack_vector

(

int

vector

)

Definition at line 575 of file output.c.

{
    int i, j, k, l;
    int t;
    int loc;
    int ok;
    short *from;
    short *to;
    int newmax;

    i = order[vector];
    t = tally[i];
    assert(t);

    from = froms[i];
    to = tos[i];

    j = lowzero - from[0];
    for (k = 1; k < t; ++k)
        if (lowzero - from[k] > j)
            j = lowzero - from[k];
    for (;; ++j)
    {
        if (j == 0)
            continue;
        ok = 1;
        for (k = 0; ok && k < t; k++)
        {
            loc = j + from[k];
            if (loc >= maxtable)
            {
                if (loc >= MAXTABLE)
                    fatal("maximum table size exceeded");

                newmax = maxtable;
                do { newmax += 200; } while (newmax <= loc);
                table = (short *) REALLOC(table, newmax*sizeof(short));
                if (table == 0) no_space();
                check = (short *) REALLOC(check, newmax*sizeof(short));
                if (check == 0) no_space();
                for (l  = maxtable; l < newmax; ++l)
                {
                    table[l] = 0;
                    check[l] = -1;
                }
                maxtable = newmax;
            }

            if (check[loc] != -1)
                ok = 0;
        }
        for (k = 0; ok && k < vector; k++)
        {
            if (pos[k] == j)
                ok = 0;
        }
        if (ok)
        {
            for (k = 0; k < t; k++)
            {
                loc = j + from[k];
                table[loc] = to[k];
                check[loc] = from[k];
                if (loc > high) high = loc;
            }

            while (check[lowzero] != -1)
                ++lowzero;

            return (j);
        }
    }
}

void prec_redeclared

(

void

)

Definition at line 232 of file error.c.

{
    fprintf(stderr, "%s: warning - line %d of  \"%s\", conflicting %%prec \
specifiers\n", myname, lineno, input_file_name);
}

void reader

(

void

)

Definition at line 1791 of file reader.c.

{
    write_section(banner);
    create_symbol_table();
    read_declarations();
    read_grammar();
    free_symbol_table();
    free_tags();
    pack_names();
    check_symbols();
    pack_symbols();
    pack_grammar();
    free_symbols();
    print_grammar();
}

void reflexive_transitive_closure	(	unsigned int *	R,
		int	n
	)

Definition at line 63 of file warshall.c.

{
    int rowsize;
    unsigned i;
    unsigned *rp;
    unsigned *relend;

    transitive_closure(R, n);

    rowsize = WORDSIZE(n);
    relend = R + n*rowsize;

    i = 0;
    rp = R;
    while (rp < relend)
    {
        *rp |= (1 << i);
        if (++i >= BITS_PER_WORD)
        {
            i = 0;
            rp++;
        }

        rp += rowsize;
    }
}

void reprec_warning

(

char *

s

)

Definition at line 181 of file error.c.

{
    fprintf(stderr, "%s: warning - line %d of \"%s\", the precedence of %s has been \
redeclared\n", myname, lineno, input_file_name, s);
}

void restarted_warning

(

void

)

Definition at line 206 of file error.c.

{
    fprintf(stderr, "%s: warning - line %d of \"%s\", the start symbol has been \
redeclared\n", myname, lineno, input_file_name);
}

void retyped_warning

(

char *

s

)

Definition at line 173 of file error.c.

{
    fprintf(stderr, "%s: warning - line %d of \"%s\", the type of %s has been \
redeclared\n", myname, lineno, input_file_name, s);
}

void revalued_warning

(

char *

s

)

Definition at line 189 of file error.c.

{
    fprintf(stderr, "%s: warning - line %d of \"%s\", the value of %s has been \
redeclared\n", myname, lineno, input_file_name, s);
}

void set_first_derives

(

void

)

Definition at line 64 of file closure.c.

{
    unsigned *rrow;
    unsigned *vrow;
    int j;
    unsigned k;
    unsigned cword = 0;
    short *rp;

    int rule;
    int i;
    int rulesetsize;
    int varsetsize;

    rulesetsize = WORDSIZE(nrules);
    varsetsize = WORDSIZE(nvars);
    first_derives = NEW2(nvars * rulesetsize, unsigned) - ntokens * rulesetsize;

    set_EFF();

    rrow = first_derives + ntokens * rulesetsize;
    for (i = start_symbol; i < nsyms; i++)
    {
        vrow = EFF + ((i - ntokens) * varsetsize);
        k = BITS_PER_WORD;
        for (j = start_symbol; j < nsyms; k++, j++)
        {
            if (k >= BITS_PER_WORD)
            {
                cword = *vrow++;
                k = 0;
            }

            if (cword & (1 << k))
            {
                rp = derives[j];
                while ((rule = *rp++) >= 0)
                {
                    SETBIT(rrow, rule);
                }
            }
        }

        vrow += varsetsize;
        rrow += rulesetsize;
    }

#ifdef  DEBUG
    print_first_derives();
#endif

    FREE(EFF);
}

void syntax_error	(	int	st_lineno,
		char *	st_line,
		char *	st_cptr
	)

Definition at line 75 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", syntax error\n",
            myname, st_lineno, input_file_name);
    print_pos(st_line, st_cptr);
    done(1);
}

void terminal_lhs

(

int

s_lineno

)

Definition at line 223 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", a token appears on the lhs \
of a production\n", myname, s_lineno, input_file_name);
    done(1);
}

void terminal_start

(

char *

s

)

Definition at line 197 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", the start symbol %s is a \
token\n", myname, lineno, input_file_name, s);
    done(1);
}

void tokenized_start

(

char *

s

)

Definition at line 164 of file error.c.

{
     fprintf(stderr, "%s: error - line %d of \"%s\", the start symbol %s cannot be \
declared to be a token\n", myname, lineno, input_file_name, s);
     done(1);
}

void undefined_goal

(

char *

s

)

Definition at line 303 of file error.c.

{
    fprintf(stderr, "%s: error - the start symbol %s is undefined\n", myname, s);
    done(1);
}

void undefined_symbol_warning

(

char *

s

)

Definition at line 311 of file error.c.

{
    fprintf(stderr, "%s: warning - the symbol %s is undefined\n", myname, s);
}

void unexpected_EOF

(

void

)

Definition at line 39 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", unexpected end-of-file\n",
            myname, lineno, input_file_name);
    done(1);
}

void unknown_rhs

(

int

i

)

Definition at line 286 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", $%d is untyped\n",
            myname, lineno, input_file_name, i);
    done(1);
}

void unterminated_action	(	int	a_lineno,
		char *	a_line,
		char *	a_cptr
	)

Definition at line 240 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", unterminated action\n",
            myname, a_lineno, input_file_name);
    print_pos(a_line, a_cptr);
    done(1);
}

void unterminated_comment	(	int	c_lineno,
		char *	c_line,
		char *	c_cptr
	)

Definition at line 85 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", unmatched /*\n",
            myname, c_lineno, input_file_name);
    print_pos(c_line, c_cptr);
    done(1);
}

void unterminated_string	(	int	s_lineno,
		char *	s_line,
		char *	s_cptr
	)

Definition at line 95 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", unterminated string\n",
            myname, s_lineno, input_file_name);
    print_pos(s_line, s_cptr);
    done(1);
}

void unterminated_text	(	int	t_lineno,
		char *	t_line,
		char *	t_cptr
	)

Definition at line 105 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", unmatched %%{\n",
            myname, t_lineno, input_file_name);
    print_pos(t_line, t_cptr);
    done(1);
}

void unterminated_union	(	int	u_lineno,
		char *	u_line,
		char *	u_cptr
	)

Definition at line 115 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", unterminated %%union \
declaration\n", myname, u_lineno, input_file_name);
    print_pos(u_line, u_cptr);
    done(1);
}

void untyped_lhs

(

void

)

Definition at line 268 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", $$ is untyped\n",
            myname, lineno, input_file_name);
    done(1);
}

void untyped_rhs	(	int	i,
		char *	s
	)

Definition at line 277 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", $%d (%s) is untyped\n",
            myname, lineno, input_file_name, i, s);
    done(1);
}

void used_reserved

(

char *

s

)

Definition at line 155 of file error.c.

{
    fprintf(stderr, "%s: error - line %d of \"%s\", illegal use of reserved symbol \
%s\n", myname, lineno, input_file_name, s);
    done(1);
}

void verbose

(

void

)

Definition at line 27 of file verbose.c.

{
    int i;

    if (!vflag) return;

    null_rules = (short *) MALLOC(nrules*sizeof(short));
    if (null_rules == 0) no_space();
    fprintf(verbose_file, "\f\n");
    for (i = 0; i < nstates; i++)
        print_state(i);
    FREE(null_rules);

    if (nunused)
        log_unused();
    if (SRtotal || RRtotal)
        log_conflicts();

    fprintf(verbose_file, "\n\n%d terminals, %d nonterminals\n", ntokens, nvars);
    fprintf(verbose_file, "%d grammar rules, %d states\n", nrules - 2, nstates);
}

void write_section

(

char *

section[]

)

Definition at line 284 of file skeleton.c.

{
    int c;
    int i;
    char *s;
    FILE *f;

    f = code_file;
    for (i = 0; (s = section[i]); ++i)
    {
        ++outline;
        while ((c = *s))
        {
            putc(c, f);
            ++s;
        }
        putc('\n', f);
    }
}

Variable Documentation

short* accessing_symbol

Definition at line 23 of file lalr.c.

FILE* action_file

Definition at line 42 of file antelope.c.

char* banner[]

Definition at line 19 of file skeleton.c.

char* body[]

Definition at line 81 of file skeleton.c.

FILE* code_file

Definition at line 44 of file antelope.c.

char* code_file_name

Definition at line 36 of file antelope.c.

char* cptr

Definition at line 25 of file reader.c.

FILE* defines_file

Definition at line 45 of file antelope.c.

char* defines_file_name

Definition at line 37 of file antelope.c.

short* defred

Definition at line 17 of file mkpar.c.

short** derives

Definition at line 72 of file antelope.c.

char dflag

Definition at line 22 of file antelope.c.

short final_state

Definition at line 20 of file mkpar.c.

reductions* first_reduction

Definition at line 19 of file lr0.c.

shifts* first_shift

Definition at line 18 of file lr0.c.

core* first_state

Definition at line 17 of file lr0.c.

bucket* first_symbol

Definition at line 19 of file symtab.c.

short* from_state

Definition at line 28 of file lalr.c.

short* goto_map

Definition at line 27 of file lalr.c.

char* header[]

Definition at line 51 of file skeleton.c.

FILE* input_file

Definition at line 46 of file antelope.c.

char* input_file_name

Definition at line 38 of file antelope.c.

unsigned* LA

Definition at line 22 of file lalr.c.

short* LAruleno

Definition at line 21 of file lalr.c.

bucket* last_symbol

Definition at line 20 of file symtab.c.

char lflag

Definition at line 23 of file antelope.c.

char* line

Definition at line 25 of file reader.c.

char line_format[]

Definition at line 42 of file reader.c.

int lineno

Definition at line 33 of file antelope.c.

short* lookaheads

Definition at line 20 of file lalr.c.

char* myname

Definition at line 30 of file antelope.c.

int nitems

Definition at line 55 of file antelope.c.

int nrules

Definition at line 56 of file antelope.c.

int nstates

Definition at line 16 of file lr0.c.

int nsyms

Definition at line 57 of file antelope.c.

int ntags

Definition at line 21 of file reader.c.

int ntokens

Definition at line 58 of file antelope.c.

char* nullable

Definition at line 73 of file antelope.c.

short nunused

Definition at line 19 of file mkpar.c.

int nvars

Definition at line 59 of file antelope.c.

int outline

Definition at line 34 of file antelope.c.

FILE* output_file

Definition at line 47 of file antelope.c.

char* output_file_name

Definition at line 39 of file antelope.c.

action** parser

Definition at line 12 of file mkpar.c.

char* rassoc

Definition at line 71 of file antelope.c.

reductions** reduction_table

Definition at line 26 of file lalr.c.

char rflag

Definition at line 24 of file antelope.c.

short* ritem

Definition at line 67 of file antelope.c.

short* rlhs

Definition at line 68 of file antelope.c.

short* rprec

Definition at line 70 of file antelope.c.

short* RRconflicts

Definition at line 16 of file mkpar.c.

short* rrhs

Definition at line 69 of file antelope.c.

int RRtotal

Definition at line 14 of file mkpar.c.

short* rules_used

Definition at line 18 of file mkpar.c.

shifts** shift_table

Definition at line 25 of file lalr.c.

short* SRconflicts

Definition at line 15 of file mkpar.c.

int SRtotal

Definition at line 13 of file mkpar.c.

int start_symbol

Definition at line 61 of file antelope.c.

core** state_table

Definition at line 24 of file lalr.c.

char* symbol_assoc

Definition at line 65 of file antelope.c.

char** symbol_name

Definition at line 62 of file antelope.c.

short* symbol_prec

Definition at line 64 of file antelope.c.

char* symbol_prefix

Definition at line 28 of file antelope.c.

short* symbol_value

Definition at line 63 of file antelope.c.

char* tables[]

Definition at line 32 of file skeleton.c.

FILE* text_file

Definition at line 48 of file antelope.c.

char tflag

Definition at line 25 of file antelope.c.

short* to_state

Definition at line 29 of file lalr.c.

char* trailer[]

Definition at line 221 of file skeleton.c.

FILE* union_file

Definition at line 50 of file antelope.c.

char unionized

Definition at line 24 of file reader.c.

FILE* verbose_file

Definition at line 53 of file antelope.c.

char* verbose_file_name

Definition at line 40 of file antelope.c.

char vflag

Definition at line 26 of file antelope.c.