/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/html_lexer-task_unsafe.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 139 | 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_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U html_lexer.task_unsafe%b html_lexer-task_unsafe.adb c9cf06f3 OO PK
W ada.exceptions%s a-except.adb a-except.ali
W ada.tags%s a-tags.adb a-tags.ali
W html_lexer%s html_lexer.adb html_lexer.ali AD
W interfaces%s interfac.ads interfac.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_pools.subpools%s s-stposu.adb s-stposu.ali
U html_lexer.task_unsafe%s html_lexer-task_unsafe.ads 3238e783 EE NE OO PK
W html_lexer%s html_lexer.adb html_lexer.ali
W opentoken%s opentoken.adb opentoken.ali
W opentoken.text_feeder%s opentoken-text_feeder.ads opentoken-text_feeder.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-strsup.ads 20120309145048 a27dcb33
D a-strunb.ads 20120426100351 3f91d4c5
D a-tags.ads 20111212115430 6c0509d0
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D html_lexer.ads 20140221201457 f4062920
D html_lexer-task_unsafe.ads 20140221201457 a98abc67
D html_lexer-task_unsafe.adb 20140221201457 6045ba94
D interfac.ads 20140225151838 69adb1b9
D opentoken.ads 20140221201457 fc81ed4c
D opentoken-recognizer.ads 20140221201457 ddbf64ff
D opentoken-text_feeder.ads 20140221201457 6fb472c4
D opentoken-token.ads 20140221201457 1cfab97b
D opentoken-token-enumerated.ads 20140221201457 caac1aa4
D opentoken-token-enumerated-analyzer.ads 20140221201457 f81dc7e8
D opentoken-token-linked_list.ads 20140221201457 6abdfc9f
D system.ads 20140424202341 90249111
D s-atocou.ads 20131010110730 cd7c94ca
D s-atocou.adb 20131010121735 62bad392
D s-exctab.ads 20140225151139 54135002
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-imenne.ads 20140225151139 614c06c0
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 18|43r20
X 7 a-string.ads
16K13*Strings 35e16 18|43r24
X 12 a-strunb.ads
76K21*Unbounded 489e26 18|43r32
94V13*To_Unbounded_String{79R9} 18|43s42
X 16 html_lexer.ads
29K9*HTML_Lexer 157e15 17|28r9 43r5 18|27r14 60r5
42n7*Bad_Token{39E9} 18|29r83
52n7*Start_Tag_Opener{39E9} 18|48r12
53n7*End_Tag_Opener{39E9} 18|48r31
54n7*Tag_Closer{39E9} 18|51r12
87R9*HTML_Token 100e14 17|41r31 18|36r31 37r16
96e7*Name{39E9} 18|42m10 47r19
97r7*Lexeme{12|79R9} 18|43m10
98i7*Line{natural} 18|44m10
99i7*Column{natural} 18|45m10
104K12 Tokenizer[25|64] 18|29r15 29r37 39r7 42r20 43r63 44r20 45r20 49r10
. 52r10
152V13 Text_Syntax{25|85A9[104]} 18|29s59 52s42
153V13 Tag_Syntax{25|85A9[104]} 18|49s42
X 17 html_lexer-task_unsafe.ads
28K20*Task_Unsafe 16|29k9 17|43l16 43e27 18|27b25 60l16 60t27
39U14*Initialize 39>26 18|31b14 34l8 34t18
39p26 Input_Feeder{22|35P9} 18|31b26 33r33
41V13*Next_Token{16|87R9} 18|36b13 58l8 58t18
X 18 html_lexer-task_unsafe.adb
29r4 Analyzer{25|87R9[16|104]} 33m7 33r7 39m28 39r28 42r34 43r81 44r36 45r38
. 49m32 49r32 52m32 52r32
37r7 Result{16|87R9} 41m7 47r12 57r14
X 20 opentoken.ads
42K9*OpenToken 17|27r6 39r44 18|31r44 20|78e14
X 22 opentoken-text_feeder.ads
32K19*Text_Feeder 17|27w16 39r54 18|31r54 22|63e26
35P9*Text_Feeder_Ptr(34R9) 17|39r66 18|31r66
X 24 opentoken-token-enumerated.ads
153H9*Source<23|44R9>
X 25 opentoken-token-enumerated-analyzer.ads
78R9*Recognizable_Token
85A9*Syntax(78R9[16|104])<16|39E9>
87R9*Instance<24|153R9[16|103]> 18|29r25[16|104]
113V13*Initialize{87R9[16|104]} 18|29s47[16|104]
115e7 Default{66E12[16|104]} 18|29r72[16|104]
153U14*Set_Syntax 18|49s20[16|104] 52s20[16|104]
158U14*Set_Text_Feeder 18|33s16[16|104]
209U25*Find_Next<23|96p14> 18|39s17[16|104]
223V13*Line{natural} 18|44s30[16|104]
230V13*Column{natural} 18|45s30[16|104]
255V13*ID{66E12[16|104]} 18|42s30[16|104]
257V24*Lexeme{string}<24|161p13> 18|43s73[16|104]
|