This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-production-list.ali is in libopentoken6.1-dev 6.0b-7.

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
V "GNAT Lib v7"
A -O2
A -gnatA
A -g
A -fdebug-prefix-map=/build/opentoken-PUVLEa/opentoken-6.0b=.
A -fstack-protector-strong
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -fPIC
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_ALLOCATORS
RV NO_EXCEPTIONS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U opentoken.production.list%b  opentoken-production-list.adb  adfb5fe3 NE OO PK GE
W ada%s			ada.ads			ada.ali
W ada.unchecked_deallocation%s
W opentoken.production%s  opentoken-production.adb  opentoken-production.ali

U opentoken.production.list%s  opentoken-production-list.ads  609da8e8 BN EE NE OO PK GE
W opentoken%s		opentoken.adb		opentoken.ali
W opentoken.production%s  opentoken-production.adb  opentoken-production.ali

D ada.ads		20170106103348 76789da1 ada%s
D a-charac.ads		20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads		20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-string.ads		20070406091342 90ac6797 ada.strings%s
D a-strbou.ads		20140731124036 53ab54ae ada.strings.bounded%s
D a-strbou.adb		20090409150019 adb4aa70 ada.strings.bounded%b
D a-strmap.ads		20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads		20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads		20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D opentoken.ads		20150510192240 8bdd0f75 opentoken%s
D opentoken-production.ads  20150510192240 f4220730 opentoken.production%s
D opentoken-production-list.ads  20150510192240 94bfafd8 opentoken.production.list%s
D opentoken-production-list.adb  20150510192240 c81eaeea opentoken.production.list%b
D opentoken-recognizer.ads  20150510192240 ddbf64ff opentoken.recognizer%s
D opentoken-text_feeder.ads  20150510192240 6fb472c4 opentoken.text_feeder%s
D opentoken-token.ads	20150510192240 f518d836 opentoken.token%s
D opentoken-token-enumerated.ads  20150510192240 fdf7729b opentoken.token.enumerated%s
D opentoken-token-enumerated-list.ads  20150510192240 9e58d338 opentoken.token.enumerated.list%s
D opentoken-token-enumerated-nonterminal.ads  20150510192240 77d54e19 opentoken.token.enumerated.nonterminal%s
D opentoken-token-linked_list.ads  20150510192240 6abdfc9f opentoken.token.linked_list%s
D system.ads		20170808154339 4635ec04 system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finmas.ads		20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads		20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads		20170112134946 9751b57e system.secondary_stack%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads		20131010103753 b16154c2 system.storage_pools%s
D s-stratt.ads		20131014135145 aedef97e system.stream_attributes%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20160502101423 34867c83 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 20e8 18|26r6 29r26
X 14 a-uncdea.ads
20u15*Unchecked_Deallocation 18|26w10 29r30
X 15 opentoken.ads
42K9*OpenToken 82e14 17|32r9 39r32 44r31 45r31 50r31 53r31 84r65 100r20 111r5
. 18|27r14 34r32 48r31 49r31 65r31 76r31 140r65 164r5
X 16 opentoken-production.ads
41k19*Production 15|42k9 16|152e25 17|32r19 39r42 44r41 45r41 50r41 53r41
. 84r75 100r30 111r15 18|27r24 34r42 48r41 49r41 65r41 76r41 140r75 164r15
93R9*Instance 150e14 17|39r53 44r52 45r52 50r52 53r52 84r86 100r41 18|34r53
. 48r52 49r52 65r52 76r52 140r86
X 17 opentoken-production-list.ads
32k30 List 16|41k19 17|97E9 111l26 111e30 18|27b35 164l26 164t30
34R9*Instance 39p13 39r70 44p14 45r69 50p14 51r31 51r48 52p14 52r31 53r69
. 58p14 58r31 59r31 59r48 65p14 65r35 74p13 74r41 104c9 107e14 18|34r70 49r69
. 66r31 66r48 75r31 76r69 91r31 92r31 92r48 104r35 122r41
39V13*Only{34R9} 39>19 18|34b13 43l8 43t12
39r19 Subject{16|93R9} 18|34b19 36r38
44V14*"and"{34R9} 44>20 45>20 18|48b14 60l9 60t13
44r20 Left{16|93R9} 18|48b20 55r52
45r20 Right{16|93R9} 18|49b20 51r38
50V14*"and"{34R9} 50>20 51>20 18|65b14 73l9 73t13
50r20 Left{16|93R9} 18|65b20 68r52
51r20 Right{34R9} 18|66b20 69r52 71r23
52V14*"and"{34R9} 52>20 53>20 18|75b14 86l9 86t13
52r20 Left{34R9} 18|75b20 82r7 83r23
53r20 Right{16|93R9} 18|76b20 78r38
58V14*"and"{34R9} 58>20 59>20 18|91b14 98l9 98t13
58r20 Left{34R9} 18|91b20 94r7 95r23
59r20 Right{34R9} 18|92b20 94r25 96r23
65U14*Clean 65=21 18|104b14 117l8 117t13
65r21 List{34R9} 18|104b21 105r31 115m7 116m7
67P9*List_Iterator<98P9> 74r58 79r49 84r43 89r44 94r38 109c9 18|122r58 124r14
. 130r49 133r22 140r43 151r44 159r38
69X4*Iteration_Complete 18|143r16
74V13*Initial_Iterator{67P9} 74>31 18|122b13 125l8 125t24
74r31 List{34R9} 18|122b31 124r29
79U14*Next_Production 79=31 18|130b14 135l8 135t23
79p31 Iterator{67P9} 18|130b31 132r10 133m10 133r37
84V13*Get_Production{16|93R9} 84>29 18|140b13 146l8 146t22
84p29 Iterator{67P9} 18|140b29 142r10 145r14
89V13*Last_Production{boolean} 89>30 18|151b13 154l8 154t23
89p30 Iterator{67P9} 18|151b30 153r14 153r38
94V13*Past_Last{boolean} 94>24 18|159b13 162l8 162t17
94p24 Iterator{67P9} 18|159b24 161r14
97R9 List_Node 98r33 99c9 102e14 18|29r54 36r13 51r13 55r27 68r27 78r13
98P9 List_Node_Ptr(97R9) 101r20 105r14 106r14 109r30 18|29r65 35r27 50r29
. 77r27 105r14 106r14
100r7 Production{16|93R9} 18|36m24 51m24 55m38 68m38 78m24 145r23
101p7 Next{98P9} 18|37m24 52m24 56m38 69m38 79m24 82m17 94m17 110r23 133r46
. 153r47
105p7 Head{98P9} 18|40m15 55m15 68m15 69r58 83m15 83r28 94r31 95m15 95r28
. 105r36 115m12 124r34
106p7 Tail{98P9} 18|41m15 58m15 71m15 71r29 82r11 82r12 84m15 94r11 94r12
. 96m15 96r29 116m12
X 18 opentoken-production-list.adb
29U14 Free[14|20] 111s10
35p7 New_Node{17|98P9} 40r23 41r23
50p7 Right_Node{17|98P9} 56r47 58r23
77p7 New_Node{17|98P9} 82r25 84r23
105p7 Node{17|98P9} 109r13 110r18 111m16 111r16 112m10
106p7 Next{17|98P9} 110m10 112r18