Update copyright year range in all GDB files
[external/binutils.git] / gdb / filesystem.c
1 /* Handle different target file systems for GDB, the GNU Debugger.
2
3    Copyright (C) 2010-2018 Free Software Foundation, Inc.
4
5    This file is part of GDB.
6
7    This program is free software; you can redistribute it and/or modify
8    it under the terms of the GNU General Public License as published by
9    the Free Software Foundation; either version 3 of the License, or
10    (at your option) any later version.
11
12    This program is distributed in the hope that it will be useful,
13    but WITHOUT ANY WARRANTY; without even the implied warranty of
14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15    GNU General Public License for more details.
16
17    You should have received a copy of the GNU General Public License
18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
19
20 #include "defs.h"
21 #include "filesystem.h"
22 #include "gdbarch.h"
23 #include "gdbcmd.h"
24
25 const char file_system_kind_auto[] = "auto";
26 const char file_system_kind_unix[] = "unix";
27 const char file_system_kind_dos_based[] = "dos-based";
28 const char *const target_file_system_kinds[] =
29 {
30   file_system_kind_auto,
31   file_system_kind_unix,
32   file_system_kind_dos_based,
33   NULL
34 };
35 const char *target_file_system_kind = file_system_kind_auto;
36
37 const char *
38 effective_target_file_system_kind (void)
39 {
40   if (target_file_system_kind == file_system_kind_auto)
41     {
42       if (gdbarch_has_dos_based_file_system (target_gdbarch ()))
43         return file_system_kind_dos_based;
44       else
45         return file_system_kind_unix;
46     }
47   else
48     return target_file_system_kind;
49 }
50
51 const char *
52 target_lbasename (const char *kind, const char *name)
53 {
54   if (kind == file_system_kind_dos_based)
55     return dos_lbasename (name);
56   else
57     return unix_lbasename (name);
58 }
59
60 static void
61 show_target_file_system_kind_command (struct ui_file *file,
62                                       int from_tty,
63                                       struct cmd_list_element *c,
64                                       const char *value)
65 {
66   if (target_file_system_kind == file_system_kind_auto)
67     fprintf_filtered (file, _("\
68 The assumed file system kind for target reported file names \
69 is \"%s\" (currently \"%s\").\n"),
70                       value,
71                       effective_target_file_system_kind ());
72   else
73     fprintf_filtered (file, _("\
74 The assumed file system kind for target reported file names \
75 is \"%s\".\n"),
76                       value);
77 }
78
79 void
80 _initialize_filesystem (void)
81 {
82   add_setshow_enum_cmd ("target-file-system-kind",
83                         class_files,
84                         target_file_system_kinds,
85                         &target_file_system_kind, _("\
86 Set assumed file system kind for target reported file names"), _("\
87 Show assumed file system kind for target reported file names"),
88                         _("\
89 If `unix', target file names (e.g., loaded shared library file names)\n\
90 starting the forward slash (`/') character are considered absolute,\n\
91 and the directory separator character is the forward slash (`/').  If\n\
92 `dos-based', target file names starting with a drive letter followed\n\
93 by a colon (e.g., `c:'), are also considered absolute, and the\n\
94 backslash (`\\') is also considered a directory separator.  Set to\n\
95 `auto' (which is the default), to let GDB decide, based on its\n\
96 knowledge of the target operating system."),
97                         NULL, /* setfunc */
98                         show_target_file_system_kind_command,
99                         &setlist, &showlist);
100 }