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