/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-based_integer_real_ada.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 150 151 152 153 154 155 156 157 158 | 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_EXCEPTIONS
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_real_ada%b opentoken-recognizer-based_integer_real_ada.adb cb693734 NE OO PK
W ada.exceptions%s a-except.adb a-except.ali
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_real_ada%s opentoken-recognizer-based_integer_real_ada.ads acb7ead4 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_real_ada.ads 20150510192240 428ee582
D opentoken-recognizer-based_integer_real_ada.adb 20150510192240 89e7d2b6
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|30r14 31r9 33r25 41r25 55r5 21|29r14 258r5
52X4*Programmer_Error 21|143r22
X 19 opentoken-recognizer.ads
43K19*Recognizer 18|42k9 19|78e25 20|30r24 31r19 33r35 41r35 55r15 21|29r24
. 258r15
46E9*Analysis_Verdict 49e14 20|43r29 53r26 21|47r26 49r24
47n7*Matches{46E9} 21|56r15 63r27 67r31 78r18 114r32 120r18 129r34 151r32
. 156r18 160r37 218r33 219r31 231r32
48n7*So_Far_So_Good{46E9} 21|70r15 72r24 88r34 96r18 114r15 124r34 137r18
. 151r15 168r34 181r18 197r28 212r28 231r15
49n7*Failed{46E9} 21|38r36 49r44 74r15 92r34 98r31 101r18 103r31 118r15 133r34
. 139r31 142r18 154r15 163r37 177r34 183r31 186r18 188r31 206r28 222r31 233r15
. 234r28 239r21 252r33
52H9*Instance 57e14 20|33r46 41r46
56b7*Report{boolean} 21|250m10
X 20 opentoken-recognizer-based_integer_real_ada.ads
31K30*Based_Integer_Real_Ada 19|43k19 20|39E9 55l26 55e48 21|29b35 258l26
. 258t48
33R9*Instance<19|52R9> 35p13 35r24 41c9 47e14 49P25 49r47 50P25 51r26 21|31r47
. 45r26 247r24
35V13*Get{33R9} 21|247b13 256l8 256t11
39E9 State_ID 39e81 44r29
39n22 Base{39E9} 21|39r36 52r12 253r33
39n28 Fore{39E9} 21|66r31 89r34 110r12
39n34 Aft{39E9} 21|125r34 147r12
39n39 Exponent_E{39E9} 21|130r34 161r37 194r12
39n51 Exponent_Sign{39E9} 21|169r34 198r28 210r12
39n66 Exponent{39E9} 21|213r28 220r31 227r12
39n76 Done{39E9} 21|93r34 99r31 104r31 134r34 140r31 164r37 178r34 184r31
. 189r31 207r28 223r31 235r28 238r12
42r7 Number_Recognizer{22|40R9} 21|34m13 53m41 84m25 111m41 126m48 148m41
. 172m25 201m19 216m44 228m41 251m10
43e7 Last_Digits_Verdict{19|46E9} 21|38m13 77r24 119r24 155r24 243m13 252m10
44e7 State{39E9} 21|39m13 51r18 66m22 89m25 93m25 99m22 104m22 125m25 130m25
. 134m25 140m22 161m28 164m28 169m25 178m25 184m22 189m22 198m19 207m19 213m19
. 220m22 223m22 235m19 253m10
45i7 Base{natural} 21|40m13 59m19 59r34 61r22 86r49 254m10
46b7 Need_Hash{boolean} 21|41m13 81m25 128r48 158r25 255m10
49U25 Clear<19|67p14> 49=32 21|31b25 42l8 42t13
49r32 Token{33R9} 21|31b32 34m7 38m7 39m7 40m7 41m7
50U25 Analyze<19|74p14> 51=7 52>7 53<7 21|44b25 245l8 245t15
51r7 Token{33R9} 21|45b7 51r12 53m35 53r35 59m13 59r28 61r16 66m16 77r18
. 81m19 84m19 86r43 89m19 93m19 99m16 104m16 111m35 111r35 119r18 125m19
. 126m42 126r42 128r42 130m19 134m19 140m16 148m35 148r35 155r18 158r19 161m22
. 164m22 169m19 172m19 178m19 184m16 189m16 198m13 201m13 207m13 213m13 216m38
. 216r38 220m16 223m16 228m35 228r35 235m13 243m7
52e7 Next_Char{character} 21|46b7 53r60 59r63 80r19 111r60 122r19 128r22
. 148r60 159r22 167r22 167r41 196r13 196r32 211r13 211r32 216r63 228r60
53e7 Verdict{19|46E9} 21|47b7 63m16 67m16 72m13 88m19 92m19 98m16 103m16
. 116m13 124m19 129m19 133m19 139m16 152m13 160m22 163m22 168m19 177m19 183m16
. 188m16 197m13 206m13 212m13 219m16 222m16 232m13 234m13 239m10
X 21 opentoken-recognizer-based_integer_real_ada.adb
49e7 Digits_Verdict{19|46E9} 53m71 55r15 111m71 113r15 116r24 148m71 150r15
. 152r24 216m74 218r16 228m71 230r15 232r24 243r36
X 22 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 20|30w35 42r29 21|34r34 53r10 61r30 84r46 111r10 126r19
. 148r10 172r46 201r40 216r13 228r10 251r33 22|79e41
40R9*Instance<19|52R9> 20|42r45 22|70e14
43N4*Maximum_Base 21|61r46
52V13*Get{40R9} 21|34s50 84s62 172s62 201s56 251s49
53i7 For_Base{14|78I12} 21|36r10 86r22 174r22 203r16 251r81
54b7 Allow_Underscores{boolean} 21|35r10 85r22 173r22 202r16 251r54
72U25 Clear<19|67p14> 21|126s35
74U25 Analyze<19|74p14> 21|53s26 111s26 148s26 216s29 228s26
|