This file is indexed.

/usr/share/doc/gnat-gps/html/Debugging.html is in gnat-gps-doc 5.0-6.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
<html lang="en">
<head>
<title>Debugging - Using the GNAT Programming Studio</title>
<meta http-equiv="Content-Type" content="text/html">
<meta name="description" content="Using the GNAT Programming Studio">
<meta name="generator" content="makeinfo 4.13">
<link title="Top" rel="start" href="index.html#Top">
<link rel="prev" href="Source-Browsing.html#Source-Browsing" title="Source Browsing">
<link rel="next" href="Version-Control-System.html#Version-Control-System" title="Version Control System">
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
<!--
Copyright (C) 2002-2010 AdaCore.

This document is free; 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 document 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/'.-->
<meta http-equiv="Content-Style-Type" content="text/css">
<style type="text/css"><!--
  pre.display { font-family:inherit }
  pre.format  { font-family:inherit }
  pre.smalldisplay { font-family:inherit; font-size:smaller }
  pre.smallformat  { font-family:inherit; font-size:smaller }
  pre.smallexample { font-size:smaller }
  pre.smalllisp    { font-size:smaller }
  span.sc    { font-variant:small-caps }
  span.roman { font-family:serif; font-weight:normal; } 
  span.sansserif { font-family:sans-serif; font-weight:normal; } 
pre.smallexample {background-color:rgb(240,240,240);
                     font-family: courier new,courier,fixed;
                     font-size: 14px;
                     margin: 0px 40px 0px 40px;
                     border-width: 1px 2px 2px 1px;
                     border-top-style: dotted;
                     border-left-style: dotted;
                     border-right-style: solid;
                     border-bottom-style: solid;
                     border-color: black;}
   code             {color:black;
                     font-family: courier new,courier,fixed;
                     font-size: 14px;}
   body             {font-family: arial,helvetica,sans-serif;
                     font-size: 16px;
                     max-width: 800px;
                     text-align: justify}
   samp             {font-family: courier new,courier,fixed;
                     font-size: 14px}
                    
--></style>
</head>
<body>
<div class="node">
<a name="Debugging"></a>
<p>
Next:&nbsp;<a rel="next" accesskey="n" href="Version-Control-System.html#Version-Control-System">Version Control System</a>,
Previous:&nbsp;<a rel="previous" accesskey="p" href="Source-Browsing.html#Source-Browsing">Source Browsing</a>,
Up:&nbsp;<a rel="up" accesskey="u" href="index.html#Top">Top</a>
<hr>
</div>

<h2 class="chapter">11 Debugging</h2>

<p><a name="index-debugger-453"></a><a name="index-debugging-454"></a><!--  -->

<p class="noindent">GPS is also a graphical front-end for text-based debuggers such as GDB. 
A knowledge of the basics of the underlying debugger used by GPS will help
understanding how GPS works and what kind of functionalities it provides.

   <p>Please refer to the debugger-specific documentation -
e.g. the GDB documentation
(<a href="gdb.html">gdb.html</a>)
- for more details.

   <p>Debugging is tightly integrated with the other components of GPS. For
example, it is possible to edit files and navigate through your sources
while debugging.

   <p><a name="index-menu-455"></a>To start a debug session, go to the menu <code>Debug-&gt;Initialize</code>, and choose
either the name of your executable, if you have specified the name of
your main program(s) in the project properties, or start an empty debug
session using the <code>&lt;no main file&gt;</code> item. It is then possible to load
any file to debug, by using the menu <code>Debug-&gt;Debug-&gt;Load File...</code>

   <p>Note that you can create multiple debuggers by using the <code>Initialize</code>
menu several times: this will create a new debugger each time. 
All the debugger-related actions (e.g. stepping, running) are performed on
the current debugger, which is represented by the current debugger console. 
To switch between debuggers, simply select its corresponding console.

   <p>After the debugger has been initialized, you have access to two new windows:
the data window (in the top of the working area), and the debugger console
(in a new page, after the Messages and Shell windows). 
All the menus under <code>Debugger</code>
are now also accessible, and you also have access to additional contextual
menus, in particular in the source editor where it is possible to easily
display variables, set breakpoints, and get automatic display
(via <i>tool tips</i>) of object values.

   <p><a name="index-menu-456"></a>When you want to quit the debugger without quitting GPS, go to the menu
<code>Debug-&gt;Terminate Current</code>, that will terminate your current debug
session, or the menu <code>Debug-&gt;Terminate</code> that will terminate all your
debug sessions at once.

<ul class="menu">
<li><a accesskey="1" href="The-Debug-Menu.html#The-Debug-Menu">The Debug Menu</a>
<li><a accesskey="2" href="The-Call-Stack-Window.html#The-Call-Stack-Window">The Call Stack Window</a>
<li><a accesskey="3" href="The-Data-Window.html#The-Data-Window">The Data Window</a>
<li><a accesskey="4" href="The-Breakpoint-Editor.html#The-Breakpoint-Editor">The Breakpoint Editor</a>
<li><a accesskey="5" href="The-Memory-Window.html#The-Memory-Window">The Memory Window</a>
<li><a accesskey="6" href="Using-the-Source-Editor-when-Debugging.html#Using-the-Source-Editor-when-Debugging">Using the Source Editor when Debugging</a>
<li><a accesskey="7" href="The-Assembly-Window.html#The-Assembly-Window">The Assembly Window</a>
<li><a accesskey="8" href="The-Debugger-Console.html#The-Debugger-Console">The Debugger Console</a>
<li><a accesskey="9" href="Customizing-the-Debugger.html#Customizing-the-Debugger">Customizing the Debugger</a>
</ul>

<!--  -->
   </body></html>