This file is indexed.

/usr/lib/ada/adalib/gnatvsn/aspects.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
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
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_ALLOCATORS
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_ELABORATION_CODE
RV SPARK

U aspects%b		aspects.adb		79911d95 OO PK
W atree%s		atree.adb		atree.ali
W einfo%s		einfo.adb		einfo.ali
W gnat%s		gnat.ads		gnat.ali
W gnat.htable%s		g-htable.adb		g-htable.ali
W nlists%s		nlists.adb		nlists.ali
W sinfo%s		sinfo.adb		sinfo.ali
W tree_io%s		tree_io.adb		tree_io.ali

U aspects%s		aspects.ads		afc80d4a BN EE OO PK
W namet%s		namet.adb		namet.ali
W snames%s		snames.adb		snames.ali
W types%s		types.adb		types.ali

D ada.ads		20070406091342 3ffc8e18
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D alloc.ads		20120330092659 daf1344a
D aspects.ads		20130129140721 450982f5
D aspects.adb		20130104091825 dcbd3c2c
D atree.ads		20130129140121 ce7e6162
D einfo.ads		20130206111307 867ce801
D gnat.ads		20110801150502 fd2ad2f1
D g-htable.ads		20111123132251 3d86a91a
D hostparm.ads		20120315091549 c164ed60
D namet.ads		20121001081109 ef58bb56
D nlists.ads		20100909093511 986e68a0
D sinfo.ads		20130129140721 3dfcb66c
D snames.ads		20140416143834 a6a6e2b4
D system.ads		20140416144310 90249111
D s-exctab.ads		20090417131547 66e51330
D s-htable.ads		20110902071448 83a84e0e
D s-htable.adb		20120806074345 020b632f
D s-os_lib.ads		20120709131452 cf6cfdbf
D s-stalib.ads		20130104124955 f78bcf95
D s-strhas.ads		20090623093900 269cd894
D s-string.ads		20130104124955 46b01415
D s-unstyp.ads		20090409150019 6ae15c76
D table.ads		20090506081141 e3a9ec16
D tree_io.ads		20130102100426 30335df9
D types.ads		20130104092849 a33fd65d
D uintp.ads		20121106101120 2762e44a
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
D urealp.ads		20121205110635 e500ee51
X 5 aspects.ads
71K9*Aspects 548l5 548e12 6|40b14 413l5 413t12
75E9*Aspect_Id 189e24 192r6 192r22 192r52 197r38 209r34 225r43 265r44 273r39
. 288r6 298r6 298r41 301r6 312r38 379r35 480r51 528r47 537r31 537r47 6|94r23
. 117r51 126r47 239r39 239r53 340r31 340r47 410r13
76n7*No_Aspect{75E9} 192r38 313r25 380r6 6|95r23 240r5 240r44
77n7*Aspect_Abstract_State{75E9} 226r30 314r25 381r6 6|241r5 241r44
78n7*Aspect_Address{75E9} 315r25 384r6 6|244r5 244r44
79n7*Aspect_Alignment{75E9} 316r25 385r6 6|245r5 245r44
80n7*Aspect_Attach_Handler{75E9} 317r25 390r6 6|250r5 250r44
81n7*Aspect_Bit_Order{75E9} 318r25 391r6 6|251r5 251r44
82n7*Aspect_Component_Size{75E9} 319r25 393r6 6|253r5 253r44
83n7*Aspect_Constant_Indexing{75E9} 215r21 274r26 320r25 394r6 6|254r5 254r44
84n7*Aspect_Contract_Case{75E9} 230r30 266r31 321r25 395r6 6|255r5 255r44
85n7*Aspect_Contract_Cases{75E9} 231r30 322r25 396r6 6|256r5 256r44
86n7*Aspect_Convention{75E9} 323r25 397r6 6|257r5 257r44
87n7*Aspect_CPU{75E9} 324r25 398r6 6|258r5 258r44
88n7*Aspect_Default_Component_Value{75E9} 325r25 401r6 6|259r5 259r44
89n7*Aspect_Default_Iterator{75E9} 216r21 275r26 326r25 399r6 6|159r20 260r5
. 260r44
90n7*Aspect_Default_Value{75E9} 327r25 400r6 6|261r5 261r44
91n7*Aspect_Dimension{75E9} 232r30 328r25 402r6 6|262r5 262r44
92n7*Aspect_Dimension_System{75E9} 233r30 329r25 403r6 6|263r5 263r44
93n7*Aspect_Dispatching_Domain{75E9} 330r25 405r6 6|265r5 265r44
94n7*Aspect_Dynamic_Predicate{75E9} 331r25 406r6 6|266r5
95n7*Aspect_External_Name{75E9} 332r25 408r6 6|269r5 269r44
96n7*Aspect_External_Tag{75E9} 333r25 409r6 6|270r5 270r44
97n7*Aspect_Global{75E9} 235r30 334r25 412r6 6|272r5 272r44
98n7*Aspect_Implicit_Dereference{75E9} 276r26 335r25 413r6 6|273r5 273r44
99n7*Aspect_Input{75E9} 336r25 419r6 6|279r5 279r44
100n7*Aspect_Interrupt_Priority{75E9} 337r25 421r6 6|281r5
101n7*Aspect_Invariant{75E9} 198r25 237r30 338r25 422r6 6|282r5 282r44 325r44
102n7*Aspect_Iterator_Element{75E9} 214r21 277r26 339r25 423r6 6|283r5 283r44
103n7*Aspect_Link_Name{75E9} 340r25 424r6 6|284r5 284r44
104n7*Aspect_Machine_Radix{75E9} 341r25 426r6 6|286r5 286r44
105n7*Aspect_Object_Size{75E9} 239r30 342r25 428r6 6|288r5 288r44
106n7*Aspect_Output{75E9} 343r25 429r6 6|289r5 289r44
107n7*Aspect_Post{75E9} 201r25 301r22 344r25 432r6 6|292r5 292r44 293r44
108n7*Aspect_Postcondition{75E9} 345r25 433r6 6|293r5
109n7*Aspect_Pre{75E9} 199r25 346r25 434r6 6|294r5 294r44 295r44
110n7*Aspect_Precondition{75E9} 301r37 347r25 435r6 6|295r5
111n7*Aspect_Predicate{75E9} 200r25 241r30 348r25 436r6 6|266r44 296r5 296r44
. 317r44
112n7*Aspect_Priority{75E9} 349r25 440r6 6|281r44 300r5 300r44
113n7*Aspect_Read{75E9} 350r25 445r6 6|308r5 308r44
114n7*Aspect_Relative_Deadline{75E9} 351r25 446r6 6|309r5 309r44
115n7*Aspect_Scalar_Storage_Order{75E9} 247r30 352r25 450r6 6|310r5 310r44
116n7*Aspect_Simple_Storage_Pool{75E9} 249r30 353r25 453r6 6|313r5 313r44
117n7*Aspect_Size{75E9} 354r25 455r6 6|315r5 315r44
118n7*Aspect_Small{75E9} 355r25 456r6 6|316r5 316r44
119n7*Aspect_Static_Predicate{75E9} 356r25 457r6 6|317r5
120n7*Aspect_Storage_Pool{75E9} 357r25 458r6 6|318r5 318r44
121n7*Aspect_Storage_Size{75E9} 358r25 459r6 6|319r5 319r44
122n7*Aspect_Stream_Size{75E9} 359r25 460r6 6|320r5 320r44
123n7*Aspect_Suppress{75E9} 360r25 461r6 6|321r5 321r44
124n7*Aspect_Synchronization{75E9} 361r25 463r6 6|323r5 323r44
125n7*Aspect_Test_Case{75E9} 252r30 267r31 362r25 464r6 6|324r5 324r44
126n7*Aspect_Type_Invariant{75E9} 202r25 217r21 363r25 465r6 6|325r5
127n7*Aspect_Unsuppress{75E9} 364r25 472r6 6|332r5 332r44
128n7*Aspect_Value_Size{75E9} 258r30 365r25 473r6 6|334r5 334r44
129n7*Aspect_Variable_Indexing{75E9} 219r21 279r26 366r25 474r6 6|333r5 333r44
130n7*Aspect_Warnings{75E9} 259r30 367r25 477r6 6|337r5 337r44
131n7*Aspect_Write{75E9} 368r25 478r6 6|338r5 338r44
135n7*Aspect_All_Calls_Remote{75E9} 288r22 386r6 6|246r5 246r44
136n7*Aspect_Compiler_Unit{75E9} 229r30 392r6 6|252r5 252r44
137n7*Aspect_Elaborate_Body{75E9} 407r6 6|267r5 267r44
138n7*Aspect_Preelaborate{75E9} 438r6 6|297r5 297r44
139n7*Aspect_Preelaborate_05{75E9} 242r30 439r6 6|298r5 298r44
140n7*Aspect_Pure{75E9} 441r6 6|301r5 301r44
141n7*Aspect_Pure_05{75E9} 243r30 442r6 6|302r5 302r44
142n7*Aspect_Pure_12{75E9} 244r30 443r6 6|303r5 303r44
143n7*Aspect_Remote_Call_Interface{75E9} 448r6 6|306r5 306r44
144n7*Aspect_Remote_Types{75E9} 278r26 449r6 6|307r5 307r44
145n7*Aspect_Shared_Passive{75E9} 452r6 6|312r5 312r44
146n7*Aspect_Universal_Data{75E9} 254r30 288r49 468r6 6|328r5 328r44
155n7*Aspect_Ada_2005{75E9} 227r30 298r22 382r6 6|242r5 242r44 243r44
156n7*Aspect_Ada_2012{75E9} 228r30 383r6 6|243r5
157n7*Aspect_Asynchronous{75E9} 387r6 6|247r5 247r44
158n7*Aspect_Atomic{75E9} 210r21 388r6 6|248r5 248r44 311r44
159n7*Aspect_Atomic_Components{75E9} 211r21 389r6 6|249r5 249r44
160n7*Aspect_Discard_Names{75E9} 212r21 404r6 6|264r5 264r44
161n7*Aspect_Export{75E9} 410r6 6|268r5 268r44
162n7*Aspect_Favor_Top_Level{75E9} 234r30 411r6 6|271r5 271r44
163n7*Aspect_Independent{75E9} 415r6 6|275r5 275r44
164n7*Aspect_Independent_Components{75E9} 213r21 416r6 6|276r5 276r44
165n7*Aspect_Import{75E9} 414r6 6|274r5 274r44
166n7*Aspect_Inline{75E9} 417r6 6|277r5 277r44 278r44
167n7*Aspect_Inline_Always{75E9} 236r30 418r6 6|278r5
168n7*Aspect_Interrupt_Handler{75E9} 420r6 6|280r5 280r44
169n7*Aspect_No_Return{75E9} 427r6 6|287r5 287r44
170n7*Aspect_Pack{75E9} 430r6 6|290r5 290r44
171n7*Aspect_Persistent_BSS{75E9} 240r30 431r6 6|291r5 291r44
172n7*Aspect_Preelaborable_Initialization{75E9} 437r6 6|299r5 299r44
173n7*Aspect_Pure_Function{75E9} 245r30 444r6 6|304r5 304r44
174n7*Aspect_Remote_Access_Type{75E9} 246r30 447r6 6|305r5 305r44
175n7*Aspect_Shared{75E9} 248r30 451r6 6|311r5
176n7*Aspect_Simple_Storage_Pool_Type{75E9} 250r30 454r6 6|314r5 314r44
177n7*Aspect_Suppress_Debug_Info{75E9} 251r30 462r6 6|322r5 322r44
178n7*Aspect_Unchecked_Union{75E9} 218r21 466r6 6|326r5 326r44
179n7*Aspect_Universal_Aliasing{75E9} 253r30 467r6 6|327r5 327r44
180n7*Aspect_Unmodified{75E9} 255r30 469r6 6|329r5 329r44
181n7*Aspect_Unreferenced{75E9} 256r30 470r6 6|330r5 330r44
182n7*Aspect_Unreferenced_Objects{75E9} 257r30 471r6 6|331r5 331r44
183n7*Aspect_Volatile{75E9} 220r21 475r6 6|335r5 335r44
184n7*Aspect_Volatile_Components{75E9} 476r6 6|336r5 336r44
189n7*Aspect_Lock_Free{75E9} 238r30 425r6 6|285r5 285r44
191E12*Aspect_Id_Exclude_No_Aspect{75E9}
197a4*Class_Aspect_OK(boolean)
209a4*Base_Aspect(boolean) 6|137r13
225a4*Impl_Defined_Aspects(boolean)
265a4*No_Duplicates_Allowed(boolean)
273a4*Inherited_Aspect(boolean) 6|144r21
287E12*Library_Unit_Aspects{75E9} 370r25
297E12*Boolean_Aspects{75E9} 371r25
300E12*Pre_Post_Aspects{75E9}
305E9*Aspect_Expression 308e12 312r52
306n7*Optional{305E9} 313r59 370r59 371r59
307n7*Expression{305E9} 314r59 315r59 316r59 317r59 318r59 319r59 321r59
. 322r59 324r59 325r59 327r59 328r59 329r59 330r59 331r59 332r59 333r59 334r59
. 337r59 338r59 340r59 341r59 342r59 344r59 345r59 346r59 347r59 348r59 349r59
. 351r59 352r59 354r59 355r59 356r59 358r59 359r59 362r59 363r59 365r59
308n7*Name{305E9} 320r59 323r59 326r59 335r59 336r59 339r59 343r59 350r59
. 353r59 357r59 360r59 361r59 364r59 366r59 367r59 368r59
312a4*Aspect_Argument(305E9)
379a4*Aspect_Names(12|149I9) 6|411r33
480V13*Get_Aspect_Id{75E9} 480>28 481r19 6|117b13 120l8 120t21 157s21
480i28 Name{12|149I9} 6|117b28 119r40
499V13*Permits_Aspect_Specifications{boolean} 499>44 6|228b13 231l8 231t37
. 351s22 366s22
499i44 N{27|378I9} 6|228b44 230r53
504V13*Aspect_Specifications{27|427I9} 504>36 6|104b13 111l8 111t29 180s41
504i36 N{27|378I9} 6|104b36 106r23 107r55
518U14*Set_Aspect_Specifications 518>41 518>54 6|180s10 349b14 358l8 358t33
518i41 N{27|378I9} 6|349b41 351r53 352r39 355r24 356r22 357r45
518i54 L{27|427I9} 6|349b54 353r22 356r19 357r48
528V13*Find_Aspect{27|378I9} 528>26 528>43 6|126b13 170l8 170t19
528i26 Ent{27|381I12} 6|126b26 136r19 138r31 140r20 152r35
528e43 A{75E9} 6|126b43 137r26 144r39 157r66 159r16
531U14*Move_Aspects 531>28 531>44 6|176b14 184l8 184t20
531i28 From{27|378I9} 6|176b28 179r23 180r64 181r51 182r27
531i44 To{27|378I9} 6|176b44 177r39 180r37
537V13*Same_Aspect{boolean} 537>26 537>42 6|340b13 343l8 343t19
537e26 A1{75E9} 6|340b26 342r32
537e42 A2{75E9} 6|340b42 342r56
542U14*Tree_Write 6|394b14 405l8 405t18
545U14*Tree_Read 6|378b14 388l8 388t17
X 6 aspects.adb
42U14 Set_Aspect_Specifications_No_Check 42>50 42>63 364b14 372l8 372t42
. 386s10
42i50 N{27|378I9} 364b50 366r53 369r24 370r22 371r45
42i63 L{27|427I9} 364b63 367r22 370r19 371r48
56I9 AS_Hash_Range<short_integer> 59r42 62r42 64r14 69r23
59V13 AS_Hash{56I9} 59>22 62b13 65l8 65t15 73r23
59i22 F{27|378I9} 62b22 64r29
67K12 Aspect_Specifications_Hash_Table[18|70] 107r17 181r10 357r7 371r7 398r7
. 403r10
80I9 AI_Hash_Range<short_short_integer> 83r42 86r42 88r14 93r23
83V13 AI_Hash{80I9} 83>22 86b13 89l8 89t15 97r23
83i22 F{12|149I9} 86b22 88r29
91K12 Aspect_Id_Hash_Table[18|70] 119r14 411r7
127i7 Ritem{27|378I9} 146m13 148m13 152m10 155r22 156r20 157r55 160r52 162r35
. 166m25 166r25
128i7 Typ{27|381I12} 138m13 140m13 143r33 146r45 148r38
190a4 Has_Aspect_Specifications_Flag(boolean) 230r14
239a4 Canonical_Aspect(5|75E9) 342r14 342r38
379i7 Node{27|378I9} 383m30 383r30 386r46
380i7 List{27|427I9} 384m30 384r30 385r20 386r52
395i7 Node{27|378I9} 398m51 398r51 400r31 403m53 403r53
396i7 List{27|427I9} 398m57 401r31 402r20 403m59
410e8 J{5|75E9} 411r47 411r51
X 7 atree.ads
44K9*Atree 6|32w6 32r20 7|3867e10
580V13*Nkind{14|7522E9} 6|156s13 230s46
586V13*Has_Aspects{boolean} 6|106s10 177s26 179s10 352s26
611V13*Present{boolean} 6|155s13
820U14*Set_Has_Aspects 6|182s10 355s7 369s7
X 8 einfo.ads
37K9*Einfo 6|33w6 33r20 8|8263e10
6074B12*B{boolean}
6076I12*E{27|381I12}
6079I12*N{27|378I9}
6188V13*First_Rep_Item{6079I12} 6|146s22 148s22 152s19
6511V13*Is_Class_Wide_Type{6074E12} 6|143s13
6551V13*Is_Type{6074E12} 6|136s10
6563V13*Base_Type{6076I12} 6|138s20
X 9 gnat.ads
34K9*GNAT 6|38r6 38r33 68r6 92r6 9|37e9
X 10 g-htable.ads
46K14*HTable 6|38w11 38r38 68r11 92r11 10|60e16
55k20*Simple_HTable 6|68r18 92r18
X 12 namet.ads
38K9*Namet 5|67w6 67r18 12|544e10
149I9*Name_Id<integer> 5|379r49 480r35 6|83r26 86r26 96r23 117r35
153i4*No_Name{149I9} 5|380r45
X 13 nlists.ads
41K9*Nlists 6|34w6 34r20 13|374e11
342U14*Set_Parent 6|356s7 370s7
X 14 sinfo.ads
54K9*Sinfo 6|35w6 35r20 14|12447e10
7522E9*Node_Kind 6|190r53 14|7906e23
7684n7*N_Component_Declaration{7522E9} 6|192r7
7685n7*N_Entry_Declaration{7522E9} 6|193r7
7686n7*N_Expression_Function{7522E9} 6|196r7
7687n7*N_Formal_Object_Declaration{7522E9} 6|199r7
7688n7*N_Formal_Type_Declaration{7522E9} 6|201r7
7689n7*N_Full_Type_Declaration{7522E9} 6|202r7
7693n7*N_Object_Declaration{7522E9} 6|207r7
7694n7*N_Protected_Type_Declaration{7522E9} 6|217r7
7695n7*N_Private_Extension_Declaration{7522E9} 6|213r7
7696n7*N_Private_Type_Declaration{7522E9} 6|214r7
7697n7*N_Subtype_Declaration{7522E9} 6|223r7
7711n7*N_Task_Type_Declaration{7522E9} 6|225r7
7723n7*N_Function_Instantiation{7522E9} 6|203r7
7724n7*N_Procedure_Instantiation{7522E9} 6|215r7
7728n7*N_Package_Instantiation{7522E9} 6|210r7
7733n7*N_Subprogram_Body{7522E9} 6|220r7
7737n7*N_Protected_Body{7522E9} 6|216r7
7738n7*N_Task_Body{7522E9} 6|224r7
7743n7*N_Package_Declaration{7522E9} 6|209r7
7744n7*N_Single_Task_Declaration{7522E9} 6|219r7
7745n7*N_Subprogram_Declaration{7522E9} 6|221r7
7750n7*N_Generic_Package_Declaration{7522E9} 6|204r7
7751n7*N_Generic_Subprogram_Declaration{7522E9} 6|206r7
7760n7*N_Exception_Renaming_Declaration{7522E9} 6|195r7
7761n7*N_Object_Renaming_Declaration{7522E9} 6|208r7
7762n7*N_Package_Renaming_Declaration{7522E9} 6|212r7
7763n7*N_Subprogram_Renaming_Declaration{7522E9} 6|222r7
7817n7*N_Formal_Abstract_Subprogram_Declaration{7522E9} 6|197r7
7818n7*N_Formal_Concrete_Subprogram_Declaration{7522E9} 6|198r7
7841n7*N_Abstract_Subprogram_Declaration{7522E9} 6|191r7
7844n7*N_Aspect_Specification{7522E9} 6|156r29
7865n7*N_Exception_Declaration{7522E9} 6|194r7
7874n7*N_Formal_Package_Declaration{7522E9} 6|200r7
7888n7*N_Package_Specification{7522E9} 6|211r7
7897n7*N_Single_Protected_Declaration{7522E9} 6|218r7
7961E12*N_Generic_Renaming_Declaration{7522E9} 6|205r7
8173V13*Aspect_Rep_Item{27|378I9} 6|160s35
8212V13*Chars{12|149I9} 6|157s36
8443V13*Etype{27|378I9} 6|146s38
8467V13*Expression{27|378I9} 6|160s23 162s23
8581V13*Identifier{27|378I9} 6|157s43
10062U14*Next_Rep_Item 6|166s10
X 15 snames.ads
34K9*Snames 5|68w6 68r18 15|2051e11
140i4*Name_Default_Value{12|149I9} 5|400r45
141i4*Name_Default_Component_Value{12|149I9} 5|401r45
142i4*Name_Dimension{12|149I9} 5|402r45
143i4*Name_Dimension_System{12|149I9} 5|403r45
144i4*Name_Dynamic_Predicate{12|149I9} 5|406r45
145i4*Name_Post{12|149I9} 5|432r45
146i4*Name_Pre{12|149I9} 5|434r45
147i4*Name_Static_Predicate{12|149I9} 5|457r45
148i4*Name_Synchronization{12|149I9} 5|463r45
149i4*Name_Type_Invariant{12|149I9} 5|465r45
360i4*Name_Ada_2005{12|149I9} 5|382r45
362i4*Name_Ada_2012{12|149I9} 5|383r45
374i4*Name_Compiler_Unit{12|149I9} 5|392r45
381i4*Name_Discard_Names{12|149I9} 5|404r45
402i4*Name_Favor_Top_Level{12|149I9} 5|411r45
420i4*Name_Persistent_BSS{12|149I9} 5|431r45
438i4*Name_Suppress{12|149I9} 5|461r45
441i4*Name_Universal_Data{12|149I9} 5|468r45
442i4*Name_Unsuppress{12|149I9} 5|472r45
445i4*Name_Warnings{12|149I9} 5|477r45
452i4*Name_Abstract_State{12|149I9} 5|381r45
453i4*Name_All_Calls_Remote{12|149I9} 5|386r45
462i4*Name_Asynchronous{12|149I9} 5|387r45
463i4*Name_Atomic{12|149I9} 5|388r45
464i4*Name_Atomic_Components{12|149I9} 5|389r45
465i4*Name_Attach_Handler{12|149I9} 5|390r45
472i4*Name_Contract_Case{12|149I9} 5|395r45
473i4*Name_Contract_Cases{12|149I9} 5|396r45
475i4*Name_Convention{12|149I9} 5|397r45
490i4*Name_Elaborate_Body{12|149I9} 5|407r45
491i4*Name_Export{12|149I9} 5|410r45
500i4*Name_Global{12|149I9} 5|412r45
504i4*Name_Import{12|149I9} 5|414r45
510i4*Name_Independent{12|149I9} 5|415r45
511i4*Name_Independent_Components{12|149I9} 5|416r45
512i4*Name_Inline{12|149I9} 5|417r45
513i4*Name_Inline_Always{12|149I9} 5|418r45
523i4*Name_Interrupt_Handler{12|149I9} 5|420r45
530i4*Name_Invariant{12|149I9} 5|422r45
553i4*Name_No_Return{12|149I9} 5|427r45
557i4*Name_Pack{12|149I9} 5|430r45
560i4*Name_Postcondition{12|149I9} 5|433r45
561i4*Name_Precondition{12|149I9} 5|435r45
562i4*Name_Predicate{12|149I9} 5|436r45
563i4*Name_Preelaborable_Initialization{12|149I9} 5|437r45
564i4*Name_Preelaborate{12|149I9} 5|438r45
565i4*Name_Preelaborate_05{12|149I9} 5|439r45
574i4*Name_Pure{12|149I9} 5|441r45
575i4*Name_Pure_05{12|149I9} 5|442r45
576i4*Name_Pure_12{12|149I9} 5|443r45
577i4*Name_Pure_Function{12|149I9} 5|444r45
578i4*Name_Relative_Deadline{12|149I9} 5|446r45
579i4*Name_Remote_Access_Type{12|149I9} 5|447r45
580i4*Name_Remote_Call_Interface{12|149I9} 5|448r45
581i4*Name_Remote_Types{12|149I9} 5|449r45
583i4*Name_Shared{12|149I9} 5|451r45
584i4*Name_Shared_Passive{12|149I9} 5|452r45
585i4*Name_Simple_Storage_Pool_Type{12|149I9} 5|454r45
600i4*Name_Suppress_Debug_Info{12|149I9} 5|462r45
603i4*Name_Test_Case{12|149I9} 5|464r45
610i4*Name_Unchecked_Union{12|149I9} 5|466r45
612i4*Name_Universal_Aliasing{12|149I9} 5|467r45
613i4*Name_Unmodified{12|149I9} 5|469r45
614i4*Name_Unreferenced{12|149I9} 5|470r45
615i4*Name_Unreferenced_Objects{12|149I9} 5|471r45
617i4*Name_Volatile{12|149I9} 5|475r45
618i4*Name_Volatile_Components{12|149I9} 5|476r45
693i4*Name_External_Name{12|149I9} 5|408r45
709i4*Name_Link_Name{12|149I9} 5|424r45
798i4*Name_Address{12|149I9} 5|384r45
801i4*Name_Alignment{12|149I9} 5|385r45
807i4*Name_Bit_Order{12|149I9} 5|391r45
814i4*Name_Component_Size{12|149I9} 5|393r45
816i4*Name_Constant_Indexing{12|149I9} 5|394r45
820i4*Name_Default_Iterator{12|149I9} 5|399r45
833i4*Name_External_Tag{12|149I9} 5|409r45
845i4*Name_Implicit_Dereference{12|149I9} 5|413r45
848i4*Name_Iterator_Element{12|149I9} 5|423r45
855i4*Name_Lock_Free{12|149I9} 5|425r45
861i4*Name_Machine_Radix{12|149I9} 5|426r45
877i4*Name_Object_Size{12|149I9} 5|428r45
885i4*Name_Priority{12|149I9} 5|440r45
897i4*Name_Scalar_Storage_Order{12|149I9} 5|450r45
901i4*Name_Size{12|149I9} 5|455r45
902i4*Name_Small{12|149I9} 5|456r45
903i4*Name_Storage_Size{12|149I9} 5|459r45
905i4*Name_Stream_Size{12|149I9} 5|460r45
924i4*Name_Value_Size{12|149I9} 5|473r45
925i4*Name_Variable_Indexing{12|149I9} 5|474r45
945i4*Name_Input{12|149I9} 5|419r45
967i4*Name_Output{12|149I9} 5|429r45
968i4*Name_Read{12|149I9} 5|445r45
969i4*Name_Write{12|149I9} 5|478r45
981i4*Name_Simple_Storage_Pool{12|149I9} 5|453r45
982i4*Name_Storage_Pool{12|149I9} 5|458r45
1010i4*Name_CPU{12|149I9} 5|398r45
1011i4*Name_Dispatching_Domain{12|149I9} 5|405r45
1012i4*Name_Interrupt_Priority{12|149I9} 5|421r45
X 18 s-htable.ads
56I12 Header_Num 6|69r9 93r9
59+12 Element 6|70r9 94r9
62*7 No_Element{59+12} 6|71r9 95r9
66+12 Key 6|72r9 96r9
67V21 Hash{56I12} 6|73r9 97r9
68V21 Equal{boolean} 6|74r9 98r9
72U17*Set 6|357s40[67] 371s40[67] 411s28[91]
79V16*Get{27|427I9} 6|107s50[67] 119s35[91]
83U17*Remove 6|181s43[67]
98U17*Get_First 6|398s40[67]
105U17*Get_Next 6|403s43[67]
X 26 tree_io.ads
45K9*Tree_IO 6|36w6 36r20 26|120e12
83U14*Tree_Read_Int 6|383s10 384s10
110U14*Tree_Write_Int 6|400s10 401s10
X 27 types.ads
52K9*Types 5|69w6 69r18 27|877e10
59I9*Int<integer> 6|383r25 384r25 400r26 401r26
378I9*Node_Id<integer> 5|499r48 504r40 518r45 528r65 531r35 531r49 6|42r54
. 59r26 62r26 72r23 104r40 126r65 127r15 176r35 176r49 228r48 349r45 364r54
. 379r14 395r14
381I12*Entity_Id{378I9} 5|528r32 6|126r32 128r15
393i4*Empty{378I9} 6|169r14 395r25
427I9*List_Id<integer> 5|504r56 518r58 6|42r67 70r23 104r56 349r58 364r67
. 380r14 396r14
430i4*No_List{427I9} 6|71r23 109r17 353r27 367r27 385r27 402r27