This file is indexed.

/usr/share/gps/library/separate.py is in gnat-gps-common 5.3dfsg-1.

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
"""Jump to the body of an Ada separate entity

This scripts adds a new contextual menu, shown when you click on
an Ada entity that is declared as "separate". If you select that
menu, an editor will be opened to show the implementation directly.

GPS's standard "Go to body" contextual menu would take you to the
editor that has the "is separate" statement instead, so this mode
makes it slightly faster to navigate if you use Ada separates a
lot
"""


############################################################################
## No user customization below this line
############################################################################

import GPS

def on_goto_separate (context):
   loc = context.entity().body (2)
   buffer = GPS.EditorBuffer.get (loc.file())
   buffer.current_view().goto \
      (GPS.EditorLocation (buffer, loc.line(), loc.column()))

def separate_filter (context):
   if isinstance (context, GPS.EntityContext) and context.entity():
      try:
        context.entity().body (2)
        return True
      except:
        return False
   else:
      return False

def separate_label (context):
   return "Goto separate body of " + context.entity().name()

def on_gps_started (hook_name):
   GPS.Contextual ("Jump to separate body").create \
     (on_activate=on_goto_separate,
      filter=separate_filter,
      label=separate_label,
      ref="Go to body")

GPS.Hook ("gps_started").add (on_gps_started)