This file is indexed.

/usr/share/devhelp/books/vala-0.20/methods.html is in vala-0.20-doc 0.20.1-2ubuntu5.

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
<?xml version="1.0"?>
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <title>Methods - Vala Reference Manual</title>
    <link rel="stylesheet" type="text/css" href="default.css"/>
  </head>
  <body>
    <div class="header">
      <a href="index.html">Vala Reference Manual</a>
    </div>
    <h2>Methods</h2>
    <h3>Method declarations<a id="declaration"> </a></h3>
    <p>Methods may be declared in namespaces, classes, interfaces, structs, enums, and error domains</p>
    <blockquote>
method-declaration:
	[ access-modifier ] [ member-modifers ] return-type qualified-identifier ( [ parameter-list ] ) method-contract [ <span class="literal">throws</span> error-list ] <span class="literal">{</span> statement-list <span class="literal">}</span>

member-modifiers:
	member-modifier [ member-modifiers ]

member-modifier:
	<span class="literal">abstract</span>
	<span class="literal">class</span>
	<span class="literal">extern</span>
	<span class="literal">inline</span>
	<span class="literal">override</span>
	<span class="literal">static</span>
	<span class="literal">virtual</span>

return-type:
	type
	<span class="literal">void</span>

parameter-list:
	[ parameter-direction ] type identifier [ <span class="literal">,</span> parameter-list ]

parameter-direction:
	<span class="literal">ref</span>
	<span class="literal">out</span>

method-contract:
	[ <span class="literal">requires</span> <span class="literal">(</span> expression <span class="literal">)</span> ] [ <span class="literal">ensures</span> <span class="literal">(</span> expression <span class="literal">)</span> ]

error-list:
	error-type [ <span class="literal">,</span> error-list ]

</blockquote>
  </body>
</html>