This file is indexed.

/usr/share/gps/templates/aws_web_server_blocks/src/@_project_name_@-dispatchers.ads is in gnat-gps-common 5.0-13.

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
with AWS.Config;
with AWS.Response;
with AWS.Services.Dispatchers.URI;
with AWS.Status;

package @_Project_Name_@.Dispatchers is

   use AWS;

   procedure Initialize (Web_Config : in Config.Object);
   --  Initialize state in this package depending on the HTTP configuration.
   --  For example it sets the web root for all dispatchers. All resources
   --  (templates, images, CSS file...) will be searched under this root
   --  directory.

   -------------
   -- Default --
   -------------

   type Default is new Services.Dispatchers.URI.Handler with private;
   --  Handle everything not covered by the other dispatchers (CSS, Image)

   overriding function Dispatch
     (Dispatcher : in Default;
      Request    : in Status.Data) return Response.Data;

   ---------
   -- CSS --
   ---------

   type CSS is new Services.Dispatchers.URI.Handler with private;

   overriding function Dispatch
     (Dispatcher : in CSS;
      Request    : in Status.Data) return Response.Data;

   ---------
   -- JS --
   ---------

   type JS is new Services.Dispatchers.URI.Handler with private;

   overriding function Dispatch
     (Dispatcher : in JS;
      Request    : in Status.Data) return Response.Data;

   -----------
   -- Image --
   -----------

   type Image is new Services.Dispatchers.URI.Handler with private;

   overriding function Dispatch
     (Dispatcher : in Image;
      Request    : in Status.Data) return Response.Data;

private

   type Default is new Services.Dispatchers.URI.Handler with null record;

   type CSS is new  Services.Dispatchers.URI.Handler with null record;

   type JS is new  Services.Dispatchers.URI.Handler with null record;

   type Image is new  Services.Dispatchers.URI.Handler with null record;

end @_Project_Name_@.Dispatchers;