/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-text_feeder-string.ali is in libopentoken4-dev 5.0a-1.
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 v4.9"
A -O2
A -fPIC
A -fstack-protector
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 a8586d84 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 20140221201457 fc81ed4c
D opentoken-text_feeder.ads 20140221201457 6fb472c4
D opentoken-text_feeder-string.ads 20140221201457 a20655e5
D opentoken-text_feeder-string.adb 20140221201457 0a5e3861
D system.ads 20140424202341 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|38r41 41r22 42r13 44r10 50r12 51r31 59r28
. 65r14
X 7 a-string.ads
16K13*Strings 35e16 21|26r10 63r24 64r13 22|38r45 41r26 42r17 44r14 50r16
. 51r35 59r32 65r18
X 13 a-strunb.ads
76K21*Unbounded 489e26 21|26w18 63r32 64r21 22|38r53 41r34 42r25 44r22 50r24
. 51r43 59r40 65r26
79R9*Unbounded_String<5|48R9> 473e14 21|63r42
82r4*Null_Unbounded_String{79R9} 21|64r31
84V13*Length{natural} 22|38s63 65s36
94V13*To_Unbounded_String{79R9} 22|51s53 59s50
100V13*To_String{string} 22|41s44 50s34
396V13*Head{79R9} 22|42s35
397r7 Source{79R9} 22|42r41
398i7 Count{natural} 22|43r41
411U14*Tail 22|44s32
412r7 Source{79R9} 22|44r38
413i7 Count{natural} 22|45r38
X 19 opentoken.ads
42K9*OpenToken 78e14 21|31r9 33r25 62r25 66r5 22|31r14 51r80 60r18 68r5
59e4*EOF_Character{character} 22|51r90 60r28
X 20 opentoken-text_feeder.ads
32K19*Text_Feeder 19|42k9 20|63e26 21|31r19 33r35 62r35 66r15 22|31r24 68r15
34H9*Instance 34e48 21|33r47 62r47
X 21 opentoken-text_feeder-string.ads
31K31*String 20|32k19 21|62E9 66l27 66e33 22|31b36 68l27 68t33
33R9*Instance<20|34R9> 41P25 42r25 49p14 49r32 58P24 58r49 62c9 65e14 22|34r25
. 56r23 63r46
41U25*Get<20|54p14> 42=7 43<7 44<7 22|33b25 53l8 53t11
42r7 Feeder{33R9} 22|34b7 38r71 42r51 44m48 44r48 50r45 51m10
43s7 New_Text{string} 22|35b7 40r10 41m10 43r51 45r62 46r22 48r22 49m10 49r20
44i7 Text_End{integer} 22|36b7 46m10 48m10 49r38
49U14*Set 49<19 50>19 22|55b14 61l8 61t11
49r19 Feeder{33R9} 22|56b7 59m7
50s19 Value{string} 22|57b7 60r10
58V24*End_Of_Text{boolean}<20|61p13> 58>37 22|63b24 66l8 66t19
58r37 Feeder{33R9} 22|63b37 65r44
63r7 Next_Value{13|79R9} 22|38r78 42r58 44m55 50r52 51m17 59m14 65r51
X 22 opentoken-text_feeder-string.adb
38i7 Data_Length{natural} 40r28 45r48 48r39
|