This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-text_feeder-string.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
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_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U opentoken.text_feeder.string%b  opentoken-text_feeder-string.adb  0a9d23e9 NE OO PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W interfaces%s		interfac.ads		interfac.ali
W opentoken.text_feeder%s  opentoken-text_feeder.ads  opentoken-text_feeder.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali

U opentoken.text_feeder.string%s  opentoken-text_feeder-string.ads  f223f3e4 EE OO PF PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.streams%s		a-stream.adb		a-stream.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.unbounded%s  a-strunb.adb		a-strunb.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W opentoken.text_feeder%s  opentoken-text_feeder.ads  opentoken-text_feeder.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.storage_pools.subpools%s  s-stposu.adb	s-stposu.ali
W system.strings.stream_ops%s  s-ststop.adb	s-ststop.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-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-strsea.ads		20101008130255 b9bc90ba
D a-strsup.ads		20120309145048 a27dcb33
D a-strunb.ads		20120426100351 3f91d4c5
D a-strunb.adb		20121001094122 516b4fe5
D a-tags.ads		20111212115430 6c0509d0
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D interfac.ads		20140225151838 69adb1b9
D opentoken.ads		20150510192240 8bdd0f75
D opentoken-text_feeder.ads  20150510192240 6fb472c4
D opentoken-text_feeder-string.ads  20150510192240 a20655e5
D opentoken-text_feeder-string.adb  20150510192240 a89b760c
D system.ads		20151121115557 90249111
D s-atocou.ads		20131010110730 cd7c94ca
D s-atocou.adb		20131010121735 62bad392
D s-carun8.ads		20140225151544 a903718d
D s-exctab.ads		20140225151139 54135002
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-stposu.ads		20121005142121 ffeba1c5
D s-stratt.ads		20131014135145 aedef97e
D s-string.ads		20140225151139 8fe54fb7
D s-ststop.ads		20140225151139 e6693757
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 21|26r6 63r20 64r9 22|38r11 49r12 50r31 58r28 64r14
X 7 a-string.ads
16K13*Strings 35e16 21|26r10 63r24 64r13 22|38r15 49r16 50r35 58r32 64r18
X 13 a-strunb.ads
76K21*Unbounded 489e26 21|26w18 63r32 64r21 22|38r23 49r24 50r43 58r40 64r26
79R9*Unbounded_String<5|48R9> 473e14 21|63r42
82r4*Null_Unbounded_String{79R9} 21|64r31
84V13*Length{natural} 22|39s41 64s36
94V13*To_Unbounded_String{79R9} 22|50s53 58s50
100V13*To_String{string} 22|42s22 49s34
396V13*Head{79R9} 22|42s33
411U14*Tail 22|44s10
X 19 opentoken.ads
42K9*OpenToken 82e14 21|31r9 33r25 62r25 66r5 22|31r14 50r80 59r18 67r5
59e4*EOF_Character{character} 22|50r90 59r28
X 20 opentoken-text_feeder.ads
32K19*Text_Feeder 19|42k9 20|63e26 21|31r19 33r35 62r35 66r15 22|31r24 67r15
34H9*Instance 34e48 21|33r47 62r47
X 21 opentoken-text_feeder-string.ads
31K31*String 20|32k19 21|62E9 66l27 66e33 22|31b36 67l27 67t33
33R9*Instance<20|34R9> 41P25 42r25 49p14 49r32 58P24 58r49 62c9 65e14 22|34r25
. 55r23 62r46
41U25*Get<20|54p14> 42=7 43<7 44<7 22|33b25 52l8 52t11
42r7 Feeder{33R9} 22|34b7 39r49 42r39 44m16 44r16 49r45 50m10
43s7 New_Text{string} 22|35b7 41r10 42m10 42r58 44r49 45r22 47r22 48m10 48r20
44i7 Text_End{integer} 22|36b7 45m10 47m10 48r38
49U14*Set 49<19 50>19 22|54b14 60l8 60t11
49r19 Feeder{33R9} 22|55b7 58m7
50s19 Value{string} 22|56b7 59r10
58V24*End_Of_Text{boolean}<20|61p13> 58>37 22|62b24 65l8 65t19
58r37 Feeder{33R9} 22|62b37 64r44
63r7 Next_Value{13|79R9} 22|39r56 42r46 44m23 49r52 50m17 58m14 64r51
X 22 opentoken-text_feeder-string.adb
39i7 Data_Length{natural} 41r28 44r35 47r39