GDB (API): /home/stan/gdb/src/gdb/record-full.h Source File

Go to the documentation of this file.
00001 /* Process record and replay target for GDB, the GNU debugger.
00002 
00003    Copyright (C) 2013 Free Software Foundation, Inc.
00004 
00005    This file is part of GDB.
00006 
00007    This program is free software; you can redistribute it and/or modify
00008    it under the terms of the GNU General Public License as published by
00009    the Free Software Foundation; either version 3 of the License, or
00010    (at your option) any later version.
00011 
00012    This program is distributed in the hope that it will be useful,
00013    but WITHOUT ANY WARRANTY; without even the implied warranty of
00014    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00015    GNU General Public License for more details.
00016 
00017    You should have received a copy of the GNU General Public License
00018    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
00019 
00020 #ifndef RECORD_FULL_H
00021 #define RECORD_FULL_H
00022 
00023 extern int record_full_memory_query;
00024 
00025 extern int record_full_arch_list_add_reg (struct regcache *regcache, int num);
00026 extern int record_full_arch_list_add_mem (CORE_ADDR addr, int len);
00027 extern int record_full_arch_list_add_end (void);
00028 extern struct cleanup *record_full_gdb_operation_disable_set (void);
00029 
00030 #endif /* RECORD_FULL_H */