| /* | |
| * 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); | |
| } |