/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer.ali is in libopentoken6.1-dev 6.0b-7.
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 | V "GNAT Lib v7"
A -O2
A -gnatA
A -g
A -fdebug-prefix-map=/build/opentoken-PUVLEa/opentoken-6.0b=.
A -fstack-protector-strong
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -fPIC
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U opentoken.recognizer%s opentoken-recognizer.ads 56626b8a EE OO PF PK
W ada.exceptions%s a-except.adb a-except.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W opentoken%s opentoken.adb opentoken.ali
W system%s system.ads system.ali
W system.finalization_masters%s s-finmas.adb s-finmas.ali
W system.pool_global%s s-pooglo.adb s-pooglo.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.stream_attributes%s s-stratt.adb s-stratt.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strbou.ads 20140731124036 53ab54ae ada.strings.bounded%s
D a-strbou.adb 20090409150019 adb4aa70 ada.strings.bounded%b
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D interfac.ads 20160502101001 5ab55268 interfaces%s
D opentoken.ads 20150510192240 8bdd0f75 opentoken%s
D opentoken-recognizer.ads 20150510192240 ddbf64ff opentoken.recognizer%s
D system.ads 20170808154339 4635ec04 system%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-fatflt.ads 20090409150019 11beb392 system.fat_flt%s
D s-fatgen.ads 20150107111315 49cbaf86 system.fat_gen%s
D s-fatgen.adb 20160707132030 de7895ec system.fat_gen%b
D s-fatlfl.ads 20090409150019 378cba9f system.fat_lflt%s
D s-fatllf.ads 20090409150019 4d5c1475 system.fat_llf%s
D s-fatsfl.ads 20090409150019 e2f873d3 system.fat_sflt%s
D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-memory.ads 20160622104833 597d6634 system.memory%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads 20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads 20170112134946 9751b57e system.secondary_stack%s
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stalib.adb 20140225151139 f2fe2716 system.standard_library%b
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b
D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s
D s-stratt.adb 20090409150019 56ef263e system.stream_attributes%b
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
X 16 opentoken.ads
42K9*OpenToken 82e14 17|43r9 78r5
X 17 opentoken-recognizer.ads
43K19*Recognizer 16|42k9 17|78l15 78e25
46E9*Analysis_Verdict 49e14 76r39
47n7*Matches{46E9}
48n7*So_Far_So_Good{46E9}
49n7*Failed{46E9}
52H9*Instance 57e14 59r21 67p14 67r40 74p14 74r42
56b7*Report{boolean}
59C12*Class<52R9> 61r30
61P9*Handle(59C12)
67x14*Clear 67=21
67r21 The_Token{52R9}
74x14*Analyze 74=23 75>23 76<23
74r23 The_Token{52R9}
75e23 Next_Char{character}
76e23 Verdict{46E9}
X 18 system.ads
67M9*Address
X 28 s-memory.ads
53V13*Alloc{18|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{18|67M9} 105i<c,__gnat_realloc>22
X 35 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22
|