/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-based_real_ada_style.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 147 148 149 | 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_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCHING_CALLS
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U opentoken.recognizer.based_real_ada_style%b opentoken-recognizer-based_real_ada_style.adb e43326b2 NE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W interfaces%s interfac.ads interfac.ali
W opentoken.recognizer%s opentoken-recognizer.ads opentoken-recognizer.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U opentoken.recognizer.based_real_ada_style%s opentoken-recognizer-based_real_ada_style.ads 9267a3bd 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 opentoken.recognizer%s opentoken-recognizer.ads opentoken-recognizer.ali
W opentoken.recognizer.extended_digits%s opentoken-recognizer-extended_digits.adb opentoken-recognizer-extended_digits.ali
W system%s system.ads system.ali
W system.secondary_stack%s s-secsta.adb s-secsta.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 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-strmap.ads 20090409150019 9cb836fb
D a-strsup.ads 20120309145048 a27dcb33
D a-tags.ads 20111212115430 6c0509d0
D a-textio.ads 20140129155348 386df5d4
D a-unccon.ads 20070406091342 f9eb8f06
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D opentoken.ads 20150510192240 8bdd0f75
D opentoken-recognizer.ads 20150510192240 ddbf64ff
D opentoken-recognizer-based_real_ada_style.ads 20150510192240 7c5eaceb
D opentoken-recognizer-based_real_ada_style.adb 20150510192240 986d8a59
D opentoken-recognizer-extended_digits.ads 20150510192240 33866ba9
D system.ads 20151121115557 90249111
D s-crtl.ads 20140225151544 840e6817
D s-exctab.ads 20140225151139 54135002
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-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-stratt.ads 20131014135145 aedef97e
D s-stratt.adb 20090409150019 56ef263e
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
X 14 a-textio.ads
78I12*Number_Base{integer}
X 18 opentoken.ads
42K9*OpenToken 82e14 20|26r6 44r9 46r25 56r25 81r5 21|29r14 220r5
X 19 opentoken-recognizer.ads
43K19*Recognizer 18|42k9 19|78e25 20|26r16 44r19 46r35 56r35 81r15 21|29r24
. 220r15
46E9*Analysis_Verdict 49e14 20|60r27 79r26 21|55r26 57r24
47n7*Matches{46E9} 21|69r12 86r41 108r12 111r41 129r12 132r41 133r35 170r33
. 171r35 187r12
48n7*So_Far_So_Good{46E9} 21|68r15 77r30 82r27 92r35 107r15 109r24 112r35
. 128r15 130r24 149r32 163r32 186r15
49n7*Failed{46E9} 20|60r47 21|42r33 57r44 79r30 85r15 95r35 110r15 116r35
. 131r15 136r35 153r32 174r35 189r15 190r32 197r21 214r36
52H9*Instance 57e14 20|46r46 56r46
56b7*Report{boolean} 21|212m15
X 20 opentoken-recognizer-based_real_ada_style.ads
44K30*Based_Real_Ada_Style 19|43k19 20|52E9 81l26 81e46 21|29b35 220l26 220t46
46R9*Instance<19|52R9> 48p13 48r24 56c9 64e14 70P25 70r51 76P25 77r26 21|35r51
. 53r26 208r24
48V13*Get{46R9} 21|208b13 218l8 218t11
52E9 State_ID 54e27 61r27
52n22 Base{52E9} 61r47 21|43r33 62r12 215r36
52n28 Fore{52E9} 21|93r35 100r12
52n34 Aft{52E9} 21|113r35 121r12
53n22 Exponent_E{52E9} 21|134r35 141r12
53n34 Exponent_Sign{52E9} 21|150r32 157r12
53n49 Exponent{52E9} 21|164r32 172r35 180r12
54n22 Done{52E9} 21|96r35 117r35 137r35 154r32 175r35 191r32 194r12
59r7 Number_Recognizer{22|40R9} 21|38m17 65m45 89m26 104m45 114m49 125m45
. 144m20 151m46 168m48 183m45 213m15
60e7 Last_Verdict{19|46E9} 21|42m17 86r26 111r26 132r26 201m17 214m15
61e7 State{52E9} 21|43m17 60r22 93m26 96m26 113m26 117m26 134m26 137m26 150m23
. 154m23 164m23 172m26 175m26 191m23 215m15
62i7 Base{natural} 21|44m17 73m26 73r45 76r29 91r50 216m15
70U25 Clear<19|67p14> 70=32 21|35b25 46l8 46t13
70r32 The_Token{46R9} 21|35b32 38m7 42m7 43m7 44m7
76U25 Analyze<19|74p14> 77=7 78>7 79<7 21|52b25 203l8 203t15
77r7 The_Token{46R9} 21|53b7 60r12 65m35 65r35 73m16 73r35 76r19 86r16 89m16
. 91r40 93m16 96m16 104m35 104r35 111r16 113m16 114m39 114r39 117m16 125m35
. 125r35 132r16 134m16 137m16 144m10 150m13 151m36 151r36 154m13 164m13 168m38
. 168r38 172m16 175m16 183m35 183r35 191m13 201m7
78e7 Next_Char{character} 21|54b7 65r64 72r16 74r34 86r53 104r64 111r53 125r64
. 132r53 148r13 148r32 161r13 161r32 168r67 183r64
79e7 Verdict{19|46E9} 21|55b7 77m19 79m19 82m16 92m16 95m16 109m13 112m16
. 116m16 130m13 133m16 136m16 149m13 153m13 163m13 171m16 174m16 188m13 190m13
. 197m10
X 21 opentoken-recognizer-based_real_ada_style.adb
57e7 Digits_Verdict{19|46E9} 65m75 67r15 104m75 106r15 125m75 127r15 168m78
. 170r16 183m75 185r15 188r24 201r33
X 22 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 20|26w27 59r27 21|38r38 65r10 76r37 89r47 104r10 114r16
. 125r10 144r41 151r13 168r13 183r10 213r36 22|79e41
40R9*Instance<19|52R9> 20|59r43 22|70e14
43N4*Maximum_Base 21|76r53
52V13*Get{40R9} 21|38s54 89s63 144s57 213s52
53i7 For_Base{14|78I12} 21|40r10 91r19 146r13 213r84
54b7 Allow_Underscores{boolean} 21|39r10 90r19 145r13 213r57
72U25 Clear<19|67p14> 21|114s32 151s29
74U25 Analyze<19|74p14> 21|65s26 104s26 125s26 168s29 183s26
|