gdb/record.h - gdb

Data types defined

Macros defined

Source code

  1. /* Process record and replay target for GDB, the GNU debugger.

  3.    Copyright (C) 2008-2015 Free Software Foundation, Inc.

  5.    This file is part of GDB.

  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.

  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.

  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/>.  */

  20. #ifndef _RECORD_H_
  21. ‌#define _RECORD_H_

  23. struct cmd_list_element;

  25. extern unsigned int record_debug;

  27. /* Allow record targets to add their own sub-commands.  */
  28. extern struct cmd_list_element *record_cmdlist;
  29. extern struct cmd_list_element *set_record_cmdlist;
  30. extern struct cmd_list_element *show_record_cmdlist;
  31. extern struct cmd_list_element *info_record_cmdlist;

  33. /* Unwinders for some record targets.  */
  34. extern const struct frame_unwind record_btrace_frame_unwind;
  35. extern const struct frame_unwind record_btrace_tailcall_frame_unwind;

  37. /* A list of flags specifying what record target methods should print.  */
  38. ‌enum record_print_flag
  39. {
  40.   /* Print the source file and line (if applicable).  */
  41.   RECORD_PRINT_SRC_LINE = (1 << 0),

  43.   /* Print the instruction number range (if applicable).  */
  44.   RECORD_PRINT_INSN_RANGE = (1 << 1),

  46.   /* Indent based on call stack depth (if applicable).  */
  47.   RECORD_PRINT_INDENT_CALLS = (1 << 2)
  48. };

  50. /* Wrapper for target_read_memory that prints a debug message if
  51.    reading memory fails.  */
  52. extern int record_read_memory (struct gdbarch *gdbarch,
  53.                                CORE_ADDR memaddr, gdb_byte *myaddr,
  54.                                ssize_t len);

  56. /* A wrapper for target_goto_record that parses ARG as a number.  */
  57. extern void record_goto (const char *arg);

  59. /* The default "to_disconnect" target method for record targets.  */
  60. extern void record_disconnect (struct target_ops *, const char *, int);

  62. /* The default "to_detach" target method for record targets.  */
  63. extern void record_detach (struct target_ops *, const char *, int);

  65. /* The default "to_mourn_inferior" target method for record targets.  */
  66. extern void record_mourn_inferior (struct target_ops *);

  68. /* The default "to_kill" target method for record targets.  */
  69. extern void record_kill (struct target_ops *);

  71. /* Find the record_stratum target in the current target stack.
  72.    Returns NULL if none is found.  */
  73. extern struct target_ops *find_record_target (void);

  75. /* This is to be called by record_stratum targets' open routine before
  76.    it does anything.  */
  77. extern void record_preopen (void);

  79. #endif /* _RECORD_H_ */