gdb/record.h

   1 /* Process record and replay target for GDB, the GNU debugger.
   2
   3    Copyright (C) 2008-2014 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 #ifndef _RECORD_H_
  21 #define _RECORD_H_
  22
  23 struct cmd_list_element;
  24
  25 extern unsigned int record_debug;
  26
  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;
  32
  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;
  36
  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),
  42
  43   /* Print the instruction number range (if applicable).  */
  44   RECORD_PRINT_INSN_RANGE = (1 << 1),
  45
  46   /* Indent based on call stack depth (if applicable).  */
  47   RECORD_PRINT_INDENT_CALLS = (1 << 2)
  48 };
  49
  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);
  55
  56 /* A wrapper for target_goto_record that parses ARG as a number.  */
  57 extern void record_goto (const char *arg);
  58
  59 /* The default "to_disconnect" target method for record targets.  */
  60 extern void record_disconnect (struct target_ops *, const char *, int);
  61
  62 /* The default "to_detach" target method for record targets.  */
  63 extern void record_detach (struct target_ops *, const char *, int);
  64
  65 /* The default "to_mourn_inferior" target method for record targets.  */
  66 extern void record_mourn_inferior (struct target_ops *);
  67
  68 /* The default "to_kill" target method for record targets.  */
  69 extern void record_kill (struct target_ops *);
  70
  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);
  74
  75 /* This is to be called by record_stratum targets' open routine before
  76    it does anything.  */
  77 extern void record_preopen (void);
  78
  79 #endif /* _RECORD_H_ */