/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/html_lexer-tags.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 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 | 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_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_ANONYMOUS_ALLOCATORS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
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.tags%s html_lexer-tags.ads af0e4e61 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
Z ada.strings.fixed%s a-strfix.adb a-strfix.ali
W ada.strings.maps%s a-strmap.adb a-strmap.ali
W ada.strings.maps.constants%s a-stmaco.ads a-stmaco.ali
W ada.tags%s a-tags.adb a-tags.ali
Z ada.text_io%s a-textio.adb a-textio.ali
Z ada.unchecked_deallocation%s
W html_lexer%s html_lexer.adb html_lexer.ali
W interfaces%s interfac.ads interfac.ali
W opentoken%s opentoken.adb opentoken.ali
W opentoken.recognizer%s opentoken-recognizer.ads opentoken-recognizer.ali
W opentoken.recognizer.character_set%s opentoken-recognizer-character_set.adb opentoken-recognizer-character_set.ali EA
W opentoken.recognizer.end_of_file%s opentoken-recognizer-end_of_file.adb opentoken-recognizer-end_of_file.ali EA
W opentoken.recognizer.keyword%s opentoken-recognizer-keyword.adb opentoken-recognizer-keyword.ali EA
W opentoken.recognizer.nothing%s opentoken-recognizer-nothing.adb opentoken-recognizer-nothing.ali EA
W opentoken.recognizer.separator%s opentoken-recognizer-separator.adb opentoken-recognizer-separator.ali EA
W opentoken.recognizer.string%s opentoken-recognizer-string.adb opentoken-recognizer-string.ali EA
W opentoken.text_feeder%s opentoken-text_feeder.ads opentoken-text_feeder.ali
W opentoken.text_feeder.string%s opentoken-text_feeder-string.adb opentoken-text_feeder-string.ali
W opentoken.token%s opentoken-token.adb opentoken-token.ali
W opentoken.token.enumerated%s opentoken-token-enumerated.adb opentoken-token-enumerated.ali AD
W opentoken.token.enumerated.analyzer%s opentoken-token-enumerated-analyzer.adb opentoken-token-enumerated-analyzer.ali AD
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
W system.finalization_masters%s s-finmas.adb s-finmas.ali
W system.img_enum_new%s s-imenne.adb s-imenne.ali
W system.img_int%s s-imgint.adb s-imgint.ali
W system.pool_global%s s-pooglo.adb s-pooglo.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%s s-stopoo.adb s-stopoo.ali
W system.storage_pools.subpools%s s-stposu.adb s-stposu.ali
W system.stream_attributes%s s-stratt.adb s-stratt.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-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-strfix.ads 20101008130255 d07c346e
D a-strmap.ads 20090409150019 9cb836fb
D a-stmaco.ads 20090409150019 cef4434b
D a-strsup.ads 20120309145048 a27dcb33
D a-strunb.ads 20120426100351 3f91d4c5
D a-tags.ads 20111212115430 6c0509d0
D a-textio.ads 20140129155348 386df5d4
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D html_lexer.ads 20140221201457 f4062920
D html_lexer-tags.ads 20140221201457 05f8c9f4
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D opentoken.ads 20140221201457 fc81ed4c
D opentoken-recognizer.ads 20140221201457 ddbf64ff
D opentoken-recognizer-character_set.ads 20140221201457 db5d6f15
D opentoken-recognizer-end_of_file.ads 20140221201457 d5a4a40d
D opentoken-recognizer-keyword.ads 20140221201457 a3611bcf
D opentoken-recognizer-nothing.ads 20140221201457 dd23b94c
D opentoken-recognizer-separator.ads 20140221201457 92e5ab89
D opentoken-recognizer-string.ads 20140221201457 47f5cf25
D opentoken-text_feeder.ads 20140221201457 6fb472c4
D opentoken-text_feeder-string.ads 20140221201457 a20655e5
D opentoken-token.ads 20140221201457 1cfab97b
D opentoken-token-enumerated.ads 20140221201457 caac1aa4
D opentoken-token-enumerated.adb 20140221201457 413b6481
D opentoken-token-enumerated-analyzer.ads 20140221201457 f81dc7e8
D opentoken-token-enumerated-analyzer.adb 20140221201457 45492eb7
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-crtl.ads 20140225151544 840e6817
D s-exctab.ads 20140225151139 54135002
D s-exctab.adb 20140225151139 05502b19
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-htable.ads 20140225151139 84c2b3ea
D s-imenne.ads 20140225151139 614c06c0
D s-imgint.ads 20090409150019 02dbe0c2
D s-memory.ads 20140225151139 597d6634
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-stratt.adb 20090409150019 56ef263e
D s-string.ads 20140225151139 8fe54fb7
D s-ststop.ads 20140225151139 e6693757
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 21|26r6 93r13 114r13 115r15 116r15
X 8 a-string.ads
16K13*Strings 35e16 21|26r10 93r17 114r17 115r19 116r19
X 12 a-strmap.ads
38K21*Maps 412e21 21|26r18 93r25 114r25 115r27 116r27
47A9*Character_Set<138A9> 21|93r30
79V14*"or"{47A9} 21|114s58 115s60
99V13*To_Set{47A9} 21|116s32
138A9 Character_Set_Internal(boolean)<character>
X 13 a-stmaco.ads
38K26*Constants 916e31 21|26w23 114r30 115r32
45a4*Letter_Set{12|47A9} 21|114r40
49a4*Decimal_Digit_Set{12|47A9} 21|115r42
X 20 html_lexer.ads
29K9*HTML_Lexer 157e15 21|42r17 131r5
X 21 html_lexer-tags.ads
42K28*Tags 20|29k9 21|131l16 131e20
55E9*Tag_Token 88e46 90r64 90r75 90r92 91r56 91r73
56n23*Start_Tag_Opener{55E9} 96r7
57n23*End_Tag_Opener{55E9} 97r7
58n23*Tag_Closer{55E9} 98r7
61n23*HTML{55E9} 99r7
62n23*Head{55E9} 100r7
63n23*Meta{55E9} 101r7
64n23*HTML_Body{55E9} 102r7
65n23*Anchor{55E9} 104r7
66n23*Heading_1{55E9} 103r7
67n23*Image{55E9} 105r7
71n23*Content{55E9} 106r7
72n23*Hyper_Reference{55E9} 107r7
73n23*Link_Type{55E9} 108r7
74n23*Name{55E9} 109r7
75n23*Title{55E9} 110r7
79n23*Assignment{55E9} 111r7
82n23*Value{55E9} 112r7
83n23*String{55E9} 118r7
86n23*Bad_Token{55E9} 122r7 128r69
88n23*Whitespace{55E9} 119r7
88n35*End_Of_Tag{55E9} 123r7
90K12*Master_Tag_Token[35|55] 91r29
91K12*Tokenizer[37|64] 95r21 96r27 97r27 98r27 99r27 100r27 101r27 102r27
. 103r27 104r27 105r27 106r27 107r27 108r27 109r27 110r27 111r27 112r27 118r27
. 119r27 122r27 123r27 127r14 127r36
95a4*Syntax{37|85A9[91]} 127r58
125r4*Tag_Input_Feeder{33|33R9} 129m69 129r69
127r4*Analyzer{37|87R9[91]}
X 24 opentoken.ads
42K9*OpenToken 21|28r6 29r6 30r6 32r6 33r6 34r6 35r6 36r6 37r6 90r36 96r41
. 97r41 98r41 99r41 100r41 101r41 102r41 103r41 104r41 105r41 106r41 107r41
. 108r41 109r41 110r41 111r41 113r10 118r41 120r10 121r13 122r41 123r41 125r31
. 24|78e14
X 25 opentoken-recognizer.ads
43K19*Recognizer 21|32r16 33r16 34r16 35r16 36r16 37r16 96r51 97r51 98r51
. 99r51 100r51 101r51 102r51 103r51 104r51 105r51 106r51 107r51 108r51 109r51
. 110r51 111r51 113r20 118r51 120r20 121r23 122r51 123r51 25|78e25
X 26 opentoken-recognizer-character_set.ads
42K30*Character_Set 21|32w27 113r31 120r31 121r34 26|89e39
47a4*Standard_Whitespace{12|47A9} 21|121r48
65V13*Get{52R9} 21|113s45 120s45
66b18 Reportable{boolean} 21|117r13
X 27 opentoken-recognizer-end_of_file.ads
39K30*End_Of_File 21|33w27 123r62 27|70e37
49V13*Get{41R9} 21|123s74
X 28 opentoken-recognizer-keyword.ads
39K30*Keyword 21|34w27 99r62 100r62 101r62 102r62 103r62 104r62 105r62 106r62
. 107r62 108r62 109r62 110r62 28|80e33
52V13*Get{45R9} 21|99s70 100s70 101s70 102s70 103s70 104s70 105s70 106s70
. 107s70 108s70 109s70 110s70
X 29 opentoken-recognizer-nothing.ads
40K30*Nothing 21|35w27 122r62 29|65e33
51V13*Get{42R9} 21|122s70
X 30 opentoken-recognizer-separator.ads
33K30*Separator 21|36w27 96r62 97r62 98r62 111r62 30|64e35
37V13*Get{35R9} 21|96s72 97s72 98s72 111s72
X 31 opentoken-recognizer-string.ads
37K30*String 21|37w27 118r62 31|133e32
84V13*Get{65R9} 21|118s69
86b7 Double_Delimiter{boolean} 21|118r74
X 32 opentoken-text_feeder.ads
32K19*Text_Feeder 21|28w16 29r16 125r41 32|63e26
35P9*Text_Feeder_Ptr(34R9)
X 33 opentoken-text_feeder-string.ads
31K31*String 21|29w28 125r53 33|66e33
33R9*Instance<32|34R9> 21|125r60 33|65e14
X 34 opentoken-token.ads
36K19*Token 21|30r16 90r46 34|155e20
X 35 opentoken-token-enumerated.ads
55k25*Enumerated 21|30r22 90r52 35|179e31
153H9*Source<34|44R9>
X 37 opentoken-token-enumerated-analyzer.ads
64k36 Analyzer 21|30w33 37|314e40
78R9*Recognizable_Token
85A9*Syntax(78R9[21|91])<21|55E9> 21|95r31[91]
87R9*Instance<35|153R9[21|90]> 21|127r24[91]
98V13*Get{78R9[21|91]} 21|96s37[91] 97s37[91] 98s37[91] 99s37[91] 100s37[91]
. 101s37[91] 102s37[91] 103s37[91] 104s37[91] 105s37[91] 106s37[91] 107s37[91]
. 108s37[91] 109s37[91] 110s37[91] 111s37[91] 112s37[91] 118s37[91] 119s37[91]
. 122s37[91] 123s37[91]
113V13*Initialize{87R9[21|91]} 21|127s46[91]
115e7 Default{66E12[21|91]} 21|128r58[91]
116p7 Feeder{32|35P9} 21|129r58[91]
X 40 system.ads
64M9*Address
X 58 s-memory.ads
53V13*Alloc{40|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{40|64M9} 105i<c,__gnat_realloc>22
|