This file is indexed.

/usr/lib/ada/adalib/gnatvsn/stringt.ali is in libgnatvsn4.8-dev 4.8.2-8ubuntu3.

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

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
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
V "GNAT Lib v4.8"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK

U stringt%b		stringt.adb		a3092d03 OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W alloc%s		alloc.ads		alloc.ali
W namet%s		namet.adb		namet.ali
W output%s		output.adb		output.ali  AD
W system%s		system.ads		system.ali
W table%s		table.adb		table.ali  AD

U stringt%s		stringt.ads		4ccadac0 BN EE NE OO PK
W system%s		system.ads		system.ali
W types%s		types.adb		types.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20120716125141 10fcae55
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D alloc.ads		20120330092659 daf1344a
D debug.ads		20090420131856 3ea59655
D hostparm.ads		20120315091549 c164ed60
D namet.ads		20121001081109 ef58bb56
D opt.ads		20130206104433 983485a0
D output.ads		20100622132632 de75f4b4
D stringt.ads		20120612115932 7fd19d8c
D stringt.adb		20120612115932 d4ad2731
D system.ads		20140416144310 90249111
D s-exctab.ads		20090417131547 66e51330
D s-memory.ads		20090417131547 ca8bbc15
D s-os_lib.ads		20120709131452 cf6cfdbf
D s-parame.ads		20110830140625 b6e20cc0
D s-stalib.ads		20130104124955 f78bcf95
D s-string.ads		20130104124955 46b01415
D s-traent.ads		20090417130712 5221ee41
D s-unstyp.ads		20090409150019 6ae15c76
D s-wchcon.ads		20090417130712 bfeb2e3d
D table.ads		20090506081141 e3a9ec16
D table.adb		20130104091825 d2a5ae47
D tree_io.ads		20130102100426 30335df9
D types.ads		20130104092849 a33fd65d
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
X 5 alloc.ads
42K9*Alloc 163e10 12|32w6 47r30 48r30 64r30 65r30
127N4*String_Chars_Initial 12|47r36
128N4*String_Chars_Increment 12|48r36
130N4*Strings_Initial 12|64r36
131N4*Strings_Increment 12|65r36
X 8 namet.ads
38K9*Namet 544e10 12|33w6 33r18
127a4*Name_Buffer{string} 12|88m10 310r44 334m10
133i4*Name_Len{natural} 12|88r23 92m7 92r19 309r21 331m7 333r21
X 10 output.ads
44K9*Output 222e11 12|34w6 34r18
106U14*Write_Char 12|406s10 407s10 414s10 417s10 418s10 433s10 434s10 450s10
. 471s10
123U14*Write_Int 12|465s16
130U14*Write_Str 12|447s10 456s16 464s16 466s16
X 11 stringt.ads
35K9*Stringt 172l5 172e12 12|37b14 475l5 475t12
55U14*Initialize 12|120b14 124l8 124t18
59U14*Lock 12|130b14 136l8 136t12
62U14*Unlock 12|372b14 376l8 376t14
65U14*Mark 12|142b14 146l8 146t12
69U14*Release 12|152b14 156l8 156t15
74U14*Start_String 12|164b14 167l8 167t20 307s7
80U14*Start_String 80>28 12|171b14 199l8 199t20
80i28 S{26|487I9} 12|171b28 178r25 178r58 182r27 190r39 192r51 198r61
87U14*Store_String_Char 87>33 12|205b14 210l8 210t25 214s7 224s10 310s10
87m33 C{26|514M12} 12|205b33 207r28
88U14*Store_String_Char 88>33 12|212b14 215l8 215t25 259s10 267s10
88e33 C{character} 12|212b33 214r41
91U14*Store_String_Chars 91>34 12|221b14 226l8 226t26
91s34 S{string} 12|221b34 223r16 223r27 224r44
92U14*Store_String_Chars 92>34 12|228b14 250l8 250t26
92i34 S{26|487I9} 12|228b34 239r49 240r49
95U14*Store_String_Int 95>32 12|256b14 260s10 264s13 269l8 269t24
95i32 N{26|59I9} 12|256b32 258r10 260r29 263r13 264r31 267r66
98U14*Unstore_String_Char 12|382b14 387l8 387t27
102V13*End_String{26|487I9} 169r19 12|99b13 102l8 102t18 313s14
105V13*String_Length{26|62I12} 105>28 170r19 12|84s42 240s34 320b13 323l8
. 323t21 331s28 452s24 465s27
105i28 Id{26|487I9} 12|320b28 322r29
108V13*Get_String_Char{26|514M12} 108>30 108>46 109r19 12|89s27 108b13 114l8
. 114t23 292s16 292s42 335s27 453s18
108i30 Id{26|487I9} 12|108b30 110r22 111r62 113r49
108i46 Index{26|59I9} 12|108b46 111r33 113r68
113V13*String_Equal{boolean} 113>27 113>30 12|284b13 299l8 299t20
113i27 L{26|487I9} 12|284b27 285r44 292r33
113i30 R{26|487I9} 12|284b30 288r32 292r59
116U14*String_To_Name_Buffer 116>37 12|329b14 337l8 337t29
116i37 S{26|487I9} 12|329b37 331r43 335r44
121U14*Add_String_To_Name_Buffer 121>41 12|83b14 93l8 93t33
121i41 S{26|487I9} 12|83b41 84r57 89r44
126V13*String_Chars_Address{13|64M9} 12|275b13 278l8 278t28
129V13*String_From_Name_Buffer{26|487I9} 12|305b13 314l8 314t31
134V13*Strings_Address{13|64M9} 12|343b13 346l8 346t23
137U14*Tree_Read 12|352b14 356l8 356t17
142U14*Tree_Write 12|362b14 366l8 366t18
146U14*Write_Char_Code 146>31 12|393b14 436l8 436t23 458s16
146m31 Code{26|514M12} 12|393b31 413r10 414r37 420r13 421r29 424r13 425r30
. 428r13 429r30 432r26
156U14*Write_String_Table_Entry 156>40 12|442b14 473l8 473t32
156i40 Id{26|487I9} 12|442b40 446r10 452r39 453r35 465r42
X 12 stringt.adb
43K12 String_Chars[23|55] 113r14 122r7 132r7 134r7 145r28 155r7 166r40 179r53
. 188r12 191r13 192r16 207r7 241r34 245r7 246r7 247r9 277r14 354r7 364r7
. 374r7 384r7
55R9 String_Entry 58e14 61r30
56i7*String_Index{26|59I9} 113r53 166m24 178r28 181m39 182r30 187m39 192r54
. 239r52
57i7*Length{26|62I12} 111r66 166m63 178r61 190r42 198m36 198r64 208m36 209r38
. 248m36 249r38 285r47 288r35 322r33 385m36 386r38
60K12 Strings[23|55] 101r14 110r47 111r47 113r34 123r7 133r7 135r7 144r23
. 154r7 166r7 173r7 178r10 178r43 181r10 181r25 182r12 187r10 187r25 190r24
. 192r36 198r7 198r22 198r46 208r7 208r22 209r9 209r24 239r34 248r7 248r22
. 249r9 249r24 285r29 288r17 322r14 345r14 355r7 365r7 375r7 385r7 385r22
. 386r9 386r24
73i4 Strings_Last{26|487I9} 144m7 154r25
74i4 String_Chars_Last{26|59I9} 145m7 155r30
84i7 Len{natural} 87r21 92r30
87i11 J{integer} 88r34 89r52
190i14 J<integer> 192r70
223i11 J{integer} 224r47
239i7 S_First{26|59I9} 247r29 247r40
240i7 S_Len{26|59I9} 242r45 247r50 249r47
241i7 Old_Last{26|59I9} 242r34 246r27
242i7 New_Last{26|59I9} 245r30 246r43
285i7 Len{26|62I12} 288r10 291r24
291i14 J<integer> 292r36 292r62
309i11 J{integer} 310r57
333i11 J{integer} 334r23 335r52
395U17 Write_Hex_Byte 395>33 402b17 408l11 408t25 421s13 425s13 429s13 432s10
395m33 J{26|514M12} 402b33 406r28 407r28
403a10 Hexd(character) 406r22 407r22
443m7 C{26|514M12} 453m13 455r16 458r33
452i14 J<integer> 453r39 463r16
X 13 system.ads
37K9*System 11|32w6 32r18 126r41 134r36 12|275r41 343r36 13|152e11
64M9*Address 11|126r48 134r43 12|275r48 343r43
X 15 s-memory.ads
53V13*Alloc{13|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{13|64M9} 105i<c,__gnat_realloc>22
X 23 table.ads
43K9*Table 12|35w6 43r32 60r27 23|238e10
47+12 Table_Component_Type 12|44r6 61r6
48I12 Table_Index_Type 12|45r6 62r6
50*7 Table_Low_Bound{48I12} 12|46r6 63r6
51i7 Table_Initial{26|65I12} 12|47r6 64r6
52i7 Table_Increment{26|62I12} 12|48r6 65r6
53s7 Table_Name{string} 12|49r6 66r6
55k12*Table 12|43r38 60r33 23|237e13
106A12*Table_Type(26|511M9)<26|59I9>
109A15*Big_Table_Type{106A12[12|43]}<26|59I9>
117P12*Table_Ptr(109A15[12|43])
121p7*Table{117P12[12|60]} 12|111r55[60] 113r27[43] 113r42[60] 178r18[60]
. 178r51[60] 181m18[60] 181r18[60] 182r20[60] 187m18[60] 187r18[60] 190r31[60]
. 190r32[60] 192r29[43] 192r44[60] 198m15[60] 198r15[60] 198r54[60] 208m15[60]
. 208r15[60] 209r17[60] 239r42[60] 246m20[43] 247r22[43] 248m15[60] 248r15[60]
. 249r17[60] 277m27[43] 277r27[43] 285r37[60] 288r25[60] 322r22[60] 345m22[60]
. 345r22[60] 385m15[60] 385r15[60] 386r17[60]
128b7*Locked{boolean} 12|132m20[43] 133m15[60] 374m20[43] 375m15[60]
138U17*Init 12|122s20[43] 123s15[60]
145V16*Last{26|487I9} 12|101s22[60] 110s55[60] 144s31[60] 145s41[43] 166s53[43]
. 179s66[43] 181s33[60] 187s33[60] 188s25[43] 198s30[60] 208s30[60] 209s32[60]
. 241s47[43] 248s30[60] 249s32[60] 385s30[60] 386s32[60]
152U17*Release 12|134s20[43] 135s15[60]
165U17*Set_Last 12|154s15[60] 155s20[43] 245s20[43]
174U17*Increment_Last 12|173s15[60]
178U17*Decrement_Last 12|384s20[43]
182U17*Append 12|166s15[60] 191s26[43] 207s20[43]
213U17*Tree_Write 12|364s20[43] 365s15[60]
216U17*Tree_Read 12|354s20[43] 355s15[60]
X 26 types.ads
52K9*Types 11|33w6 33r18 26|877e10
59I9*Int<integer> 11|95r36 108r54 12|45r30 56r22 74r24 89r47 108r54 239r27
. 240r27 241r27 242r27 256r36 335r47
62I12*Nat{59I9} 11|105r51 12|57r22 285r22 320r51
65I12*Pos{59I9}
487I9*String_Id<integer> 11|80r32 92r38 102r31 105r33 108r35 113r34 116r41
. 121r45 129r44 156r45 12|62r30 73r24 83r45 99r31 108r35 171r32 228r38 284r34
. 305r44 320r33 329r41 442r45
490i4*No_String{487I9} 12|446r15
494i4*First_String_Id{487I9} 12|63r30 73r37 110r28 345r29
511M9*Char_Code_Base
514M12*Char_Code{511M9} 11|87r37 108r66 146r38 12|44r30 108r66 205r37 393r38
. 395r37 402r37 403r33 443r11
518V13*Get_Char_Code{514M12} 12|214s26 224s29 310s29
535V13*Get_Character{character} 12|89s12 335s12