This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-real.ali is in libopentoken5-dev 6.0b-4.

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
V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector-strong
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCHING_CALLS
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U opentoken.recognizer.real%b  opentoken-recognizer-real.adb  89072dd9 NE OO PK
W ada.tags%s		a-tags.adb		a-tags.ali
W interfaces%s		interfac.ads		interfac.ali
W opentoken.recognizer%s  opentoken-recognizer.ads  opentoken-recognizer.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U opentoken.recognizer.real%s  opentoken-recognizer-real.ads  c67befc2 EE OO PF PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.streams%s		a-stream.adb		a-stream.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W opentoken%s		opentoken.adb		opentoken.ali
W opentoken.recognizer%s  opentoken-recognizer.ads  opentoken-recognizer.ali
W opentoken.recognizer.extended_digits%s  opentoken-recognizer-extended_digits.adb  opentoken-recognizer-extended_digits.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.stream_attributes%s  s-stratt.adb	s-stratt.ali

D ada.ads		20070406091342 3ffc8e18
D a-charac.ads		20070912115821 2d3ec45b
D a-chlat1.ads		20140225151544 66457d31
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-ioexce.ads		20140225151544 e4a01f64
D a-stream.ads		20140122164720 1a984740
D a-string.ads		20070406091342 90ac6797
D a-strbou.ads		20101008130255 9806fe84
D a-strbou.adb		20090409150019 adb4aa70
D a-strmap.ads		20090409150019 9cb836fb
D a-strsup.ads		20120309145048 a27dcb33
D a-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D opentoken.ads		20150510192240 8bdd0f75
D opentoken-recognizer.ads  20150510192240 ddbf64ff
D opentoken-recognizer-extended_digits.ads  20150510192240 33866ba9
D opentoken-recognizer-real.ads  20150510192240 2842e094
D opentoken-recognizer-real.adb  20150510192240 a145cd4d
D system.ads		20151121115557 90249111
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-fatflt.ads		20090409150019 11beb392
D s-fatgen.ads		20140129155348 9267ca45
D s-fatgen.adb		20140129155348 9ba81cee
D s-fatlfl.ads		20090409150019 378cba9f
D s-fatllf.ads		20090409150019 4d5c1475
D s-fatsfl.ads		20090409150019 e2f873d3
D s-ficobl.ads		20120709130952 55a71d43
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-parame.ads		20140225151139 ab8cb46a
D s-pooglo.ads		20110804083314 542f33d0
D s-secsta.ads		20140225151139 86a2856d
D s-soflin.ads		20140225151139 aa763b52
D s-stache.ads		20140225151139 a37c21ec
D s-stalib.ads		20140225151139 a891183f
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-stopoo.ads		20131010103753 b16154c2
D s-stratt.ads		20131014135145 aedef97e
D s-stratt.adb		20090409150019 56ef263e
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
X 14 a-textio.ads
78I12*Number_Base{integer}
X 18 opentoken.ads
42K9*OpenToken 82e14 21|34r6 51r9 53r25 71r25 91r5 22|35r14 284r5
X 19 opentoken-recognizer.ads
43K19*Recognizer 18|42k9 19|78e25 21|34r16 51r19 53r35 71r35 91r15 22|35r24
. 284r15
46E9*Analysis_Verdict 49e14 21|79r28 89r34 22|49r26 52r25
47n7*Matches{46E9} 22|66r35 90r34 120r34 124r42 142r12 146r41 148r36 157r44
. 176r31 177r39 179r39 198r15 199r24 202r42 229r34 230r35 247r12
48n7*So_Far_So_Good{46E9} 22|64r35 78r35 91r35 109r35 121r35 141r15 143r24
. 150r36 161r35 195r15 196r24 207r35 222r32 246r15
49n7*Failed{46E9} 21|79r48 22|41r33 69r27 81r35 96r35 112r35 126r35 145r15
. 165r35 181r32 201r15 203r45 211r35 233r35 249r15 250r32 257r21 279r37
52H9*Instance 57e14 21|53r46 71r46
56b7*Report{boolean} 22|273m15
X 20 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 79e41 21|34w27 78r28 22|39r7 87r13 118r13 138r10 155r16
. 163r16 174r10 192r10 209r16 227r13 243r10 277r37
40R9*Instance<19|52R9> 70e14 21|78r44
52V13*Get{40R9} 22|277s53
53i7 For_Base{14|78I12} 22|278r58
54b7 Allow_Underscores{boolean} 22|277r58
72U25 Clear<19|67p14> 22|39s23 155s32 163s32 209s32
74U25 Analyze<19|74p14> 22|87s29 118s29 138s26 174s26 192s26 227s29 243s26
X 21 opentoken-recognizer-real.ads
51K30*Real 19|43k19 21|69E9 91l26 91e30 22|35b35 284l26 284t30
53R9*Instance<19|52R9> 62p13 65r63 71c9 82e14 84P25 84r51 87P6 87r34 22|37r51
. 47r26 269r63
62V13*Get{53R9} 62>18 63>18 64>18 65>18 22|266b13 282l8 282t11
62b18 Allow_Underscores{boolean} 22|266b18 277r80
63b18 Allow_Exponent{boolean} 22|267b18 274r37
64b18 Allow_Signs{boolean} 22|268b18 276r37
65b18 Allow_Laziness{boolean} 22|269b18 275r37
69E9 State_ID 69e102 80r28
69n22 First_Char{69E9} 80r48 22|42r33 58r12 280r37
69n34 First_Non_Sign{69E9} 22|65r35 102r12
69n50 Fore{69E9} 22|93r42 123r42 132r12
69n56 Aft_First{69E9} 22|79r35 110r35 170r12
69n67 Aft{69E9} 22|152r42 178r39 185r12
69n72 Exponent_Sign{69E9} 22|162r35 208r35 216r12
69n87 Exponent{69E9} 22|223r32 231r35 239r12
69n97 Done{69E9} 22|70r35 82r35 97r35 113r35 127r35 166r35 182r32 212r35
. 234r35 251r32 254r12
73b7 Allow_Exponent{boolean} 22|159r54 205r66 274m15
74b7 Allow_Laziness{boolean} 22|77r26 108r26 147r29 159r25 204r32 275m15
75b7 Allow_Signs{boolean} 22|63r26 276m15
78r7 Decimal_Recognizer{20|40R9} 22|39m40 87m48 118m48 138m45 155m49 163m49
. 174m45 192m45 209m49 227m48 243m45 277m15
79e7 Last_Verdict{19|46E9} 22|41m17 94m26 124m26 144m23 146r26 153m26 157r29
. 179m23 197m23 200m23 202r27 203r30 279m15
80e7 State{69E9} 22|42m17 56r22 65m26 70m26 79m26 82m26 93m26 97m26 110m26
. 113m26 123m26 127m26 152m26 162m26 166m26 178m23 182m23 208m26 212m26 223m23
. 231m26 234m26 251m23 280m15
84U25 Clear<19|67p14> 84=32 22|37b25 44l8 44t13
84r32 The_Token{53R9} 22|37b32 39m30 39r30 41m7 42m7
87U6 Analyze<19|74p14> 87=15 88>15 89<15 22|46b25 261l8 261t15
87r15 The_Token{53R9} 22|47b7 56r12 63r16 65m16 70m16 77r16 79m16 82m16 87m38
. 87r38 93m16 94m16 97m16 108r16 110m16 113m16 118m38 118r38 123m16 124m16
. 127m16 138m35 138r35 144m13 146r16 147r19 152m16 153m16 155m39 155r39 157r19
. 159r15 159r44 162m16 163m39 163r39 166m16 174m35 174r35 178m13 179m13 182m13
. 192m35 192r35 197m13 200m13 202r17 203r20 204r22 205r56 208m16 209m39 209r39
. 212m16 223m13 227m38 227r38 231m16 234m16 243m35 243r35 251m13
88e15 Next_Char{character} 22|48b7 60r15 87r68 106r13 118r68 138r65 146r53
. 158r16 158r35 174r65 192r65 205r16 205r35 220r13 220r32 227r68 243r65
89e15 Verdict{19|46E9} 22|49b7 64m16 69m16 78m16 81m16 91m16 96m16 109m16
. 112m16 121m16 126m16 143m13 148m19 150m19 161m16 165m16 177m13 181m13 196m13
. 199m13 207m16 211m16 222m13 230m16 233m16 248m13 250m13 257m10
X 22 opentoken-recognizer-real.adb
52e7 Decimal_Verdict{19|46E9} 66m16 87m79 90r16 94r42 118m79 120r16 138m76
. 140r15 144r39 153r42 174m76 176r13 192m76 194r15 197r39 200r39 227m79 229r16
. 243m76 245r15 248r24