/*
 * Copyright 2007 Jon Loeliger, Freescale Semiconductor, Inc.
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
 * published by the Free Software Foundation; either version 2 of the
 * License, or (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *  General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307
 *                                                                   USA
 */

#include "dtc.h"
#include "srcpos.h"


/*
 * Record the complete unique set of opened file names.
 * Primarily used to cache source position file names.
 */
#define MAX_N_FILE_NAMES	(100)

const char *file_names[MAX_N_FILE_NAMES];
static int n_file_names = 0;

/*
 * Like yylineno, this is the current open file pos.
 */

int srcpos_filenum = -1;


FILE *dtc_open_file(const char *fname)
{
	FILE *f;

	if (lookup_file_name(fname, 1) < 0)
		die("Too many files opened\n");

	if (streq(fname, "-"))
		f = stdin;
	else
		f = fopen(fname, "r");

	if (! f)
		die("Couldn't open \"%s\": %s\n", fname, strerror(errno));

	return f;
}


/*
 * Locate and optionally add filename fname in the file_names[] array.
 *
 * If the filename is currently not in the array and the boolean
 * add_it is non-zero, an attempt to add the filename will be made.
 *
 * Returns;
 *    Index [0..MAX_N_FILE_NAMES) where the filename is kept
 *    -1 if the name can not be recorded
 */

int lookup_file_name(const char *fname, int add_it)
{
	int i;

	for (i = 0; i < n_file_names; i++) {
		if (strcmp(file_names[i], fname) == 0)
			return i;
	}

	if (add_it) {
		if (n_file_names < MAX_N_FILE_NAMES) {
			file_names[n_file_names] = strdup(fname);
			return n_file_names++;
		}
	}

	return -1;
}


const char *srcpos_filename_for_num(int filenum)
{
	if (0 <= filenum && filenum < n_file_names) {
		return file_names[filenum];
	}

	return 0;
}


const char *srcpos_get_filename(void)
{
	return srcpos_filename_for_num(srcpos_filenum);
}