/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-based_integer_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 | 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_integer_ada_style%b opentoken-recognizer-based_integer_ada_style.adb e4509fd5 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_integer_ada_style%s opentoken-recognizer-based_integer_ada_style.ads 2d7c092a 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_integer_ada_style.ads 20150510192240 c345067c
D opentoken-recognizer-based_integer_ada_style.adb 20150510192240 271599a9
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 42r9 44r25 57r25 82r5 21|29r14 196r5
X 19 opentoken-recognizer.ads
43K19*Recognizer 18|42k9 19|78e25 20|26r16 42r19 44r35 57r35 82r15 21|29r24
. 196r15
46E9*Analysis_Verdict 49e14 20|61r27 80r26 21|53r33 55r24
47n7*Matches{46E9} 21|67r12 84r41 106r12 109r41 110r35 146r33 147r35 163r12
48n7*So_Far_So_Good{46E9} 21|66r15 75r30 80r27 90r35 105r15 107r24 126r32
. 139r32 162r15
49n7*Failed{46E9} 20|61r47 21|40r33 55r44 77r30 83r15 93r35 108r15 113r35
. 129r32 150r35 165r15 166r32 173r21 190r36
52H9*Instance 57e14 20|44r46 57r46
56b7*Report{boolean} 21|188m15
X 20 opentoken-recognizer-based_integer_ada_style.ads
42K30*Based_Integer_Ada_Style 19|43k19 20|53E9 82l26 82e49 21|29b35 196l26
. 196t49
44R9*Instance<19|52R9> 49p13 49r24 57c9 65e14 71P25 71r51 77P25 78r26 21|35r51
. 51r34 184r24
49V13*Get{44R9} 21|184b13 194l8 194t11
53E9 State_ID 55e27 62r27
53n22 Base{53E9} 62r47 21|41r33 60r12 191r36
53n28 Numeral{53E9} 21|91r35 98r12
54n22 Exponent_E{53E9} 21|111r35 118r12
54n34 Exponent_Sign{53E9} 21|127r32 133r12
54n49 Exponent{53E9} 21|140r32 148r35 156r12
55n22 Done{53E9} 21|94r35 114r35 130r32 151r35 167r32 170r12
60r7 Number_Recognizer{22|40R9} 21|38m17 63m45 87m26 102m45 121m20 144m48
. 159m45 189m15
61e7 Last_Verdict{19|46E9} 21|40m17 84r26 109r26 177m17 190m15
62e7 State{53E9} 21|41m17 58r22 91m26 94m26 111m26 114m26 127m23 130m23 140m23
. 148m26 151m26 167m23 191m15
63i7 Base{natural} 21|42m17 71m26 71r45 74r29 89r50 192m15
71U25 Clear<19|67p14> 71=32 21|35b25 44l8 44t13
71r32 The_Token{44R9} 21|35b32 38m7 40m7 41m7 42m7
77U25 Analyze<19|74p14> 78=7 79>7 80<7 21|51b6 179l8 179t15
78r7 The_Token{44R9} 21|51b15 58r12 63m35 63r35 71m16 71r35 74r19 84r16 87m16
. 89r40 91m16 94m16 102m35 102r35 109r16 111m16 114m16 121m10 127m13 130m13
. 140m13 144m38 144r38 148m16 151m16 159m35 159r35 167m13 177m7
79e7 Next_Char{character} 21|52b15 63r64 70r16 72r34 84r53 102r64 109r53
. 125r13 125r32 137r13 144r67 159r64
80e7 Verdict{19|46E9} 21|53b15 75m19 77m19 80m16 90m16 93m16 107m13 110m16
. 113m16 126m13 129m13 139m13 147m16 150m16 164m13 166m13 173m10
X 21 opentoken-recognizer-based_integer_ada_style.adb
55e7 Digits_Verdict{19|46E9} 63m75 65r15 102m75 104r15 144m78 146r16 159m75
. 161r15 164r24 177r33
X 22 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 20|26w27 60r27 21|39r9 63r10 74r37 87r47 102r10 121r41
. 144r13 159r10 189r36 22|79e41
40R9*Instance<19|52R9> 20|60r43 22|70e14
43N4*Maximum_Base 21|74r53
52V13*Get{40R9} 21|39s25 87s63 121s57 189s52
53i7 For_Base{14|78I12} 21|39r57 89r19 123r13 189r84
54b7 Allow_Underscores{boolean} 21|39r30 88r19 122r13 189r57
74U25 Analyze<19|74p14> 21|63s26 102s26 144s29 159s26
|