Subversion Repositories openrisc_2011-10-31

/* Handle different target file systems for GDB, the GNU Debugger.

   Copyright (C) 2010 Free Software Foundation, Inc.

   This file is part of GDB.

   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 3 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, see <http://www.gnu.org/licenses/>.  */

#include "defs.h"

#include "filesystem.h"

#include "gdbarch.h"

#include "gdbcmd.h"

const char file_system_kind_auto[] = "auto";

const char file_system_kind_unix[] = "unix";

const char file_system_kind_dos_based[] = "dos-based";

const char *target_file_system_kinds[] =

{

  file_system_kind_auto,

  file_system_kind_unix,

  file_system_kind_dos_based,

  NULL

};

const char *target_file_system_kind = file_system_kind_auto;

const char *

effective_target_file_system_kind (void)

{

  if (target_file_system_kind == file_system_kind_auto)

    {

      if (gdbarch_has_dos_based_file_system (target_gdbarch))

        return file_system_kind_dos_based;

      else

        return file_system_kind_unix;

    }

  else

    return target_file_system_kind;

}

const char *

target_lbasename (const char *kind, const char *name)

{

  if (kind == file_system_kind_dos_based)

    return dos_lbasename (name);

  else

    return unix_lbasename (name);

}

static void

show_target_file_system_kind_command (struct ui_file *file,

                                      int from_tty,

                                      struct cmd_list_element *c,

                                      const char *value)

{

  if (target_file_system_kind == file_system_kind_auto)

    fprintf_filtered (file, _("\

The assumed file system kind for target reported file names \

is \"%s\" (currently \"%s\").\n"),

                      value,

                      effective_target_file_system_kind ());

  else

    fprintf_filtered (file, _("\

The assumed file system kind for target reported file names \

is \"%s\".\n"),

                      value);

}

/* Provide a prototype to silence -Wmissing-prototypes.  */

extern initialize_file_ftype _initialize_filesystem;

void

_initialize_filesystem (void)

{

  add_setshow_enum_cmd ("target-file-system-kind",

                        class_files,

                        target_file_system_kinds,

                        &target_file_system_kind, _("\

Set assumed file system kind for target reported file names"), _("\

Show assumed file system kind for target reported file names"),

                        _("\

If `unix', target file names (e.g., loaded shared library file names)\n\

starting the forward slash (`/') character are considered absolute,\n\

and the directory separator character is the forward slash (`/').  If\n\

`dos-based', target file names starting with a drive letter followed\n\

by a colon (e.g., `c:'), are also considered absolute, and the\n\

backslash (`\\') is also considered a directory separator.  Set to\n\

`auto' (which is the default), to let GDB decide, based on its\n\

knowledge of the target operating system."),

                        NULL, /* setfunc */

                        show_target_file_system_kind_command,

                        &setlist, &showlist);

}