/*
 * Copyright (c)2004 Cat's Eye Technologies.  All rights reserved.
 * 
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 
 *   Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * 
 *   Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in
 *   the documentation and/or other materials provided with the
 *   distribution.
 * 
 *   Neither the name of Cat's Eye Technologies nor the names of its
 *   contributors may be used to endorse or promote products derived
 *   from this software without specific prior written permission. 
 * 
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE. 
 */
/*
 * symbol.c
 * Symbol and symbol table housekeeping and manipulation for kiceberg.
 * $Id$
 */

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

#include "symbol.h"
#include "graph.h"
#include "mem.h"

long int anon_ctr = 0;

struct symbol_table *
symbol_table_new(void)
{
	struct symbol_table *stab;

	MALLOC(stab, symbol_table, "symbol table");
	stab->head = NULL;
	return(stab);
}

struct symbol *
symbol_new_anon(struct symbol_table *stab, int type)
{
	char new_token[128];

	snprintf(new_token, 128, "__ANONYMOUS__%08ld__", ++anon_ctr);
	return(symbol_define(stab, new_token, type));
}

/* assumed: preceding call to symbol_lookup failed. */
struct symbol *
symbol_define(struct symbol_table *stab, char *token, int type)
{
	struct symbol *new_sym;

	MALLOC(new_sym, symbol, "symbol");
	if ((new_sym->token = malloc(strlen(token)+1)) == NULL)
		perror("Could not allocate symbol lexeme");
        strcpy(new_sym->token, token);
	new_sym->type = type;
	new_sym->dest = NULL;
	new_sym->next = stab->head;
	stab->head = new_sym;
	return(new_sym);
}

struct symbol *
symbol_lookup(struct symbol_table *stab, char *s)
{
	struct symbol *sym;

	for (sym = stab->head; sym != NULL; sym = sym->next)
		if (!strcmp(s, sym->token))
			return(sym);
	return(NULL);
}

void
symbol_table_dump(int indent, struct symbol_table *stab)
{
	struct symbol *sym;

	for (sym = stab->head; sym != NULL; sym = sym->next)
		symbol_dump(indent, sym);
}

void
symbol_print(struct symbol *sym)
{
	if (sym != NULL)
		fprintf(stderr, "%s", sym->token);
	else
		fprintf(stderr, "*SYMNULL*");
}

void
symbol_dump(int indent, struct symbol *sym)
{
	const char *ty;
	int i;

	for (i = 0; i < indent; i++)
		fprintf(stderr, "\t");

	if (sym == NULL) {
		fprintf(stderr, "*NULLSYM*\n");
		return;
	}

	switch (sym->type) {
	case SYM_TYPE_NODE:
		ty = "node";
		break;
	default:
		ty = "?";
		break;
	}

	fprintf(stderr, "%-30s %-10s", sym->token, ty);

	if (sym->type == SYM_TYPE_NODE) {
		node_dump(sym->dest);
	} else {
		fprintf(stderr, "\n");
	}
}