/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-based_integer.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 | 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%b opentoken-recognizer-based_integer.adb 92fedc54 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%s opentoken-recognizer-based_integer.ads 3ed1a55d 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.ads 20150510192240 d0e8aa0b
D opentoken-recognizer-based_integer.adb 20150510192240 4216765f
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|27r6 36r9 38r25 46r25 61r5 21|25r14 185r5
X 19 opentoken-recognizer.ads
43K19*Recognizer 18|42k9 19|78e25 20|27r16 36r19 38r35 46r35 61r15 21|25r24
. 185r15
46E9*Analysis_Verdict 49e14 20|48r27 59r26 21|43r26 46r24
47n7*Matches{46E9} 21|64r33 65r35 88r15 96r24 104r41 131r15 137r27 143r47
. 144r41
48n7*So_Far_So_Good{46E9} 21|56r32 84r15 86r24 113r35 127r15 129r24 135r27
49n7*Failed{46E9} 20|48r47 21|33r31 46r44 74r35 102r15 117r35 140r15 148r41
. 152r38 157r35 166r21 179r31
52H9*Instance 57e14 20|38r46 46r46
56b7*Report{boolean} 21|31m10 177m10
74r23 The_Token{22|40R9} 21|60r16
75e23 Next_Char{character} 21|61r16
76e23 Verdict{46E9} 21|62r16
X 20 opentoken-recognizer-based_integer.ads
36K30*Based_Integer 19|43k19 20|44E9 61l26 61e39 21|25b35 185l26 185t39
38R9*Instance<19|52R9> 40p28 40r39 46c9 52e14 54P25 54r51 56P25 57r26 21|27r51
. 41r26 174r24
40V28*Get{38R9} 21|174b13 183l8 183t11
44E9 State_ID 44e60 49r27
44n22 First_Char{44E9} 49r47 21|34r31 51r12 180r31
44n34 Maybe_Base{44E9} 21|55r32 66r35 79r12
44n46 Numeral{44E9} 21|99r35 114r35 122r12
44n55 Done{44E9} 21|75r35 118r35 145r41 149r41 153r38 158r35 163r12
47r7 Number_Recognizer{22|40R9} 21|32m10 60m39 81m45 109m26 124m45 178m10
48e7 Last_Verdict{19|46E9} 21|33m10 104r26 143r32 170m17 179m10
49e7 State{44E9} 21|34m10 50r22 55m23 66m26 75m26 99m26 114m26 118m26 145m32
. 149m32 153m29 158m26 180m10
50i7 Base{natural} 21|35m10 71m26 71r45 91m23 91r42 98r26 111r50 181m10
51b7 Based{boolean} 21|36m10 106m26 133r26 141r26 182m10
54U25 Clear<19|67p14> 54=32 21|27b25 38l8 38t13
54r32 The_Token{38R9} 21|27b32 30m7
56U25 Analyze<19|74p14> 57=7 58>7 59<7 21|40b25 172l8 172t15
57r7 The_Token{38R9} 21|41b7 50r12 55m13 60m29 60r29 66m16 71m16 71r35 75m16
. 81m35 81r35 91m13 91r32 98r16 99m16 104r16 106m16 109m16 111r40 114m16
. 118m16 124m35 124r35 133r16 141r16 143r22 145m22 149m22 153m19 158m16 170m7
58e7 Next_Char{character} 21|42b7 53r15 61r29 71r74 81r64 91r71 104r53 124r64
. 142r19
59e7 Verdict{19|46E9} 21|43b7 56m13 65m16 74m16 86m13 96m13 113m16 117m16
. 129m13 135m16 137m16 144m22 148m22 152m19 157m16 166m10
X 21 opentoken-recognizer-based_integer.adb
46e7 Digits_Verdict{19|46E9} 62m29 64r16 81m75 83r15 124m75 126r15 170r33
X 22 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 20|27w27 47r27 21|32r31 59r13 81r10 98r33 109r47 124r10
. 178r31 22|79e41
40R9*Instance<19|52R9> 20|47r43 22|70e14
43N4*Maximum_Base 21|98r49
52V13*Get{40R9} 21|32s47 109s63 178s47
53i7 For_Base{14|78I12} 21|32r79 111r19 178r79
54b7 Allow_Underscores{boolean} 21|32r52 110r19 178r52
74U25 Analyze<19|74p14> 21|59s29 81s26 124s26
|