/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/html_lexer-task_safe.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 | 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_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U html_lexer.task_safe%b html_lexer-task_safe.adb 3a14b179 NE OO PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.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 html_lexer%s html_lexer.adb html_lexer.ali
W interfaces%s interfac.ads interfac.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
U html_lexer.task_safe%s html_lexer-task_safe.ads d1a10d1f 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 20150510192240 d088fe43
D html_lexer-task_safe.ads 20150510192240 6e9d8198
D html_lexer-task_safe.adb 20150510192240 6b18e424
D interfac.ads 20140225151838 69adb1b9
D opentoken.ads 20150510192240 8bdd0f75
D opentoken-recognizer.ads 20150510192240 ddbf64ff
D opentoken-text_feeder.ads 20150510192240 6fb472c4
D opentoken-token.ads 20150510192240 f518d836
D opentoken-token-enumerated.ads 20150510192240 fdf7729b
D opentoken-token-enumerated-analyzer.ads 20150510192240 a2547c7a
D opentoken-token-linked_list.ads 20150510192240 6abdfc9f
D system.ads 20151121115557 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|27r6 51r20
X 7 a-string.ads
16K13*Strings 35e16 18|27r10 51r24
X 12 a-strunb.ads
76K21*Unbounded 489e26 18|27w18 51r32
94V13*To_Unbounded_String{79R9} 18|51s42
X 16 html_lexer.ads
29K9*HTML_Lexer 158e15 17|28r9 59r5 18|28r14 68r5
42n7*Bad_Token{39E9} 18|39r25
52n7*Start_Tag_Opener{39E9} 18|56r12
53n7*End_Tag_Opener{39E9} 18|56r31
54n7*Tag_Closer{39E9} 18|59r12
87R9*HTML_Token 100e14 17|47r22 18|45r22
96e7*Name{39E9} 18|50m10 55r18
97r7*Lexeme{12|79R9} 18|51m10
98i7*Line{natural} 18|52m10
99i7*Column{natural} 18|53m10
105K12 Tokenizer[25|54] 17|54r21 55r21 56r21 18|37r25
153V13 Text_Syntax{25|72A9[105]} 18|35s25 38s13
154V13 Tag_Syntax{25|72A9[105]} 18|36s25
X 17 html_lexer-task_safe.ads
28K20*Task_Safe 16|29k9 17|51E9 59l16 59e25 18|28b25 68l16 68t25
39R9*Lexer_Type 42r29 46r22 51c9 57e14 18|31r29 44r22
41U14*Initialize 42=7 43^7 18|30b14 41l8 41t18
42r7 Lexer{39R9} 18|31b7 34m7
43p7 Input_Feeder(22|34R9) 18|32b7 40r64
45U14*Next_Token 46=7 47<7 18|43b14 66l8 66t18
46r7 Lexer{39R9} 18|44b7 47r7 50r20 51r63 52r20 53r20 57r10 57r37 60r10 60r37
47r7 Token{16|87R9} 18|45b7 49m7 55r12
54a7*Text_Syntax{25|72A9[16|105]} 18|35m10 60r43
55a7*Tag_Syntax{25|72A9[16|105]} 18|36m10 57r43
56p7*Analyzer{25|75P9[16|105]} 18|37m10 47r13 50r26 51r69 52r26 53r26 57r16
. 60r16
X 20 opentoken.ads
42K9*OpenToken 17|27r6 43r29 18|32r29 40r25 20|82e14
X 22 opentoken-text_feeder.ads
32K19*Text_Feeder 17|27w16 43r39 18|32r39 40r35 22|63e26
34H9*Instance 17|43r51 18|32r51 22|34e48
35P9*Text_Feeder_Ptr(34R9) 18|40r47
X 24 opentoken-token-enumerated.ads
177H9*Source<23|47R9>
X 25 opentoken-token-enumerated-analyzer.ads
65R9*Recognizable_Token
72A9*Syntax(65R9[16|105])<16|39E9> 17|54r31[16|105] 55r31[16|105]
74R9*Instance<24|177R9[16|103]>
75P9*Handle(74R9[16|105]) 17|56r31[16|105]
103V13*Initialize{75P9[16|105]} 18|37s35[16|105]
105e7 Default{24|61E12[16|103]} 18|39r13[16|105]
106p7 Feeder{22|35P9} 18|40r13[16|105]
145U14*Set_Syntax 18|57s25[16|105] 60s25[16|105]
191U25*Find_Next<23|102p14> 18|47s22[16|105]
205V13*Line{natural} 18|52s35[16|105]
213V13*Column{natural} 18|53s35[16|105]
235V13*ID{24|61E12[16|103]} 18|50s35[16|105]
237V24*Lexeme{string}<24|187p13> 18|51s78[16|105]
|